非const引用的初始化

Question

我想我從TC++ PL中學習到 「一個非const引用應該用左值初始化」。

而下面是我的問題

int f1(int &x) 
{ 
    return 1; 
} 

int f2() 
{ 
    return 1; 
} 

int f3(string &s) 
{ 
    return 1; 
} 

string f4() 
{ 
    return "1"; 
} 

int main() 
{ 
    cout<<f1(f2())<<endl; // Error. 
    cout<<f3(f4())<<endl; // OK. 
} 

所以我上無法明白，爲什麼F3（F4（））是正確的，而F4（）的返回值是明顯不是一個左值。

Answer 1

我想，你使用Microsoft Visual C++編譯器，使用默認選項編譯此代碼。這是因爲它有非標準的擴展，允許綁定rvalue左值引用。 欲瞭解更多信息，有關如何可以在MSVC這項工作，你可以閱讀rvalue to lvalue conversion Visual Studio

Answer 2

這兩個聲明都不起作用。原因是f（2）返回一個常數值，f（1）期望一個非常數因此是錯誤信息。

int f3(const string &s) 
{ 
    return 1; 
} 

int f1(const int &x) 
{ 
    return 1; 
} 

這將消除錯誤。

Answer 3

從概念上說，這段代碼不應該工作。爲什麼？

答：每個函數f1和f3都使用一個參數作爲按地址調用。所以它必須能夠引用傳遞給它的參數的地址。因此，函數f1和f3中參數值的任何改變都會影響傳遞給它的實際變量。

但函數f4和f2的返回值是常量，不能改變。因此錯誤。

現在，如果您只需要將函數f2和f4的值傳遞給函數f1和f3，只需傳遞值即可。爲此，請刪除參數中的&標誌。

Answer 4

int _tmain(int argc, _TCHAR* argv[]) 
{ 
    cout<<f1(f2())<<endl; 
    int &a(1); //This is what gonna happen when your f2() returns 1 and 1 is passed in f1(int&). That is invalid. 
     cout<<f3(f4())<<endl; 
    // string& str(string("1"));//when "1" is returned from f4() it will be implicitly casted to string("1") and pass in f3 as f3(string("1")). There it comes valid reference. 


    return 0; 
}