C++Tricks31左值右值与常量性(lvalue，rvalueconstant).PDF

C++
Tricks
3.1
左值 右值与常量性 (lvalue，rvalue
constant)


导⼊ 3.1
左值右值与常量性 (lvalue，rvalue
constant) ⾸先要搞清楚的是，什么是左值，什么是右值。这 ⾥给出左值右值的定义 ： 1、左值是可以出现在等号(=)左边的值，右值是只能 出现在等号右边的值。 2、左值是可读可写的值，右值是只读的值。 3、左值有地址，右值没有地址。 根据左值右值的第⼆定义，值的左右性就是值的常 量性——常量是右值，⾮常量是左值。⽐如 ： 1=1;//Error 这个复制操作在C++中是语法错误，MSVC给出的错 误提⽰为“error
C2106:
=
:
left
operand
must
be
l- value”，就是说’=’的左操作数必须是⼀个左值，⽽字⾯ 常数1是⼀个右值。可⻅，严格的区分左值右值可以 语 法分析的⾓度找出程序的逻辑错误。 根据第⼆定义，⼀个左值也是⼀个右值，因为左值 也可读，⽽⼀个右值不是⼀个左值，因为右值不可写。 通常情况下，声明的变量是⼀个左值，除⾮你指定 const将它变成⼀个右值 ： int
lv=1; const
int
rv=lv; 由于右值的值在程序执⾏期间不能改变，所以必须 ⽤另⼀个右值初始化它。 ⼀个普通变量只能⽤右值初始化，如果你想传递左 值，必须声明⼀个引⽤或⼀个指针 ： int

ref=lv;//⽤引⽤传递左值 int
*
plv=lv;//传递指针以间接传递左值 必须⽤左值初始化引⽤，然⽽，可以⽤右值初始化 常量引⽤ ： int

r1=1;
//Error! const
int

r2=1;
//OK 这实际上相当于 ： int
_r2=1; const
int

r2=_r2; 这样的写法在函数体内没什么作⽤，但是在传递函 数参数时，它可以避免潜在的(传递左值时的)复制操作， 同时⼜可以接受右值。 通常情况下，函数的参数和返回值都只传回右值， 除⾮你明确的通过引⽤传递左值。 明确了左值与右值的区别，有助于我们写函数时确 定什么时候应该有const，什么时候不该有。⽐如，我们 写了⼀个代表数学中复数的类Complex ： class
Complex; 然后，我们写针对Complex的运算符重载 ： operator+和operator=。问题在于，参数和返回值应该 是什么类型，可选类型有四种 ：
Complex、const Complex、Complex、const
Complex。 对于operator+，我们不会改变参数的值，所以可以 通过const
Complex传递参数。⾄于返回值类型，由于 int类型的加法返回右值，所以根据Do
as
the
ints
do的 原则，返回值类型为const
Complex ： const
Complex
operator+(const
Complex,const Complex); 对于operator=，同样要思考这些问题。我们写⼊第 ⼀个参数，所以第⼀个参数为Complex，我们只读取第 ⼆个参数，所以第⼆个参数为const
Complex。⾄于返 回值，还是Do
as
the
ints
的赋值返回左值，不 信你可以试⼀试 ： int
i; (i=1)=2; 虽然⽐较傻，先将i赋为1，再将其改为2，但是这是 被C++语法⽀持的做法，我们就理应遵守。所以返回第⼀ 个参数的左值 ： Complex
operator=(Complex,const Complex); const是C++引⼊的语⾔特性，也被ANSI
C99借鉴， 在经典版本的C语⾔中是没有的。关于const的历史，有 ⼏点值得玩味。最初Bjarne
Stroustrup引⼊const时，可 写性是和可读性分开的。那时使⽤关键字readonly和 writeonly。这个特点被⾸先提交到C的ANSI标准化委员 会(当时还没有C++标准化的计划)，但是ANSI
C标准只接 受了readonly的概念，并将其命名为const。随后，有⼈