以下代码:
struct Int {
int i;
};
const struct Int i = {sizeof(int) ? (int){1} : 0};
结果是:
初始值设定项元素不是常量
即使这些语句是在文件范围内的，因此复合文字也应该被视为常量.
但是，如果:
sizeof(int)替换为0；或(int){1}换成1；或者int，而不是如下所示的int struct 成员:int i = sizeof(int) ? (int){1} : 0;
代码将编译得很好.
这引发了几个问题:
sizeof()条语句与三元组一起使用，以在编译时将一个全局 struct 变量成员初始化为两个值中的一个，其中至少一个是复合文字？在C23之前，关于整数常量表达式是由什么组成的，在GCC和叮当错误报告等中有很多争论.郎朗一直以来都有这样一种行为:"任何东西，它的母亲都是一个不变的表情"，而GCC则比较严格，直到后来的版本中，GCC突然改变了行为，尽管这里的标准很久没有改变了.所有这一切都是由C17(和更早的标准)6.6§10中的一个无用的、含糊的段落造成的:
实现可以接受其他形式的常量表达式.
这是第6.6章的唯一部分，为解释留下了空间，并允许像您这样的代码.这意味着整数常量表达式在GCC和clang中的支持都不稳定，使用"奇异"形式的常量表达式(如复合文字或const int x = some_other_const;)的代码是不可移植的.市场上的大多数其他编译器都会给出关于不符合C语言的诊断消息.
在C17之前，整数常量表达式定义如下(C17 6.6§6):
ANinteger constant expression应为整型，并且只能具有整型常量、枚举常量、字符常量以及结果为整型的
sizeof个表达式的操作数 作为强制转换的直接操作数的常量、_Alignof表达式和浮点常量.
在即将到来的C23中，这一点发生了变化(C23 N3096草案6.6.§8强调我的观点):
integer constant expression应为整数类型，并且只能具有整数常量、named and compound literal constants of integer type、字符常量、...
其中，"命名常量"是一个新术语，其中包括以下内容:
用存储类说明符
constexpr声明并且具有对象类型，
因此，C23将允许(constexpr int){1}个复合文字，我们也可以移植到constexpr int x = 1; const int y=x;个