cl x64: unsigned long outside / inside union: error C2099: initializer is not a constant / NO er​​ror

Question

案例1.文件：test1.c：

unsigned long val = (unsigned long)&"test";

int main() 
{
    return 0;
}

编译器调用：cl test1.c /c

结果：

Microsoft (R) C/C++ Optimizing Compiler Version 19.25.28611 for x64
Copyright (C) Microsoft Corporation.  All rights reserved.

test1.c
test1.c(1): warning C4311: 'type cast': pointer truncation from 'char (*)[5]' to 'unsigned long'
test1.c(1): error C2099: initializer is not a constant

案例2.文件：test2.c：

union { unsigned long val; } val =  { (unsigned long)&"test" };

int main() 
{
    return 0;
}

编译器调用：cl test2.c /c

结果：

Microsoft (R) C/C++ Optimizing Compiler Version 19.25.28611 for x64
Copyright (C) Microsoft Corporation.  All rights reserved.

test2.c
test2.c(1): warning C4311: 'type cast': pointer truncation from 'char (*)[5]' to 'unsigned long'

问题：为什么将unsigned long 放入union（案例2，文件test2.c）后error C2099: initializer is not a constant 消失了？

注意事项：

• 对于两个代码版本 cl x86（与 x64 的版本相同）不会产生错误和警告。

• 对于两个代码版本 gcc x86/x64（版本 9.3.0）都不会产生错误和警告。

UPD。请注意：问题与safe code / unsafe code 或wrong code / right code 无关。问题是关于cl 编译器行为。 IE。为什么在第二种情况下，cl认为initializer IS a constant（这样的结论是由于没有错误消息）。

Answer 1

静态存储对象的初始化器必须是常量表达式。

在 C89 标准（Microsoft C conforms 的唯一标准）中，常量表达式中不允许从指针转换为整数。

这是语义规则而不是约束，这意味着程序具有未定义的行为，无需诊断。因此，允许编译器拒绝程序（但不需要拒绝它），它可能会或可能不会发出诊断，并且不要求在未定义的各种程序之间保持一致性。

我们不能从没有错误消息的情况下得出初始化器被接受为常量的结论。

从 C99 开始，该标准还包括文本“一个实现可以接受其他形式的常量表达式”。编译器应该发布一致性文档，列出它接受哪些表达式作为常量，尽管我找不到 MSVC 的文档。 （如果可以，请发表评论！）

还可能需要注意有关将指针转换为unsigned long 的规则。来自最新标准：

任何指针类型都可以转换为整数类型。除先前规定外， 结果是实现定义的。如果结果不能用整数类型表示， 行为未定义。结果不必在任何整数的值范围内 输入。

因此，即使符合 C99 或 C11 的编译器记录它接受从常量表达式中的指针到整数的转换，转换的结果仍然可能导致启动时出现陷阱，或导致未定义的行为（其中，和以前一样，意味着不需要诊断并且程序可能会被拒绝）。