筆試實(shí)例：＂序列點(diǎn)＂是什么

時(shí)間：2023-04-04 18:38:12 筆試題目

　　序列點(diǎn)是一個(gè)時(shí)間點(diǎn)(在整個(gè)表達(dá)式全部計(jì)算完畢之后或在||、&&、? : 或逗號(hào)運(yùn)算符處, 或在函數(shù)調(diào)用之前), 此刻塵埃落定, 所有的副作用都已確保結(jié)束。ANSI/ISO C 標(biāo)準(zhǔn)這樣描述:在上一個(gè)和下一個(gè)序列點(diǎn)之間, 一個(gè)對(duì)象所保存的值至多只能被表

筆試實(shí)例：＂序列點(diǎn)＂是什么

　　達(dá)式的計(jì)算修改一次。而且前一個(gè)值只能用于決定將要保存的值。第二句話比較費(fèi)解。它說(shuō)在一個(gè)表達(dá)式中如果某個(gè)對(duì)象需要寫(xiě)入, 則在同一表達(dá)式中對(duì)該對(duì)象的訪問(wèn)應(yīng)該只局限于直接用于計(jì)算將要寫(xiě)入的值。這條規(guī)則有效地限制了只有能確保在修改之前才訪問(wèn)變量的表達(dá)式為合法。例如i = i+1 合法, 而a[i] = i++ 則非法

　　拓展：

　　int i = 3;

　　i = i++;

　　cout << i;

　　結(jié)果是什么?有人可能會(huì)說(shuō)是3，也有人可能會(huì)說(shuō)是4，更多的人在罵出題的人白癡，但這語(yǔ)句究竟有何問(wèn)題呢?未必每個(gè)人都清楚。

　　有些人也許馬上會(huì)說(shuō)，這是“未定義行為”。沒(méi)錯(cuò)，這是一個(gè)典型的未定義行為。i = i++這個(gè)表達(dá)式合乎C++語(yǔ)法，能夠順利編譯通過(guò)，但是執(zhí)行的結(jié)果，標(biāo)準(zhǔn)說(shuō)“未定義”。為什么是“未定義”，深究起來(lái)，要從序列點(diǎn)說(shuō)起。

　　序列點(diǎn)是程序中這樣的一些點(diǎn)：通俗地說(shuō)，執(zhí)行至此，之前的語(yǔ)句都已經(jīng)徹底執(zhí)行干凈執(zhí)行完了，之后的語(yǔ)句還完全沒(méi)開(kāi)始執(zhí)行;更常見(jiàn)、更嚴(yán)謹(jǐn)?shù)曰逎恼f(shuō)法是，之前的語(yǔ)句對(duì)現(xiàn)場(chǎng)環(huán)境的改變已經(jīng)全部完成，之后的語(yǔ)句對(duì)現(xiàn)場(chǎng)環(huán)境的改變還沒(méi)有開(kāi)始。啥是現(xiàn)場(chǎng)環(huán)境呢?就是程序執(zhí)行到某一點(diǎn)的那個(gè)狀態(tài)，包括變量的內(nèi)容、文件的內(nèi)容等。

　　這跟最開(kāi)始那個(gè)例子有什么關(guān)系呢?關(guān)鍵的問(wèn)題來(lái)了：標(biāo)準(zhǔn)規(guī)定，兩個(gè)序列點(diǎn)之間，程序執(zhí)行的順序可以是任意的。沒(méi)錯(cuò)，正如你猜的那樣，C++標(biāo)準(zhǔn)規(guī)定一個(gè)完整的表達(dá)式結(jié)束之后有一個(gè)序列點(diǎn)，而例子中i = i++是位于兩個(gè)序列點(diǎn)之間的。編譯器可以先算完i++，再寫(xiě)結(jié)果給i，也可以先將i = i，再令i++。按前面的方法算，i先自增變?yōu)?，然后i++返回3，于是i被賦值為3;按后一種方法算，i先被賦值為3，隨后自增變成4。標(biāo)準(zhǔn)說(shuō)了，這兩種處理方法，編譯器你愛(ài)選那種就選哪種，隨便。如果誰(shuí)寫(xiě)的程序像這樣依賴(lài)執(zhí)行的順序，讓他自己哭去!

