常量<type>和富（）與<type> FOO（）

Question

在非模板類，沒有任何理由，更喜歡函數的返回簽名的形式const <type>& foo();與<type> foo();？其中<type>是一種內在類型。那麼如果<type>是一個類/結構對象呢？

的功能是否是常量也有興趣有差別：const <type>& foo() const;到<type> foo() const;

例如在非模板類，非模板函數：

const int& foo() const { return member_variable_; } 

對戰

int foo() const { return member_variable_; } 

Answer 1

如果需要返回一個值，你必須返回一個值 - const引用是不是一個可以接受的替代品。但我懷疑你是在問這樣的事情：

struct A { 
    X x; 
    ... 
    X f1() { return x; } 
    const X & f2() { return x; } 
}; 

我從來沒有想出一個這樣的萬無一失的指導方針。

Answer 2

這一切都取決於你想要做什麼。

如果你想引用返回一個對象由用戶代碼中使用，則：

<type>& foo() { ... } 

如果你想引用返回一個對象，但只讀方式，允許只有進入此對象類型的const函數，則：

const <type>& foo() { ... } 

如果你想引用返回一個對象由用戶代碼中使用，即使類的實例是隻讀的使用（如常量）然後：

<type>& foo() const { ... } 

如果您希望以只讀方式返回對對象的引用，只允許訪問此對象類型的常量函數，並且如果類實例以只讀方式使用（如const），則：

const <type>& foo() const { ... } 

只需添加一個警告：不要返回函數的變量的引用，它們不是活着出來的功能...

Answer 3

const <type>& foo(); 

你可能有相似元素的容器資源在你的班級和foo()返回特定元素，如果您知道資源可用時間足夠長，則可以返回對容器元素的const引用，這樣可以避免不必要的數據分配/副本。 它可能是const或者不是，取決於你如何處理數據，如果你不想通過foo()返回的引用修改數據，那麼使它成爲const。也許你有一個情況，你想修改資源和一些額外的工作需要完成，你會使非const。你可以讓你的api用戶都選擇基於用例。

<type> foo(); 

返回資源<type>的新副本。這意味着一個副本。這對於簡單的數據很有用，或者可以共享值，並且您想要確保<type>的每個實例都是單獨的 - 非共享像某些字符串或int。

Answer 4

如果這個類型是一個內在類型，那麼繞過const refs不會提高性能，並且可能會降低它的性能，也會降低安全性;最好是喜歡傳球和按價值迴歸。我不是一個ASM人，但據我瞭解，通過引用返回意味着該值無法存儲在寄存器中，因爲它需要返回地址，因此可以禁用一些其他有用的優化;儘管如此，我對此並不積極。

如果它是一個類或結構，它取決於值的生命週期;如果它是本地的函數，那麼它不能被返回，否則，如果它是一個類成員，我更喜歡常量類型&返回，因爲它可以通過避免複製構造函數提供更好的性能。 （意見不同，因爲價值被認爲更安全）。它還可以讓你不必執行復制構造函數或使用潛在的惡意默認值，這很好。

Answer 5

對於原始類型，只需按值返回即可。沒有理由通過const引用返回一個原語。

對於非原始類型，它取決於。

如果返回的值是函數的局部變量，則必須按值返回。否則，在調用者使用返回的引用之前，該變量將被銷燬。

如果返回的值是類數據成員，那麼您可以選擇。

通過const引用返回避免了副本，這可能是一個性能優勢。但是，它將您的接口綁定到實現，即數據成員和返回值必須是相同的類型。這也是不太安全的，因爲主叫方可以保留參考長於對象的生命週期，如：

const X& x = y->foo(); 
delete y; 
// use x, oops! 

返回的值會帶來一個或兩個拷貝，這取決於你是否能取返回值優化的優勢（這很可能是像這樣簡單的get（）方法）。另外，使用默認拷貝構造函數的對象副本可以更高效地複製（想想：編譯器可以簡單地對數據進行memcpy）。

建議：只有在確定該調用/複製被認爲是性能問題後，纔可以按值返回，然後切換到僅由const引用返回。

最後，另一種選擇是通過參數返回，這對於更復雜的對象（例如，字符串）有用：

void foo(X& return_val) { return_val = member_variable_; } 

或：

void foo(X* return_val) { 
    assert(return_val != 0); 
    *return_val = member_variable_; 
}