C++中“非常量引用的初始值必须是左值”的处理方法

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<

在《C++函数的返回值（上）》“当函数的返回值是非引用变量时，会用一个临时变量来保存该返回值；当函数的返回值是引用变量时，不使用临时变量，直接返回该引用”。

因为其重载的<<操作符的返回值是一个引用变量，因此不存在“3 非常量引用的初始值必须是左值”中提到的临时变量隐式转换的问题。该操作符return的是&os，其含义是os的地址，该地址是一个常量，即右值；而操作符返回值是一个非常量的引用，因此会产生“非常量引用的初始值必须是左值”的报错信息。

修改的方法为将重载的<<操作符的return改为

return os;

即可。