C語言運算式計算順序的一個小問題

http://sunxiunan.com/?p=1742

瀏覽Q.yuhen的部落格這篇文章 http://www.rainsts.com/article.asp?id=959 發現一個小問題，估計有類似想法的同學也有，所以記錄一下。

問題在於這句話：

“很顯然，依據 cdecl 規則，"printf(…, test(2), test(1))" 中的 printf 函數參數依次從右向左 "入棧"(暫且用這個說法)。因此 test(1) 被先調用，然後才是 test(2)，上面的彙編代碼也說明了這點。”

儘管事實是這樣的，但這是一個有問題的說法。

cdecl的入棧順序是沒錯的，這個入棧順序是針對每個逗號分隔的運算式結果而言。也就是說對於每個結果一定是這樣的順序。但是運算式計算順序（或者說每個逗號分割的函數調用）其實是沒有規定的。這在K&R影印版第二版52頁最末一段說的非常清楚，下面的f和g不一定誰先調用：

C, like most languages, does not specify the order in which the operands of an operator are evaluated. (exceptions are && || ?: and ",") for example x = f() + g();

另外在63頁開始：

The commas that separate function arguments, variables in declarations, etc., are NOT comma operators, and do NOT guarantee left to right evaluation.

這也就是說逗號分隔的函數參數與逗號操作符是不一樣的，不保證從左至右的計算順序（當然也沒有保證從右至左）。

注意這個evaluation，其實就是對test(2), test(1)的調用。如果這些調用有邊界效應，在不同編譯器、作業系統上可能會得到不同的結果。另外類似的問題有對在參數列表中，同一個變數調用++兩次以上。

如果要保證求值順序（注意不是求值結果的入棧順序），只能用臨時變數儲存調用結果，或使用逗號操作，&& || 這樣可以保證求值順序的操作才行。

其實我在前面這篇部落格已經提到了這個問題，只是看到這個提法再重申一次。“C語言中的運算式求值問題”http://sunxiunan.com/?p=1684

參考資料：

http://www.andromeda.com/people/ddyer/topten.html 參考第七條

C陷阱與缺陷 3.7求值順序