i =（i、++ i、1）+ 1;とは 行う？

未定義の動作とシーケンスポイントに関するこの回答を読んだ後、小さなプログラムを書きました。

#include <stdio.h>

int main(void) {
  int i = 5;
  i = (i, ++i, 1) + 1;
  printf("%d\n", i);
  return 0;
}

出力は2です。ああ、私は減少が来るのを見ませんでした！ここで何が起きてるの？

また、上記のコードをコンパイルしているときに、次の警告が表示されました。

px.c：5：8：警告：コンマ式の左側のオペランドは効果がありません

  [-Wunused-value]   i = (i, ++i, 1) + 1;
                        ^

どうして？しかし、おそらくそれは私の最初の質問の答えによって自動的に答えられます。

式(i, ++i, 1)では、使用されるコンマはコンマ演算子です

コンマ演算子（tokenで表される,）は、最初のオペランドを評価して結果を破棄し、次に2番目のオペランドを評価してこの値（および型）を返す2項演算子です。

最初のオペランドが破棄されるため、通常は、最初のオペランドに望ましい副作用がある場合にのみ役立ちます。最初のオペランドへの副作用が発生しない場合、コンパイラーは式に関する警告を生成し、効果はありません。

したがって、上記の式では、左端iが評価され、その値は破棄されます。次に++i評価され、i1 ずつ増加し、式の値は++i破棄されますが、への副作用iは永続的です。次に1評価され、式の値はになります1。

に相当

i;          // Evaluate i and discard its value. This has no effect.
++i;        // Evaluate i and increment it by 1 and discard the value of expression ++i
i = 1 + 1;  

上記の式は完全に有効であり、コンマ演算子の左と右のオペランドの評価の間にシーケンスポイントがあるため、未定義の動作を引き起こさないことに注意してください。

C11、章6.5.17、カンマ演算子からの引用

コンマ演算子の左のオペランドは、void式として評価されます。その評価と右のオペランドの評価の間にシーケンスポイントがあります。次に、右側のオペランドが評価されます。結果にはタイプと値があります。

したがって、あなたの場合、

(i, ++i, 1)

として評価されます

1. i、void式として評価され、値は破棄されます
2. ++i、void式として評価され、値は破棄されます
3. 最後に1、値が返されました。

したがって、最後のステートメントは次のようになります

i = 1 + 1;

にi到達し2ます。これで両方の質問に答えると思いますが、

• i値2はどのように取得しますか？
• なぜ警告メッセージがあるのですか？

注：FWIW、左側のオペランドの評価の後にシーケンスポイントが存在(i, ++i, 1)するため、一般に誤って考える可能性があるため、のような式はUBを呼び出しません。

i = (i, ++i, 1) + 1;

段階的に分析してみましょう。

(i,   // is evaluated but ignored, there are other expressions after comma
++i,  // i is updated but the resulting value is ignored too
1)    // this value is finally used
+ 1   // 1 is added to the previous value 1

したがって、2を取得します。最後の割り当ては次のとおりです。

i = 2;

それが今上書きされる前にiにあったものは何でも。

の結果

(i, ++i, 1)

です

1

ために

(i,++i,1) 

評価は、,オペレーターが評価された値を破棄し、最も適切な値を保持するように行われます。1

そう

i = 1 + 1 = 2

あなたはコンマ演算子のためのwikiページでいくつかの良い読書を見つけるでしょう。

基本的には

...最初のオペランドを評価して結果を破棄し、次に2番目のオペランドを評価してこの値（および型）を返します。

この意味は

(i, i++, 1)

次に、を評価しi、結果を破棄し、評価しi++、結果を破棄してから、を評価して返し1ます。

ここでは、コンマ演算子が何をしているのかを知る必要があります。

あなたの表現：

(i, ++i, 1)

最初の式iが評価され、2番目の式++iが評価され、3番目の式が式1全体に対して返されます。

したがって、結果は次のとおりi = 1 + 1です。

おまけの質問については、ご覧のとおり、最初の式iはまったく効果がないため、コンパイラーは不平を言います。

カンマの優先順位は「逆」です。これは、IBM（70s / 80s）の古い本やCのマニュアルから得られるものです。したがって、最後の「コマンド」は親式で使用されるものです。

現代のCではその使用は奇妙ですが、古いC（ANSI）では非常に興味深いです。

do { 
    /* bla bla bla, consider conditional flow with several continue's */
} while ( prepAnything(), doSomethingElse(), logic_operation);

すべての操作（関数）は左から右に呼び出されますが、最後の式のみが結果として条件付き 'while'に使用されます。これにより、条件チェックの前に実行するコマンドの一意のブロックを保持するための「goto」の処理が防止されます。

編集：これにより、左側のオペランドのすべてのロジックを処理して論理結果を返す処理関数の呼び出しも回避されます。Cの過去には関数をインライン化していなかったことに注意してください。これにより、呼び出しのオーバーヘッドを回避できます。