Posted on 2006-09-11 19:01
chenger 閱讀(728)
評論(3) 編輯 收藏 引用 所屬分類:
Programming Stuff
這回還是一個語言細節問題：求值順序，副作用等等。說白了和v[i]=i++是差不多的。不關心這類細枝末節的朋友們可以不用看了。
程序如下：
#include <iostream>
int g(int i)
{
??? return i;
}
int main()
{
??? int i = 1;
??? std::cout << i*g(i++);
??? return 0;
}
起因是csdn上的一個
帖子。我本來認為這是一個和實現有關的問題，屬于標準中未指定行為的那一類。在求值i*g(i++)時，左序和右序都是有可能的，結果分別為1和2。在我的Visual C++ 2005 Express上跑，結果是1，而g++ 3.4.2的結果為2。VC 2005相當狠，把i的自增一直排到了整個std::cout << i*g(i++);的后面！
而那個帖子里給的程序是這樣的（一看感覺就很像那些計算機等級考試的鳥題目）
#include <iostream>
int f(int n)
{
??? if(++n == 5)
??????? return n++;
??? return n*f(n++);
}
int main()
{
??? std::cout << f(1);
??? return 0;
}
歧義或者說問題也是n*f(n++)這一句。我拿Visual C++ 2005 Express和g++ 3.4.2分別跑了一下，結果是120（對應于左序）和300(右序）。但csdn上有人拿VS 2005 Team版和VC 6.0測試，結果都是300。打死我都不相信VS 2005 Team和Visual C++ 2005 Express的C++編譯器會有什么差別。而且我嘗試了好幾個可能有影響的編譯選項，例如優化，是否禁用語言擴展（/Za)，以及release和debug，結果都是120。我機子上沒有VS 2005 Team，所以沒辦法驗證。誰能告訴我這到底是怎么一回事？
Update：終于找了一臺有Visual Studio 2005 Team Suite的機器來驗證上面的程序，和我的Express版運行結果完全相同。但是還是有不少朋友說他們測試的結果是300。此外，還有的是在debug下結果為300，而release下結果是120！簡直亂套了。
結論：得歸功于csdn網友ugg的反復測試。關鍵問題是Visual C++編譯器的運行時檢查選項。默認情況是/RTCs,即stack frame run-time error checking，此時運行結果是120；如果打開了/RTCu，msdn上的解釋是Reports when a variable is used without having been initialized，那么結果就是300。可見，在沒有打開/RTCu的時候，編譯器把n++這個副作用放到了整個full-expression的后面，可能是因為編譯器認為n++對表達式的求值沒有影響。至于左序右序的問題，我仍然難以下結論。在打開了/RTCu的情況下，不管是n*f(n++)或f(n++)*n結果都是300，否則結果都是120。
我的想法是：編譯器之所以敢這么優化（這并不算是太大的優化），前提就是這個求值順序本來就是unspecified，編譯器可以自由發揮。當然，左序右序的問題可能不是那么關鍵。這仍然是一個依賴于編譯器實現的問題，而不是語法問題。