Google C++ Coding Style定義
輸入參數以值或者const引用形式傳入,輸出參數使用指針。 所有以引用形式輸入參數必須加上const,即const T&的形式。
即如下形式:
void Foo(const string &in, string *out);
在如下情況下, 可以使用const T*的形式:
* 需要進行指針的判空 (即空指針是合理的)。
* 需要使用到輸入參數的指針或引用形式。
爲什麼要使用const T&形式?
以值傳入是最爲安全的形式,因爲它總是提供一個複本到函數中。對於複雜的參數(結構或類),這也引入了不必要的拷貝的開銷。使用指針及引用都可以解決這個問題。而引用則更爲安全,可以避免一些不必要的空指針判斷。所以輸入參數以const T&的形式的定義, 與傳遞值的語義相似,既避免了拷貝,又避免了意外修改。
下面這個例子,則表現出函數即使定義爲const T&形式,仍然可能出現空指針引入的問題:
void test(const A& a) {
a.max = 10;
}
A* b = NULL;
test(*b);
這是一個錯誤使用引用的示範,語法上合法,但這樣的實現是不允許的。判空的責任在於調用者,而不在函數。(參考:How do you check for NULL when passing by reference in C++?)
另外,因爲傳引用,在其本質也是以指針形式提供的,所以在性能相對於傳值會低一些的。所以簡單的數據類型還是要傳值。
輸出參數爲什麼是指針呢
以引用和指針的形式,都可以作爲函數的輸出參數。如果沒有const修飾引用,則引用形式的參數就可以成爲一個輸出參數。這可能會讓代碼的讀者對參數的類型產生錯覺。正是Google C++ Coding Style中所描的: 引用有着和值類的語法,但卻是指針的語義。代碼的讀者會對能不能改變一個參數的值產生疑問, 以爲傳入的是Value, 但值卻改變了。雖然看一下函數聲明就可以了,但如果一個大型項目,還是要追求做到一目瞭然。
總結
作爲編碼規範定義出來的,主要是爲了統一大家的編碼習慣,減少一些”驚喜”。單純從傳值,傳引用,亦或傳指針的形式,cplusplus.com上的一篇也可以作爲參考When to pass parameters by value, reference, and pointer。總結一下參數三種傳入形式的核心點:
1. 傳值性能最高,但有拷貝的開銷。
2. 傳引用時空值是不合法的,不用判空,沒有拷貝的開銷。
3. 傳指針時空值是合法的,需要判空,也沒有拷貝的開銷。