非常量引用的初始值必须为左值

今天碰到了这个问题,回顾一下概念:

左值与右值

根据C++Primer第五版,当一个对象被用作右值的时候,用的是对象的值,当对象被用作左值的时候,用的是对象的身份;

下面这个函数就是正确的

#include<iostream>

int function(int a)
{
  return a;
}

int main()
{
  int a = 5;
  function(a);         
  function(1);
}

而这个就是错误的 

#include<iostream>

int function(int &a)
{
  return a;
}

int main()
{
  int a = 5;
  function(a);           
  function(1);//这一句会报错
}

报错如下:

无法将参数1从Int转换为“int &”,非常量引用的初始值必须为左值

这里的左值,可以理解为在内存中有具体的地址变量,而不是一个短暂的临时变量。

这个左右,可以理解为,在赋值号“=” 的左边,为左值,在等号右边,为右值,但这个左右并不是绝对的。

在第一个例子里,function(int a)的参数为实参,如果传入一个1,函数会创建一个有地址的局部变量a,对a进行赋值,让 a= 1,这里的a是一个左值,所以程序能正确运行,但在第二个例子里,function(int &a)的参数为一个地址,function会根据这个地址去取对应的值,但是我们传入的参数是数字1,这个1显然不是左值,因为它不是变量,没有地址,function根据地址找不到对应的变量,自然会报错。

 

如果单纯想知道报错是为什么原因,那么看到这里就OK了,如果想继续了解左值、左值引用与右值引用可以接着往下看


OK,在了解了左值和右值的概念后,下面来做一组判断,下面代码一共有五个等号,分别判断等号两边的是左值还是右值:

int a = 10;
int c = a;
std::string s1 = "Hello";
std::string s2 = "World";
std::string s3 = s1 + s2;

从等号的左边到右边的答案依次是:

int a = 10; // a左值,10右值
int c = a;  // c左值,a左值
std::string s1 = "Hello"; // s1左值,"Hello"右值
std::string s2 = "World"; // s2左值,"World"右值
std::string s3 = s1 + s2; // s3左值,s1 + s2右值

值得注意的是第二行和第五行,int c = a,由于两边都是变量,都有其存储空间,所以都是左值

但是第五行里,s1和s2都是左值,都有其存储空间,但是s1 + s2就不是左值了,因为相加得到的结果是一个临时变量,会被赋给s3。

 

左值引用与右值引用

左值引用,顾名思义就是对左值变量的引用,右值引用同理

int &a = 10; // 报错,因为无法创建一个左值的引用指向一个右值

int& GetValue(int& n)
{
    return 10; // 报错,返回的不是左值引用
}


int& GetValue(int& n)
{
    static int a = 10;
    return a; // 正确,a是左值,返回的是左值引用
}

注意,通过关键字const,我们可以实现如下的功能:

const int &a = 10; //正确

这一行代码实际上相当于,这也就是const特殊的地方:

int temp = 10;
const int &a = temp;

所以说,如果对于之前的例子,我们可以通过const关键字让程序正常运行:

#include<iostream>

int function(const int &a)
{
  return a;
}

int main()
{
  int a = 5;
  function(a);           
  function(1); // 这一句不会再报错,能正常运行
}

 

 

 

 

 

 

 

 

 

posted @ 2018-04-20 11:58  弹吉他的小刘鸭  阅读(3707)  评论(0编辑  收藏  举报