逗号运算符如何工作

Question

逗号运算符在 C++ 中是如何工作的？

例如，如果我这样做：

a = b, c;  

a 最终等于 b 还是 c？

（是的，我知道这很容易测试 - 只需在此处记录以供某人快速找到答案。）

更新：这个问题暴露了使用逗号运算符时的细微差别。只是为了记录这一点：

a = b, c;    // a is set to the value of b!

a = (b, c);  // a is set to the value of c!

这个问题实际上是受到代码中的一个错字的启发。打算是什么

a = b;
c = d;

变成了

a = b,    //  <-  Note comma typo!
c = d;

Answer 1

请注意逗号运算符可能在 C++ 中被重载。因此，实际行为可能与预期大相径庭。

例如，Boost.Spirit 非常巧妙地使用逗号运算符来实现符号表的列表初始值设定项。因此，它使以下语法成为可能且有意义：

keywords = "and", "or", "not", "xor";

请注意，由于运算符优先级，代码（故意！）与

(((keywords = "and"), "or"), "not"), "xor";

也就是说，第一个调用的运算符是keywords.operator =("and")，它返回一个代理对象，在该对象上调用剩余的operator,s：

keywords.operator =("and").operator ,("or").operator ,("not").operator ,("xor");

Answer 2

逗号运算符在所有 C/C++ 运算符中具有最低优先级。因此，它始终是绑定到表达式的最后一个，这意味着：

a = b, c;

相当于：

(a = b), c;

另一个有趣的事实是逗号运算符引入了sequence point。这意味着表达式：

a+b, c(), d

保证对其三个子表达式（a+b、c()和d）按顺序进行评估。如果它们有副作用，这很重要。通常允许编译器以他们认为合适的任何顺序评估子表达式；例如，在函数调用中：

someFunc(arg1, arg2, arg3)

参数可以按任意顺序计算。请注意，函数调用中的逗号是 not 运算符；它们是分隔符。

Answer 3

等于b。

逗号运算符的优先级低于赋值。

Answer 4

逗号运算符：

• 优先级最低
• 是左关联的

为所有类型（内置和自定义）定义了一个默认版本的逗号运算符，它的工作方式如下 - 给定exprA , exprB：

• exprA 被评估
• exprA 的结果被忽略
• exprB 被评估
• exprB 的结果作为整个表达式的结果返回

对于大多数运算符，允许编译器选择执行顺序，甚至在不影响最终结果的情况下甚至需要跳过执行（例如false && foo() 将跳过对foo 的调用）。但是，逗号运算符并非如此，上述步骤将始终发生^*。

实际上，默认逗号运算符的工作方式与分号几乎相同。不同之处在于，用分号分隔的两个表达式形成两个单独的语句，而逗号分隔将所有表达式保留为一个表达式。这就是为什么有时会在以下场景中使用逗号运算符的原因：

• C 语法需要单个表达式，而不是语句。例如在if( HERE )
• C 语法需要一个语句，而不是更多，例如在for循环的初始化for ( HERE ; ; )
• 当您想跳过花括号并保留单个语句时：if (foo) HERE ;（请不要这样做，这真的很难看！）

当语句不是表达式时，分号不能用逗号代替。例如，这些是不允许的：

• (foo, if (foo) bar)（if 不是表达式）
• int x, int y（变量声明不是表达式）

---

在你的情况下，我们有：

• a=b, c;，等效于a=b; c;，假设a 的类型不会重载逗号运算符。
• a = b, c = d; 等效于 a=b; c=d;，假设 a 的类型不会重载逗号运算符。

---

请注意，并非每个逗号实际上都是逗号运算符。一些具有完全不同含义的逗号：

• int a, b; --- 变量声明列表以逗号分隔，但这些不是逗号运算符
• int a=5, b=3; --- 这也是逗号分隔的变量声明列表
• foo(x,y) --- 逗号分隔的参数列表。事实上，x 和 y 可以按任何顺序计算！
• FOO(x,y) --- 逗号分隔的宏参数列表
• foo<a,b> --- 逗号分隔的模板参数列表
• int foo(int a, int b) --- 逗号分隔的参数列表
• Foo::Foo() : a(5), b(3) {} --- 类构造函数中以逗号分隔的初始化列表

---

^* 如果您应用优化，这并不完全正确。如果编译器识别出某段代码对其余部分完全没有影响，它将删除不必要的语句。

延伸阅读：http://en.wikipedia.org/wiki/Comma_operator

Answer 5

a 的值将是 b，但 表达式 的值将是 c。也就是说，在

d = (a = b, c);

a 将等于 b，d 将等于 c。

Answer 6

b 的值将分配给 a。 c什么都不会发生

Answer 7

是，逗号运算符的优先级低于赋值运算符

#include<stdio.h>
int main()
{
          int i;
          i = (1,2,3);
          printf("i:%d\n",i);
          return 0;
}

输出：i=3
因为逗号运算符总是返回最右边的值。
如果逗号运算符带有赋值运算符：

 int main()
{
      int i;
      i = 1,2,3;
      printf("i:%d\n",i);
      return 0;
}

输出：i=1
正如我们所知，逗号运算符的优先级低于赋值......

Answer 8

a 的值将等于 b，因为逗号运算符的优先级低于赋值运算符。

Answer 9

第一件事：逗号实际上不是运算符，对于编译器来说，它只是一个标记，在上下文中与其他标记一起获得意义。

这是什么意思，为什么要麻烦？

示例 1：

为了理解不同上下文中相同标记的含义之间的差异，我们看一下这个例子：

class Example {
   Foo<int, char*> ContentA;
}

通常 C++ 初学者会认为这个表达式可以/可以比较事物，但这是绝对错误的，<、> 和 , 标记的含义取决于使用的上下文。

上面例子的正确解释当然是模板的实例化。

示例 2：

当我们编写一个带有多个初始化变量和/或多个表达式的典型 for 循环时，我们也使用逗号：

for(a=5,b=0;a<42;a++,b--)
   ...

逗号的含义取决于使用的上下文，这里是for构造的上下文。

上下文中的逗号实际上是什么意思？

为了更加复杂（在 C++ 中总是如此），逗号运算符本身可以被重载（感谢 Konrad Rudolph 指出这一点）。

回到问题，代码

a = b, c;

对编译器意味着类似

(a = b), c;

因为=令牌/运算符的priority高于,令牌的优先级。

这在上下文中被解释为

a = b;
c;

（请注意，解释取决于上下文，这里它既不是函数/方法调用也不是模板实例化。）