評価順序がこれまで指定されていないいくつかの一般的なケースは、で指定され、有効ですC++17。一部の未定義の動作は、代わりに未指定になりました。
i = 1;
f(i++, i)
は未定義でしたが、現在は指定されていません。具体的には、指定されていないのは、への各引数fが他の引数と比較して評価される順序です。i++前iに評価されるか、またはその逆の場合があります。実際、同じコンパイラーの下にあるにもかかわらず、2番目の呼び出しを異なる順序で評価する場合があります。
ただし、各引数の評価は、他の引数を実行する前に、すべての副作用を含めて完全に実行する必要があります。したがって、f(1, 1)（2番目の引数が最初に評価される）またはf(1, 2)（最初の引数が最初に評価される）を取得する可能性があります。しかし、あなたは決してf(2, 2)その性質のものを手に入れることはありません。
std::cout << f() << f() << f();
は指定されていませんが、演算子の優先順位と互換性があるため、の最初の評価がfストリームの最初になります（以下の例）。
f(g(), h(), j());
g、h、jの評価順序はまだ指定されていません。のgetf()(g(),h(),j())場合、ルールgetf()はの前に評価されることを示していることに注意してくださいg, h, j。
また、提案テキストの次の例にも注意してください。
std::string s = "but I have heard it works even if you don't believe in it"
s.replace(0, 4, "").replace(s.find("even"), 4, "only")
.replace(s.find(" don't"), 6, "");
この例は、C ++プログラミング言語、第4版、Stroustrupからのものであり、以前は不特定の動作でしたが、C ++ 17では期待どおりに機能します。再開可能な関数にも同様の問題がありました（.then( . . . )）。
別の例として、次のことを考慮してください。
#include <iostream>
#include <string>
#include <vector>
#include <cassert>
struct Speaker{
int i =0;
Speaker(std::vector<std::string> words) :words(words) {}
std::vector<std::string> words;
std::string operator()(){
assert(words.size()>0);
if(i==words.size()) i=0;
auto word = words[i] + (i+1==words.size()?"\n":",");
++i;
return word;
}
};
int main() {
auto spk = Speaker{{"All", "Work", "and", "no", "play"}};
std::cout << spk() << spk() << spk() << spk() << spk() ;
}
C ++ 14を使用すると、次のような結果が得られる可能性があります。
play
no,and,Work,All,
の代わりに
All,work,and,no,play
上記は事実上と同じであることに注意してください
(((((std::cout << spk()) << spk()) << spk()) << spk()) << spk()) ;
しかし、それでも、C ++ 17以前は、最初の呼び出しが最初にストリームに入るという保証はありませんでした。
参考資料：承認された提案から：
接尾辞式は左から右に評価されます。これには、関数呼び出しとメンバー選択式が含まれます。
代入式は右から左に評価されます。これには、複合割り当てが含まれます。
演算子をシフトするオペランドは、左から右に評価されます。要約すると、次の式は、a、b、c、dの順に評価されます。
- ab
- a-> b
- a-> * b
- a（b1、b2、b3）
- b @ = a
- a [b]
- a << b
- a >> b
さらに、次の追加ルールをお勧めします。オーバーロードされた演算子を含む式の評価の順序は、関数呼び出しのルールではなく、対応する組み込み演算子に関連付けられた順序によって決定されます。
メモの編集：私の元の回答は誤って解釈されましたa(b1, b2, b3)。順序はb1、b2、b3まだ特定されていません。（@KABoissonneault、すべてのコメント投稿者に感謝します。）
しかし、（@Yakkが指摘するように）、これは重要です：場合でもb1、b2、b3、非自明表現されているそれらのそれぞれが完全に評価されていると、それぞれの関数のパラメータに結び付けられ、他のものが評価され始めている前に。標準では、次のように述べています。
§5.2.2-関数呼び出し5.2.2.4：
。。。後置式は、式リスト内の各式とデフォルトの引数の前にシーケンスされます。パラメータの初期化に関連するすべての値の計算と副作用、および初期化自体は、後続のパラメータの初期化に関連するすべての値の計算と副作用の前にシーケンスされます。
ただし、これらの新しい文の1つがGitHubドラフトから欠落しています。
パラメータの初期化に関連するすべての値の計算と副作用、および初期化自体は、後続のパラメータの初期化に関連するすべての値の計算と副作用の前にシーケンスされます。
例はそこにあります。それは（ハーブサッターによって説明されているように）数十年前の問題を解決しますが、
f(std::unique_ptr<A> a, std::unique_ptr<B> b);
f(get_raw_a(), get_raw_a());
get_raw_a()他のrawポインターがそのスマートポインターパラメーターに関連付けられる前に、呼び出しの1つがスローされると、リークが発生します。
TCが指摘しているように、rawポインターからのunique_ptr構文が明示的であり、これがコンパイルされないため、この例には欠陥があります。*
また、この古典注意して質問を（タグ付けされたC、いないC ++を）：
int x=0;
x++ + ++x;
まだ定義されていません。