C++為什么不要讓執(zhí)行結(jié)果受函數(shù)參數(shù)的求值次序影響?

這篇文章主要講解了“C++為什么不要讓執(zhí)行結(jié)果受函數(shù)參數(shù)的求值次序影響”，文中的講解內(nèi)容簡(jiǎn)單清晰，易于學(xué)習(xí)與理解，下面請(qǐng)大家跟著小編的思路慢慢深入，一起來(lái)研究和學(xué)習(xí)“C++為什么不要讓執(zhí)行結(jié)果受函數(shù)參數(shù)的求值次序影響”吧！

ES.44: 不要讓執(zhí)行結(jié)果受函數(shù)參數(shù)的求值次序影響

Reason（原因）

Because that order is unspecified.

因?yàn)楹瘮?shù)參數(shù)的求值次序是無(wú)定義的。

Note（注意）

C++17 tightens up the rules for the order of evaluation, but the order of evaluation of function arguments is still unspecified.

C++17收緊了運(yùn)算次序規(guī)則，但是函數(shù)參數(shù)的求值次序依然是無(wú)定義的。

Example（示例）

int i = 0;
f(++i, ++i);

調(diào)用的結(jié)果很可能是f(0，1)或者f(1，0)，但是不知道會(huì)是哪一個(gè)。技術(shù)上，這個(gè)行為是無(wú)定義的。在C++17中，這段代碼不會(huì)是一個(gè)無(wú)定義的行為，但是依然沒(méi)有明確那個(gè)參數(shù)先求值。

Example（示例）

Overloaded operators can lead to order of evaluation problems:

重載的運(yùn)算符可能引入計(jì)算次序的問(wèn)題。

f1()->m(f2());          // m(f1(), f2())
cout << f1() << f2();   // operator<<(operator<<(cout, f1()), f2())

In C++17, these examples work as expected (left to right) and assignments are evaluated right to left (just as ='s binding is right-to-left)

在C++17中，這些代碼示例可以像期待的那樣執(zhí)行（從左向右），同時(shí)賦值會(huì)從右向左計(jì)算（就像賦值運(yùn)算符=綁定了從右向左計(jì)算次序）

f1() = f2();    // undefined behavior in C++14; in C++17, f2() is evaluated before f1()

Enforcement（實(shí)施建議）

Can be detected by a good analyzer.

這個(gè)問(wèn)題可以被實(shí)現(xiàn)良好的代碼解析器檢出。

感謝各位的閱讀，以上就是“C++為什么不要讓執(zhí)行結(jié)果受函數(shù)參數(shù)的求值次序影響”的內(nèi)容了，經(jīng)過(guò)本文的學(xué)習(xí)后，相信大家對(duì)C++為什么不要讓執(zhí)行結(jié)果受函數(shù)參數(shù)的求值次序影響這一問(wèn)題有了更深刻的體會(huì)，具體使用情況還需要大家實(shí)踐驗(yàn)證。這里是億速云，小編將為大家推送更多相關(guān)知識(shí)點(diǎn)的文章，歡迎關(guān)注！