为什么枚举常量没有链接?

Posted

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了为什么枚举常量没有链接?相关的知识,希望对你有一定的参考价值。

我试图了解enumeration constants的联系,但在标准N1570中找不到明确的答案。 6.2.2(p6)

以下标识符没有链接:声明为对象或函数以外的任何标识符;声明为函数参数的标识符;没有存储类说明符extern声明的对象的块作用域标识符。

所以我需要理解常量不是对象。对象定义为3.15

执行环境中的数据存储区域,其内容可以表示值

还有6.2.2(p4)(强调我的):

对于在范围内使用存储类说明符extern声明的标识符,其中该标识符的先前声明是可见的,31)如果先前声明指定内部或外部链接,则后面声明中标识符的链接与在先前声明中指定的联系。如果没有先前声明可见,或者先前声明未指定链接,则标识符具有外部链接。

无论如何6.4.4.3(p2)

声明为枚举常量的标识符具有类型int

结合所有我不明白的原因

enum test {
    a = 1
};

extern int a; //compile-error. UB?

不编译?我期望a有外部联系。

LIVE DEMO

行为定义明确吗?您能否提供标准解释说明?

答案

在6.2.2 4中,标准打算仅讨论对象和函数的标识符的链接,但它没有说明这一点。

枚举常量仅仅是值,而不是对象或函数,它们的标识符从不具有任何链接。

观察声明extern int a;声明a作为int对象的标识符。 int对象与int值不同,因此名为a的枚举常量不能与名为inta对象相同。因此,即使在考虑联系之前,extern int a;的声明也是无效的。

另一答案

声明为枚举常量的标识符的类型为int

这并不意味着它是int类型的变量

extern int a;

说有一个名为a的int类型的变量,这是与枚举常量的冲突


为什么枚举常量没有链接

出于同样的原因,常量123(也有int类型,但无论如何)也没有链接

另一答案

联系并不重要。在同一个编译单元中,您尝试使用两个相同的标识符,如果代码编译,则设想:

enum test {
    a = 1
};

extern int a; 


int b = a;   // which `a`? a as the external variable or `a` as a constant? How to decide.

enter image description here

以上是关于为什么枚举常量没有链接?的主要内容,如果未能解决你的问题,请参考以下文章

为啥使用常量而不是枚举?

Swift 常量:结构或枚举

java中枚举常量的命名规范是怎样的

接口常量类常量枚举类

java常量枚举法

我应该使用什么而不是模板化的枚举?