什么构成C中的常量表达式的详细信息?
C定义了至少3个级别的“常量表达式”:
常量表达(不合格)
算术常数表达式
整数常量表达式
6.6第3段内容如下:
常量表达式不应包含赋值,递增,递减,函数调用,
或逗号运算符,除非它们包含在不是的子表达式中
评估。
这是否意味着
1,2
不是一个常数表达式?
第8段内容如下:
算术常量表达式应具有算术类型且仅具有
操作数是整数常量,浮点常量,枚举常量,字符
常量和sizeof表达式。在算术常量表达式中转换运算符
只能将算术类型转换为算术类型,除非作为操作数的一部分
sizeof运算符,其结果是整数常量。
(union { uint32_t i; float f; }){ 1 }.f
的操作数是什么?如果1
是操作数,那么这可能是一个算术常量表达式,但如果{ 1 }
是操作数,那么它显然不是。
编辑:另一个有趣的观察:7.17第3段要求offsetof
的结果是类型size_t
的整数常量表达式,但据我所知,offsetof
的标准实现不需要是标准的整数常量表达式。这当然是可以的,因为允许实现(在6.6第10段下)接受其他形式的常量表达式,或者将offsetof
宏实现为__builtin_offsetof
而不是通过指针减法。但是,这种观察的本质是,如果你想在需要整数常量表达式的上下文中使用offsetof
,你真的需要使用实现提供的宏而不是你自己的。
没有找到相关结果
已邀请:
2 个回复
为陡土
不是一个恒定的表达。我不知道为什么不是,只是我同意你的意思不是(尽管事实上应该是这样)。 6.5.2将复合文字指定为后缀运算符。所以
对于
运算符,操作数为
和
。它不是一个算术常量表达式,因为第一个参数是
类型,但它是一个常量表达式。 更新:我的基础是对标准的不同解释。 我之前的推理是
符合常量表达式的标准,因此是一个常量表达式。我仍然认为它符合常量表达式的标准(6.6第3段),但它不是任何标准类型的常量表达式(整数,算术或地址),因此只能作为6.6段的常量表达式10,它允许实现定义的常量表达式。 我也想进入你的编辑。我打算认为
的“hack”实现是一个常量表达式,但我认为它与上面的相同:它符合常量表达式的标准(可能是地址常量)但不是整数常量表达式,因此在6.6第10段之外无效。
磨标烫徽啪
是一个常量表达式,这将允许这样的代码编译:
我不知道这是否是真正的原因,但我可以想象,为这个(常见的?)错误发出错误被认为比将
变成常量表达更重要。 更新:正如R.在注释中指出的那样,自引入VLA以来,代码不再是编译器错误。