學過 c 的人都知道,c 中函數參數的求值順序是由編譯器的實現決定的,c 標準并沒有規定求值順序。每當講到這,下面這個經典的例子總會出現:
int i = 0;
printf("%d,%d", i++, i++);
我們沒辦法確定是打印1,0,還是打印0,1,這取決于哪個i++先執行。
我很少碰到參數求值順序的問題,我以為我不會碰到,也就慢慢的忘記了這條警告,今天我以一種讓我“恐懼”的方式碰到了。
send(sfd, mPacket.content(), mPacket.contentSize(), MSG_NOSIGNAL));
通常情況,mPacket.content() 是一個 const 函數,它不會改變mPacket的內容。后來,功能升級,mPacket.content() 改成了非 const 函數,禍根由此種下。升級后的mPacket,mPacket.contentSize() 在有限的情況下,依賴于 mPacket.content() 的調用。在 send 函數調用時,因為函數參數求值順序不確定,所以 mPacket.content() 和 mPacket.contentSize() 的調用順序也就不確定,如果先調用前者,一切正常,如果先調用后者,等前者調用時,mPacket.contentSize() 的值已經不是它傳遞給 send 函數的那個值了。雖然在這里“參數有求值順序依賴,但程序行為沒有影響”,但是,我不可能永遠這么幸運。
我之所以感到“恐懼”,是因為我之前沒有意識到,“類方法”本質上和 i++ 一樣具有副作用,用在函數參數中時,要小心,而在我意識到之前,我寫的代碼是沒有保障的(雖然它現在沒出問題)。
誡言:不要在同一個函數調用中使用i++兩次,不要在同一個函數調用中使用同一個類的兩個方法,除非他們是const的,并且沒有操作mutable的成員變量。標準庫的 std::string::c_str() 和 string::size() 滿足這兩個條件。與其靠小心(使兩個成員函數結果不依賴于調用順序),不如靠接口(把它們聲明為const)。首先使用的人會放心的同一個函數調用中使用,而不擔心求值順序(就像std::string),實現的人也省心,如果違反接口,編譯器也會警告。