它是C语句的声明和初始化语句中的逗号运算符吗？

Question

我正在阅读C编程语言,发现这句话:

在声明中分隔...变量的逗号...不是逗号运算符,也不保证从左到右的评估.

如果是这样,他们是否在此代码中使用逗号运算符？

int a=1, b=a+1, c=b+a+1, d=c+b+a+1;

我很确定它会起作用.但如果它们不是逗号运算符并且不保证从左到右的顺序,则上述语句可能会失败,对吧？

Answer 1

声明中的逗号不是表达式中的逗号运算符(声明不是表达式,尽管声明中的初始化是表达式).如果单独声明的逗号不是逗号运算符,则问题中的引用是准确的.

但是,每个声明符都以其后面的逗号或分号完成,因此问题中的变量定义是完全定义的行为.当它暗示从无法保证从左到右的评估时,引用是不正确的 - 虽然它是一个精巧的语言剖析.如果逗号是逗号运算符,则该事实将保证从左到右的评估; 因为它们不是逗号运算符,所以从左到右的保证不会出现在逗号运算符的定义中.但是,因为每个声明符后面都有序列点,所以从左到右的估值是单独保证的.

在标准中找到正确的措辞来证明这种说法是比我预期的更难.它实际上是关于声明者的部分.

§6.7 声明

句法

声明:
          declaration-specifiers init-declarator-list _opt ;
          ...

...

init-declarator-list:
          init-declarator
          init-declarator-list,init-declarator

init-declarator:
          declarator
          declarator = initializer

6声明说明符由一系列说明符组成,这些说明符指示声明符所表示的实体的链接,存储持续时间和部分类型.init-declarator-list是一个逗号分隔的声明符序列,每个声明符都可以包含其他类型信息,或初始值设定项,或两者兼而有之.声明符包含声明的标识符(如果有).

7如果声明对象的标识符没有链接,则对象的类型应在其声明者的末尾完成,或者如果它具有初始化器,则在其init-declarator的末尾完成; 在函数参数(包括原型)的情况下,需要完成的是调整后的类型(见6.7.6.3).

§6.7.6 声明者

3 完整声明者是不属于另一个声明者的声明者.完整声明符的结尾是一个序列点.

AFAICS,§6.7.9 初始化程序不会添加任何相关内容.

序列点至关重要; 这意味着在继续之前,左边的所有内容都得到了充分评估,副作用已经完成; 它意味着从左到右排序,因此问题中的初始化是完全定义的.

序列点在完整的声明符之后,而不是初始化器,这有点奇怪; 不过,我认为这不重要.