首页 > 代码库 > 临时变量作为非const的引用进行参数传递引发的编译错误
临时变量作为非const的引用进行参数传递引发的编译错误
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
临时变量作为非const的引用进行参数传递引发的编译错误