/*
* 理解左值和右值
*
*
* 为什么要关心这个?
* 1. 有助于理解C++结构,搞明白编译器的错误和警告
* 2. C++ 11中引入了右值引用,理解左值右值是前提
*
*/
/*
* 简单的定义:
*
* 左值 - 在内存中具有可标识位置的对象
* 右值 - 任何不是左值的对象
*/
//左值的例子:
int i; // i是左值
int* p = &i; // i的地址是可标识的
i = 2; // 内存的内容改变
class dog;
dog d1; // 用户定义类型的左值
// C++代码中大多数变量是左值
//右值的例子:
int x = 2; // 2是右值
int x = i+2; // (i+2)是右值
int* p = &(i+2); // Error,地址不可标识
i+2 = 4; // Error 地址不可标识
2 = i; // Error
dog d1;
d1 = dog(); // dog()是用户定义类型的右值
int sum(int x, int y) { return x+y; }
int i = sum(3, 4); // sum(3, 4) 是右值
//右值: 2, i+2, dog(), sum(3,4), x+y
//左值: x, i, d1, p
//引用 (或者说左值引用):
int i;
int& r = i;
int& r = 5; // Error,引用不能赋值为左值,需要可标识的地址
//例外:常量左值引用可以赋值为右值
const int& r = 5; //
// 函数中的例子
int square(int& x) { return x*x; }
square(i); // OK
square(40); // Error
//解决方法:
int square(const int& x) { return x*x; } // square(40) and square(i) work
/*
* 左值可以用来生成右值
*/
int i = 1;
int x = i + 2;
int x = i;
/*
* 右值可以用来生成左值
*/
int v[3];
*(v+2) = 4;
/*
* 误解1:函数或运算符总是产生右值
*/
int x = i + 3;
int y = sum(3,4);
int myglobal ;
int& foo() {
return myglobal;
}
foo() = 50;
// 更常见的例子:
array[3] = 50; // 操作符[] 几乎总是返回左值
/*
* 误解2:左值都是可以修改的
*
*/
const int c = 1; // c是左值
c = 2; // Error, 但是c不能被修改
/*
* 误解3:右值不能被修改
*/
i + 3 = 6; // Error,内置类型的确不行
sum(3,4) = 7; // Error
// 对于用户定义类型不成立
class dog;
dog().bark(); // dog()是右值,bark() 可能修改dog对象的状态
/*
* 总结
*
* 1. 每个C++表达式生成一个左值或右值
* 2. 如果表达式有一个可以标识的内存地址,则它是左值;否则,是右值
*/