逗号运算符如何工作

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

例如，如果我这样做：

a = b, c;  

结局等于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;

等于b。

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

请注意，逗号操作符在C ++中可能会重载。因此，实际行为可能与预期的行为有很大不同。

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

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

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

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

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

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

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

a = b, c;

等效于：

(a = b), c;

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

a+b, c(), d

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

someFunc(arg1, arg2, arg3)

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

逗号运算符：

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

为所有类型（内置和自定义）定义了默认版本的逗号运算符，它的工作方式如下-给定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_o​​perator

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

d = (a = b, c);

a等于b并且d将等于c。

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

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

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

#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;
}

Ouput：i = 1
我们知道逗号运算符的优先级比赋值的优先级低...

首先，首先要注意的是：逗号实际上不是运算符，对于编译器来说，它只是一个令牌，与其他令牌在上下文中具有含义。

这是什么意思，为什么要打扰？

范例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;

因为优先的的=令牌/操作比的优先级更高的,令牌。

这是在上下文中解释的

a = b;
c;

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