编译器如何知道函数调用中的逗号不是逗号运算符？

Question

考虑函数调用(调用< code>int sum(int，int))

printf("%d", sum(a,b));

编译器如何确定函数调用 sum（int， int） 中使用的 ， 不是逗号运算符？

注意：我不想在函数调用中实际使用逗号运算符。我只是想知道编译器如何知道它不是逗号运算符。

Answer 1

原因是C语法。虽然其他人似乎都喜欢引用这个例子，但真正的问题是标准（C99）中函数调用的短语结构语法。是的，函数调用由应用于后缀表达式的（）运算符组成（例如标识符）：

 6.5.2 postfix-expression:
       ...
       postfix-expression ( argument-expression-list_opt )

一起与

argument-expression-list:
       assignment-expression
       argument-expression-list , assignment-expression    <-- arglist comma

expression:
       assignment-expression
       expression , assignment-expression                  <-- comma operator

逗号运算符只能出现在表达式中，即语法中的下一级。因此，编译器将函数参数列表中的逗号视为分隔赋值表达式的逗号，而不是分隔表达式的逗号。

Answer 2

来自C99 6.5.17:

如语法所示，逗号运算符（如本子条款所述）不能出现在使用逗号分隔列表中的项目的上下文中（例如函数的参数或初始值设定项列表）。另一方面，在这种上下文中，它可以在带圆括号的表达式中使用，也可以在条件运算符的第二个表达式中使用。在函数调用中

f(a, (t=3, t+2), c)

该函数有三个参数，第二个参数的值为5。

另一个类似的例子是数组或结构的初始化列表：

int array[5] = {1, 2};
struct Foo bar = {1, 2};

如果要将逗号运算符用作函数参数，请按如下方式使用它：

sum((a,b))

当然，这不会编译。

Answer 3

看看C语言的语法。该标准的附录A中列出了全部内容。它的工作方式是，您可以逐步遍历C程序中的每个标记，并将它们与语法中的下一项相匹配。在每个步骤中，您只有有限的选项，因此任何给定字符的解释都将取决于它出现的上下文。在语法中的每个规则中，每一行都为程序提供了一个有效的选项来匹配。

具体来说，如果您查找参数列表，您将看到它包含一个显式逗号。因此，每当编译器的C解析器处于“参数列表”模式时，它找到的逗号将被理解为参数分隔符，而不是逗号运算符。括号也是如此（也可以出现在表达式中）。

这之所以有效，是因为参数列表规则谨慎使用赋值表达式规则，而不仅仅是普通的表达式规则。表达式可以包含逗号，而赋值表达式不能。如果不是这种情况，语法将是模棱两可的，当编译器遇到参数列表中的逗号时，它将不知道该怎么办。

但是，例如，不是函数定义/调用的一部分的左括号，或者< code>if、< code>while或< code>for语句，将被解释为表达式的一部分(因为没有其他选项，但只有当表达式的开始在该点是有效的选择时)，然后，在括号内，将应用< code>expression语法规则，并且允许逗号运算符。