　　等等，有人要問(wèn)了，++的優(yōu)先級(jí)難倒不是高于=嗎?顯然應(yīng)該先執(zhí)行++啊。這里有個(gè)概念的問(wèn)題，前一段說(shuō)的編譯器先算i = i，絕不是說(shuō)令=的優(yōu)先級(jí)比++還高了。如果那樣的話，表達(dá)式將變成 (i = i)++，也就是i.operator = (i). operator ++，執(zhí)行++的主體變成i = i這個(gè)表達(dá)式的返回值了。上一段所說(shuō)的先計(jì)算i = i，實(shí)際上還是先計(jì)算i++，只不過(guò)是先返回了i的值，然后推遲了將i自增1的操作先去干別的(i = i)去了，回頭再來(lái)給i自增1。

　　——“什么，你說(shuō)先干別的就先干別的，憑什么!”

　　嗯，我再重復(fù)一遍，標(biāo)準(zhǔn)規(guī)定，兩個(gè)序列點(diǎn)之間，程序執(zhí)行的順序可以是任意的。

　　——“不是吃飽了撐的嘛，標(biāo)準(zhǔn)搞這個(gè)干啥?嚴(yán)格按照順序執(zhí)行不就完了嘛”。

　　C++標(biāo)準(zhǔn)弄這么復(fù)雜自然是有道理的。C++是極為重視執(zhí)行效率的語(yǔ)言，這樣做給了編譯器優(yōu)化的空間。比如考慮

　　int j = i++;

　　如果非得把i++執(zhí)行干凈了再干別的，那就不得不 temp = i; i += 1; j = i; 。如果允許編譯器打亂順序執(zhí)行呢，直接 j = i; i +=1; 就好了，省了一個(gè)temp倒一次的過(guò)程。

　　多說(shuō)一句，一些更高層的語(yǔ)言，不是像C++這種極為重視效率的，比如Java，上面的例子就完全沒(méi)有問(wèn)題。Java完全不允許你編譯器亂搞，上面那個(gè)例子，在Java中一定是先把i++徹底執(zhí)行干凈了返回3，再進(jìn)行賦值，賦值完之后不會(huì)再有別的操作了，所以結(jié)果一定是3。

　　如何避免由序列點(diǎn)造成的這種未定義行為，有一句經(jīng)典但有點(diǎn)晦澀的編程規(guī)則：“在相鄰的兩個(gè)序列點(diǎn)之間，一個(gè)對(duì)象只允許被修改一次，而且如果一個(gè)對(duì)象被修改則在這兩個(gè)序列點(diǎn)之間只能為了確定該對(duì)象的新值而讀一次”。其實(shí)明白了序列點(diǎn)具體是怎么回事，這個(gè)規(guī)則應(yīng)該就很容易明白了。由于序列點(diǎn)之間程序執(zhí)行順序不確定，一個(gè)對(duì)象被修改多次的話最后留下的是哪次的結(jié)果就不確定。另外如果一個(gè)對(duì)象同時(shí)存在讀取和修改，只有根據(jù)讀取的結(jié)果來(lái)修改才是合法的，否則就會(huì)出現(xiàn)是先改完再讀還是先讀完再改的混亂。

　　最后再說(shuō)一下最新的C++2003標(biāo)準(zhǔn)中定義的序列點(diǎn)(詳細(xì)說(shuō)明請(qǐng)參考標(biāo)準(zhǔn))：

　　·完整聲明之后

　　·完整表達(dá)式之后

　　·進(jìn)入函數(shù)時(shí)與退出函數(shù)時(shí)

　　·|| && ?: , 四個(gè)操作符的第一個(gè)操作數(shù)之后

　　最后一個(gè)似乎有點(diǎn)奇怪，為啥 + - 操作符之前就沒(méi)有序列點(diǎn)，|| &&之前就有呢?a+b之間沒(méi)有序列點(diǎn)而a||b之間就有，不公平啊。

　　嗯，你猜的沒(méi)錯(cuò)，是為了短路。

　　不過(guò)要是手賤重載了默認(rèn)的||和&&，他們可就視同普通函數(shù)，不會(huì)在第一個(gè)操作數(shù)之后有序列點(diǎn)了，切記。

【筆試實(shí)例：＂序列點(diǎn)＂是什么】相關(guān)文章：

求職筆試常見(jiàn)試題分類(lèi)及實(shí)例解析02-16

求職筆試常見(jiàn)試題分類(lèi)及實(shí)例解析08-11

m序列與gold序列性能分析比較03-07