转自:https://blog.csdn.net/hy13684802853/article/details/87251736#commentBox
1 左值和右值
在C++中,左值可以出现在赋值语句的左边和右边;右值只能出现在赋值语句的右边,不能出现在赋值语句的左边。变量是左值,常量是右值。
2 引用
引用(reference)为对象起了另外一个名字,引用类型引用(refers to)另外一种类型。通过在变量名前添加“&”符号来定义。引用具体的使用方法请参考《C++的引用与重载函数》。
3 非常量引用的初始值必须是左值
3.1 产生原因
自定义函数increment()的代码为
void increment(double& x)
{
x += 1.0;
}
在调用该函数时,有如下代码
increment(5);
因为increment()函数的形参是double&,而调用时的实参是整形常量。因此,在调用increment()函数时实际上存在一个隐式的类型转换
double& temp = (double)5;
x = temp;
假设此后在increment()中对形参x进行修改,实际上就是对常量进行了修改,这显然是不能允许的。所以,在对非常量进行初始化时,该初始值必须是左值,而不能是右值。因此,会显示“非常量引用的初始值必须是左值”的错误信息。
3.2 解决方法
有两种方法可以解决以上问题,一是避免隐式转换;二是避免修改形参。
3.2.1 避免隐式转换
可以使用如下方法避免隐式转换
double i = 5.0l;
increment(i);
避免了隐式转换,也就是避免了对非常量引用的初始化。
3.2.2 避免修改形参
将increment()函数的形参类型修改为const double&,则在进行隐式转换时就可以用常量(右值)对其进行初始化了。
void increment(const double& x)
{
}
需要注意的时,因为此时形参x的值是常量,所以在increment()函数内部中不能对其进行修改。
4 实战
在CSDN论坛中有朋友提到如下问题
定义了一个Time类,重载cout输出time类时报错,其报错的信息即为“非常量引用的初始值必须是左值”。
ostream & operator <<(ostream& os,Time& _t)
{
os<<_t.hour<<':'<<_t.minute<<':'<<_t.second<<endl;
return& os;
}
在《C++函数的返回值(上)》“当函数的返回值是非引用变量时,会用一个临时变量来保存该返回值;当函数的返回值是引用变量时,不使用临时变量,直接返回该引用”。
因为其重载的<<操作符的返回值是一个引用变量,因此不存在“3 非常量引用的初始值必须是左值”中提到的临时变量隐式转换的问题。该操作符return的是&os,其含义是os的地址,该地址是一个常量,即右值;而操作符返回值是一个非常量的引用,因此会产生“非常量引用的初始值必须是左值”的报错信息。
修改的方法为将重载的<<操作符的return改为
return os;
即可。