C++ 中的左值和右值
简介
《C++ Primer》中左值和右值的描述如下:
C++ 的表达式要不然是右值(rvalue,读作"are-value"),要不然就是左值(lvalue,读作"ell-value").这两个名词是从C语言继承过来的,原来是为了帮助记忆:左值可以位于赋值语句的左侧,右值则不能.
在 C++ 语言中,两者的区别就没那么简单了.一个左值表达式的求值结果是一个对象或者一个函数,然而以常量对象为代表的某些左值实际上不能作为赋值语句的左侧运算对象.此外,虽然某些表达式的求值结果是对象,但是它们是右值而非左值.可以做一个简单的归纳:当一个对象被用作右值的时候,用的是对象的值(内容);当对象被用作左值的时候,用的是对象的身份(在内存中的位置).
通俗解释
int x = 666;
上述为一个常见的赋值初始化操.在其中x
是一个变量,是一个左值,使用的是它的内存地址.而666
是一个字面常量,没有指定的内存地址,使用的是它的值.
所以常见的错误解释如下:
/** 1 **/
int y;
666 = y; // error! 666 是右值,并没一个内存地址
/** 2 **/
int* p = &666; // error! 666 是右值,并没一个内存地址
/** 3 **/
int get_six(){
return 6;
}
get_six() = 3; // error! 返回值是右值,并没有一个内存地址
/** 4 **/
int& get_value(){
static value = 1;
return value;
}
get_value() = 666; // OK 返回值是一个引用,为左值
/** 5 **/
int& yref = 10; // error! 右值向左值的隐式转换
void fnc(int& x){
}
fnc(10); // error! 右值向左值的隐式转换
/** 6 **/
const int& ref = 10; // OK!
void fnc2(const int& x){
}
fnc2(10); // OK!
// const 指定为常量后, C++ 的编译器会创建一个隐藏变量(即左值),初始化储存的字面常量,然后将隐藏的变量绑定在引用上.