メソッドチェーンにおけるC ++実行順序

このプログラムの出力：

#include <iostream> 
class c1
{   
  public:
    c1& meth1(int* ar) {
      std::cout << "method 1" << std::endl;
      *ar = 1;
      return *this;
    }
    void meth2(int ar)
    {
      std::cout << "method 2:"<< ar << std::endl;
    }
};

int main()
{
  c1 c;
  int nu = 0;
  c.meth1(&nu).meth2(nu);
}

です：

method 1
method 2:0

開始nu時に1ではないのはなぜmeth2()ですか？

評価順は不定ですので。

呼ばれる前にも評価さnuれmainているのを見ています。これは連鎖の問題です。しないことをお勧めします。0meth1

見栄えがよく、シンプルで、明確で、読みやすく、理解しやすいプログラムを作成するだけです。

int main()
{
  c1 c;
  int nu = 0;
  c.meth1(&nu);
  c.meth2(nu);
}

評価の順序に関する標準草案のこの部分は関連があると思います：

1.9プログラムの実行

...

15. 特に明記されていない限り、個々の演算子のオペランドおよび個々の式の部分式の評価は、シーケンスされていません。演算子のオペランドの値計算は、演算子の結果の値計算の前にシーケンスされます。スカラーオブジェクトの副作用が同じスカラーオブジェクトの別の副作用または同じスカラーオブジェクトの値を使用した値の計算に関連してシーケンスされておらず、それらが潜在的に同時に発生しない場合、動作は未定義です。

そしてまた：

5.2.2関数呼び出し

...

8. [注：後置式と引数の評価は、すべて相互に順序付けされていません。引数評価のすべての副作用は、関数に入る前に順序付けされます—終わりの注意]

したがって、あなたの行c.meth1(&nu).meth2(nu);では、への最後の呼び出しの関数呼び出し演算子に関してoperatorで何が起こっているかを考えてくださいmeth2。そうすれば、後置式と引数の内訳が明確にわかりますnu。

operator()(c.meth1(&nu).meth2, nu);

最後の関数呼び出しの後置式と引数の評価（つまり、後置式c.meth1(&nu).meth2とnu）は、上記の関数呼び出し規則に従って、相互に順序付けられていません。したがって、スカラーオブジェクトに対する後置式の計算の副作用は、関数呼び出しの前の引数評価に比べて順序付けされていません。上記のプログラム実行ルールでは、これは未定義の動作です。arnumeth2

言い換えれば、コンパイラーが呼び出しの後に呼び出しのnu引数を評価する必要はありません- 評価に影響を与える副作用がないと仮定することは自由です。meth2meth1meth1nu

上記で生成されたアセンブリコードには、main関数に次のシーケンスが含まれています。

1. 変数nuはスタックに割り当てられ、0で初期化されます。
2. レジスター（ebx私の場合）は、値のコピーを受け取りますnu
3. のアドレスnuとcパラメータレジスタへのロード
4. meth1 呼ばれる
5. 戻り値レジスタと、以前にキャッシュされた値のnu中ebxレジスタは、パラメータ・レジスタにロードされています
6. meth2 呼ばれる

重要なのは、上記のステップ5で、コンパイラーがnuステップ2のキャッシュ値をへの関数呼び出しで再利用できるようにすることmeth2です。ここでは、動作中の「未定義の動作」のnu呼び出しによって変更された可能性を無視meth1します。

注：この回答は、元の形式から実質的に変更されています。最後の関数呼び出しの前にシーケンスされていないオペランド計算の副作用に関する私の最初の説明は正しくありませんでした。問題は、オペランド自体の計算が不確定に順序付けられるという事実です。

1998 C ++標準、セクション5、4項

特に明記されていない限り、個々の演算子のオペランドと個々の式の部分式の評価の順序、および副作用が発生する順序は指定されていません。前のシーケンスポイントと次のシーケンスポイントの間で、スカラーオブジェクトの保存された値は、式の評価によって最大で1回変更されます。さらに、以前の値は、保存される値を決定するためにのみアクセスされるものとします。この段落の要件は、完全な式の部分式の許容される順序ごとに満たされるものとします。それ以外の場合の動作は未定義です。

（この質問に関係のない脚注＃53への参照は省略しています）。

基本的に、を&nu呼び出す前に評価する必要がありc1::meth1()、を呼び出す前に評価するnu必要がありますc1::meth2()。ただし、nu以前に評価する必要のある要件はありません&nu（たとえばnu、最初に評価され、次に&nu、次にc1::meth1()呼び出されることが許可されます-これはコンパイラが行っていることかもしれません）。したがって、式*ar = 1in c1::meth1()は、nuin main()が評価される前に評価され、に渡されることが保証されていませんc1::meth2()。

後のC ++標準（今夜使用しているPCには現在ありません）には、基本的に同じ句があります。

コンパイルするとき、関数meth1とmeth2が実際に呼び出される前に、パラメーターがそれらに渡されていると思います。「c.meth1（＆nu）.meth2（nu）;」を使用する場合を意味します 値nu = 0がmeth2に渡されているので、「nu」が後で変更されてもかまいません。

あなたはこれを試すことができます：

#include <iostream> 
class c1
{
public:
    c1& meth1(int* ar) {
        std::cout << "method 1" << std::endl;
        *ar = 1;
        return *this;
    }
    void meth2(int* ar)
    {
        std::cout << "method 2:" << *ar << std::endl;
    }
};

int main()
{
    c1 c;
    int nu = 0;
    c.meth1(&nu).meth2(&nu);
    getchar();
}

それはあなたが望む答えを得るでしょう