为什么“初始化元素不是常量”......不再起作用？

static const int a = 42;
static const int b = a;

我预计这样的代码会出现编译错误。初始值设定项必须是常量表达式或字符串文字。存储在具有以下类型的对象中的值int with const类型限定符不是常量表达式。

我编译用-Wall -Wextra -pedantic， 即使-ansi. Then:

• 代码编译良好gcc8.2 https://godbolt.org/z/mNZ59z和海湾合作委员会8.1
• 代码无法编译gcc 低于 7.4 https://godbolt.org/z/ke1vnF with error: initializer element is not constant
• 代码编译良好所有 clang 版本 https://godbolt.org/z/fxXvQr

令人惊讶的是，以下内容：

static const char * const a = "a";
static const char * const b = a;

• 致力于gcc 8.2 https://godbolt.org/z/ZjSN8X
• 失败gcc 低于 7.4 https://godbolt.org/z/LHhRmO with error: initializer element is not constant
• 致力于clang 大于 4.0 https://godbolt.org/z/phNCOR
• 失败clang 低于 3.9.1 https://godbolt.org/z/NiFB1- with error: initializer element is not a compile-time constant

对于下面的片段，我认为我 100% 确定它不应该编译：

static const int a[] = { 1, 2, 3 };
static const int b = a[1];

, but:

• 它适用于gcc 8.2 https://godbolt.org/z/27rpkd
• 它失败了gcc 低于 7.4 https://godbolt.org/z/-IO-sh with error: initializer element is not constant
• 它在任何版本上都会失败clang https://godbolt.org/z/N2bgo2

我尝试浏览网络寻求解释，这主要是从有关非常量初始化器的旧 stackoverflow 问题中复制代码，并找出它们现在是否有效。我找不到任何相关内容海湾合作委员会 8 的变化 https://gcc.gnu.org/gcc-8/changes.html.

我搞不清楚了。这是预期的行为并且这样的代码应该编译吗？为什么/为什么不？ gcc7.4和gcc8.1之间有什么变化？这是编译器错误吗？这是编译器扩展吗？

具有静态存储持续时间的对象的初始化程序需要由常量表达式组成。正如@EugenSh。在评论中观察到，“恒定表达”是一个定义好的术语。具体来说，在 C2011 中，它的主题是第 6.6 节 http://port70.net/~nsz/c/c11/n1570.html#6.6。描述很简单

常量表达式可以在翻译过程中求值，而不是 运行时，因此可以在常量可能出现的任何地方使用 是。

但问题在于细节。常量表达式的语义细节包含常量表达式的特定类型和使用的特定规则。

例如，表达式a在任何情况下都不是“整数常量表达式”，无论类型或constness of a，因此不能在标准要求特定类型的常量表达式的情况下使用，例如位域宽度。

尽管该标准没有给出它的名称，但它为初始化程序中的常量表达式提供了稍微宽松的规则，这就是我们在这里考虑的情况：

这样的常量表达式应为或计算为以下之一 下列的：

• 算术常量表达式，
• 空指针常量，
• 地址常量，或
• 完整对象类型的地址常量加上或减去整型常量表达式。

术语“算术常量表达式”和“地址常量”也被定义：

算术常量表达式应具有算术类型并且应 仅具有整型常量、浮点常量的操作数， 枚举常量、字符常量、sizeof 表达式 结果是整数常量，并且_Alignof表达式。 [...]

地址常量是一个空指针，一个指向左值的指针 指定静态存储持续时间的对象，或指向 功能指示符；它应使用一元 & 显式创建 运算符或整数常量转换为指针类型，或隐式通过 使用数组或函数类型的表达式。 [...]

没有适合您的各种初始化程序b变量符合这些规则。指定对象的左值表达式const-限定类型不属于允许出现在标准初始化器所要求的任何常量表达式变体中的元素。

该标准通常允许

实现可以接受其他形式的常量表达式。

，但这不会覆盖其对初始值设定项中出现的常量表达式的特定要求。

每个给定的变量声明b违反了出现在约束之外的标准的“应”要求。因此，结果行为是未定义的，但该标准不需要诊断。实现可以接受此类形式作为扩展，正如 GCC 8.2 显然所做的那样，并且 GCC 的-pedantic选项确保仅在标准要求的情况下进行诊断，但标准不包括这些情况。

由于行为未定义，因此观察到的各种实现的行为都不是不合格的。您不能依赖一致的实现来拒绝不合格的代码。在某些情况下（但不是这些）它必须diagnose不符合规定，但即使在这种情况下，无论如何也允许成功翻译。

我搞不清楚了。这是预期的行为并且这样的代码应该编译吗？

不，但是期望它无法编译也是不安全的。

为什么/为什么不？

我在上面解释了为什么各种代码不符合要求，因此可能会被符合要求的编译器拒绝。但另一方面，符合标准的编译器不需要拒绝不符合标准的代码。

gcc7.4和gcc8.1之间有什么变化？这是编译器错误吗？这是编译器扩展吗？

海湾合作委员会显然实施了延期。我不确定这是否是故意的，但这肯定是结果。只要行为是人们天真的所期望的，它看起来就相当自然和良性，除非从 GCC（不）帮助您编写一致代码的角度来看。