コンマオペレーターの仕組み

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;

もう1つの興味深い事実は、コンマ演算子がシーケンスポイントを導入することです。つまり、次の式は

a+b, c(), d

3つの部分式（a + b、c（）およびd）が順番に評価されることが保証されています。副作用がある場合、これは重要です。通常、コンパイラーは、部分式を適切な順序で評価できます。たとえば、関数呼び出しでは：

someFunc(arg1, arg2, arg3)

引数は任意の順序で評価できます。関数呼び出しのコンマは演算子ではないことに注意してください。それらはセパレータです。

カンマ演算子：

• 優先順位が最も低い
• 左結合です

コンマ演算子のデフォルトバージョンは、すべてのタイプ（組み込みおよびカスタム）に対して定義されており、次のように機能します-与えられたexprA , exprB：

• exprA 評価される
• の結果exprAは無視されます
• exprB 評価される
• の結果はexprB、式全体の結果として返されます

ほとんどの演算子では、コンパイラーは実行の順序を選択することができ、最終結果に影響しない場合は実行をスキップする必要があります（たとえばfalse && foo()への呼び出しをスキップしますfoo）。ただし、これはコンマ演算子には当てはまりません。上記の手順は常に発生します^*。

実際には、デフォルトのカンマ演算子はセミコロンとほぼ同じように機能します。違いは、セミコロンで区切られた2つの式が2つの別個のステートメントを形成するのに対し、コンマ区切りはすべてを1つの式として保持することです。これが、次のシナリオでコンマ演算子が使用されることがある理由です。

• C構文には、ステートメントではなく単一の式が必要です。例えばif( HERE )
• C構文には、たとえばforループの初期化など、1つのステートメントが必要です。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に割り当てられます。cには何も起こりません

カンマ演算子は代入演算子よりも優先順位が低いため、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 ++の初心者は、この式は/物事を比較するだろうことができると思うだろうが、それは、absolutly間違っているの意味<、>および,使用の状況にdepentトークン。

上記の例の正しい解釈は、もちろんそれがテンプレートのインスタンス化であるということです。

例2：

ループの各反復後に実行する必要のある、複数の初期化変数または複数の式、あるいはその両方で通常のforループを作成する場合も、コンマを使用します。

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

コンマの意味は、使用のコンテキストに依存します。ここでは、forコンストラクションのコンテキストです。

コンテキスト内のコンマは実際にはどういう意味ですか？

さらに複雑にするために（いつものようにC ++では）、コンマ演算子自体をオーバーロードすることができます（指摘してくれたKonrad Rudolphに感謝します）。

質問に戻るために、コード

a = b, c;

コンパイラのようなもの

(a = b), c;

ので、優先順位の=トークン/オペレータは、優先度よりも高い,トークン。

これは次のようなコンテキストで解釈されます

a = b;
c;

（解釈はコンテキストに依存することに注意してください。ここでは、関数/メソッドの呼び出しでもテンプレートのインスタンス化でもありません。）