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

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

為了保證程序執(zhí)行具有確定性的結(jié)果，C++標(biāo)準(zhǔn)引入Sequence Point這個概念，按照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.

簡而言之，Sequence Point就是這么一個位置，在它之前所有的side effect已經(jīng)發(fā)生，在它之后的所有side effect仍未開始，而兩個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
在一個完整的表達(dá)式末尾是Sequence Point，所謂完整的表達(dá)式是指這個表達(dá)式不是另外一個表達(dá)式的一部分。所以如果有f(); g();這樣兩條語句，f()和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)用一個函數(shù)時，在所有準(zhǔn)備工作做完之后、函數(shù)調(diào)用開始之前是Sequence Point。比如調(diào)用foo(f(), g())時，foo、f()、g()這三個表達(dá)式哪個先求值哪個后求值是Unspecified，但是必須都求值完了才能做最后的函數(shù)調(diào)用，所以f()和g()的Side Effect按什么順序發(fā)生不一定，但必定在這些Side Effect全部作用完之后才開始調(diào)用foo函數(shù)。

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

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

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

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

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

最新評論