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