临时变量作为非const的引用进行参数传递引发的编译错误

Posted 2020-08-20 恋喵大鲤鱼

1.错误原因即解决办法

Linux环境运行，使用g++编译，观察如下代码，会出现： invalid initialization of non-const reference of type ‘std::string&’ from a temporary of type ‘std::string’的错误。

其中文意思为临时变量无法为非const的引用初始化。也就是在参数传递的过程中，出现错误。出错的代码如下：

void print(string& str)
{
    cout<<str<<endl;
}
//如此调用会报上面描述的错误
print("hello world");

出错的原因是编译器根据字符串”hello world”构造一个string类型的临时对象，这个临时对象具有const属性。当这个临时对象传递给非const的string&引用类型时，因为非const引用绑定对象时，要求该对象也是非const对象。而在这时，因为string类型的临时对象是const对象，所以就出现错误。因此，解决办法就是将print()函数的参数改为常引用。代码修改如下，可顺利通过编译。

void print(const string& str)
{
    cout<<str<<endl;
}
//顺利通过编译
print("hello world");

通过以上代码，也可以看出Effective C++中倡导的一个C++的编程原则，即尽可能的使用const。因为这样可以使代码更为健壮，将错误暴露于编译阶段。

---

2.所有的临时对象都是const对象吗

为什么临时对象作为引用参数传递时，必须是常量引用呢？很多人对此的解释是临时对象是常量，不允许赋值改动，所以作为非常量引用传递时，编译器就会报错。这个解释在关于理解临时对象不能作为非const引用参数这个问题上是可以的，但不够准确。更有甚者，认为所有的临时对象均是const对象，因此，对于网上的观点和资源我们应该持着谨慎怀疑的态度去接受学习，应该坚持鲁迅先生倡导的”拿来主义”，应该批判参考和借鉴。

事实上，临时变量是可以被作为左值(LValue) 并被赋值的，请看下面的代码：

class IntClass{
private:
    int x;
public:
    IntClass(int value):x(value){
    }

    friend  ostream& operator<<( ostream &os, const IntClass &intc);
};

//重载输出operator<<
ostream& operator<<( ostream &os, const IntClass &intc)
{
    os<<intc.x;
    return os;
}

//打印函数
void print(IntClass & intc)
{
    cout<<intc<<endl;
    //通过引用修改这个临时对象
    intc=8;
    cout<<intc<<endl;
}

int main(int argc,char* argv[])
{
    print(IntClass(6));
}

程序输出：
6
8

以上代正确编译运行，没有错误。IntClass(6)表示生成一个无名的临时对象，传递给非const引用，在print函数中通过引用修改了这个临时对象。这说明了并非所有的临时对象都是const对象。

那哪些临时对象是const对象，哪些临时对象不是const对象呢？这里贴上摘自网上的一句话：“内置类型产生的临时变量具有常性，而自定义类型产生的临时变量不具有常性”，我想这句话能解释你所谓的临时变量为什么能作为左值的原因。”此话不知正确与否，但目前还没有发现其错误，待以后考证。

---

参考文献

[1]http://blog.sina.com.cn/s/blog_4cce4f6a0100piuv.html