Google C++ Coding Style:引用參數

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. 傳指針時空值是合法的,需要判空,也沒有拷貝的開銷。

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章