不知你在寫(xiě)code時(shí)是否遇到這樣的問(wèn)題？int i = 3; int x = (++i) + (++i) + (++i); 問(wèn)x值為多少？進(jìn)行各種理論分析，并在編譯器上實(shí)踐，然而可能發(fā)現(xiàn)最終的結(jié)果是不正確的，也是不穩(wěn)定的，不同的編譯器可能會(huì)產(chǎn)生不同的結(jié)果。這讓人很頭疼。結(jié)果到底是啥呢？對(duì)于此題的答案，一句話(huà)，Theresult is undefined! 詳細(xì)解釋待我慢慢說(shuō)來(lái)。

大家知道，通常而言，我們寫(xiě)的計(jì)算機(jī)程序都是從上到下，從左到右依次執(zhí)行。然而，我只是說(shuō)通常，因?yàn)樵诰幾g的過(guò)程中，compiler并不僅僅是把source code翻譯成binary code就算了，這個(gè)過(guò)程里面可能還會(huì)對(duì)代碼進(jìn)行優(yōu)化，這種優(yōu)化可能帶來(lái)的結(jié)果是：代碼或者表達(dá)式evaluation的順序可能發(fā)生變化。這可是一個(gè)非常嚴(yán)重的問(wèn)題，當(dāng)某個(gè)表達(dá)式帶有side-effect（比如改變了一個(gè)變量的值），那么它的執(zhí)行順序直接影響到了程序執(zhí)行的結(jié)果。

為了保證程序執(zhí)行具有確定性的結(jié)果，C++標(biāo)準(zhǔn)引入Sequence Point這個(gè)概念，按照ISO/IEC的定義：

At certain specified points in the execution sequence called sequence points. All side effects of previous evaluations shall be complete and no side effects of subsequent evaluations shall have taken place.

簡(jiǎn)而言之，Sequence Point就是這么一個(gè)位置，在它之前所有的side effect已經(jīng)發(fā)生，在它之后的所有side effect仍未開(kāi)始，而兩個(gè)Sequence Point之間所有的表達(dá)式或者代碼執(zhí)行的順序是未定義的！

而C++標(biāo)準(zhǔn)又進(jìn)一步規(guī)定了Sequence Point出現(xiàn)的5種情況：

1、At the end of a full expression
在一個(gè)完整的表達(dá)式末尾是Sequence Point，所謂完整的表達(dá)式是指這個(gè)表達(dá)式不是另外一個(gè)表達(dá)式的一部分。所以如果有f(); g();這樣兩條語(yǔ)句，f()和g()是兩個(gè)完整的表達(dá)式，f()的Side Effect必定在g()之前發(fā)生。

2、After the evaluation of all function arguments in a function call and before execution of any expressions in the function body
調(diào)用一個(gè)函數(shù)時(shí)，在所有準(zhǔn)備工作做完之后、函數(shù)調(diào)用開(kāi)始之前是Sequence Point。比如調(diào)用foo(f(), g())時(shí)，foo、f()、g()這三個(gè)表達(dá)式哪個(gè)先求值哪個(gè)后求值是Unspecified，但是必須都求值完了才能做最后的函數(shù)調(diào)用，所以f()和g()的Side Effect按什么順序發(fā)生不一定，但必定在這些Side Effect全部作用完之后才開(kāi)始調(diào)用foo函數(shù)。

3、After copying of a returned value and before execution of any expressions outside the function
函數(shù)即將返回時(shí)是Sequence Point，因?yàn)楹瘮?shù)返回時(shí)必然會(huì)結(jié)束掉一個(gè)完整的表達(dá)式。

4、After evaluation of the first expression in a&&b,  a||b,  a?b:c,  or  a,b
條件運(yùn)算符?:、逗號(hào)運(yùn)算符、邏輯與&&、邏輯或||的第一個(gè)操作數(shù)求值之后是Sequence Point。如條件運(yùn)算符和逗號(hào)運(yùn)算符，條件運(yùn)算符要根據(jù)表達(dá)式1的值是否為真決定下一步求表達(dá)式2還是表達(dá)式3的值，如果決定求表達(dá)式2的值，表達(dá)式3就不會(huì)被求值了，反之也一樣，逗號(hào)運(yùn)算符也是這樣，表達(dá)式1求值結(jié)束才繼續(xù)求表達(dá)式2的值。

5、After the initialization of each base and member in the constructor initialization list
在一個(gè)完整的聲明末尾是Sequence Point，所謂完整的聲明是指這個(gè)聲明不是另外一個(gè)聲明的一部分。比如聲明int a[10], b[20];，在a[10]末尾是Sequence Point，在b[20]末尾也是。

經(jīng)過(guò)以上說(shuō)明，大家已有所了解，現(xiàn)在回到我們的題目：int x = (++i) + (++i) + (++i); 整個(gè)的語(yǔ)句里面，只有1個(gè)Sequence Point，也就是語(yǔ)句的結(jié)束點(diǎn)，對(duì)于右邊表達(dá)式的計(jì)算順序沒(méi)有任何的規(guī)定，顯然，各種編譯器都可以按照他們覺(jué)得“舒服”的方式來(lái)進(jìn)行計(jì)算，這樣的代碼，如果只要求在特定的平臺(tái)或者編譯器運(yùn)行，那么帶來(lái)的可能只是可讀性差的問(wèn)題，但如果考慮跨平臺(tái)或者編譯器的情況，那么就是完完全全的錯(cuò)誤！

另外，需要特別注意的是，對(duì)于賦值號(hào)(assignment operator)，C++也沒(méi)有把它定義成Sequence Point，也就說(shuō)這樣的語(yǔ)句：buffer[i] = i++;同樣是undefined的，因?yàn)?，?duì)于等號(hào)左右兩邊的表達(dá)式運(yùn)算順序，你并不能有任何的假定。