非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; 
}