C++ 语言赋值运算符 - 连续赋值

C++ 语言赋值运算符 - 连续赋值

赋值运算符的左侧运算对象必须是一个可修改的左值。

	int i = 0, j = 0, k = 0;  // 初始化而非赋值
	const int len = i;  // 初始化而非赋值

下面的赋值语句都是非法的：

	1024 = k;  // 错误：字面值是右值
	i + j = k;  // 错误：算术表达式是右值
	len = k;   // 错误：len 是常量 (不可修改) 左值

赋值运算的结果是它的左侧运算对象，并且是一个左值，结果的类型是左侧运算对象的类型。如果赋值运算符的左右两个运算对象类型不同，则右侧运算对象将转换为左侧运算对象的类型：

    int i = 0, j = 0, k = 0;  // 初始化而非赋值
	k = 0;  // 结果类型是 int，值是 0
	k = 2.9f;  // 结果类型是 int，值是 2

C++11 允许使用花括号括起来的初始值列表作为赋值语句的右侧运算对象：

	int i = 0, j = 0, k = 0;
	const int len = i;
	k = { 2.9f };   // 错误：窄化转换
	vector<int> vi;  // 初始为空
	vi = { 0, 1, 2, 3 };  // vi 包含 4 个元素 0 1 2 3

如果左侧运算对象是内置类型，那么初始值列表最多只能包含一个值，而且该值即使转换的话其所占空间也不应该大于目标类型的空间。

对于类类型来说，赋值运算的细节由类本身决定。对于 vector 来说，vector 模板重载了赋值运算符并且可以接收初始值列表，当赋值发生时用右侧运算对象的元素替换左侧运算对象的元素。

无论左侧运算对象的类型是什么，初始值列表都可以为空。编译器创建一个值初始化的临时量并将其赋给左侧运算对象。

1. 赋值运算满足右结合律

赋值运算符满足右结合律：

	int ival, jval;
	ival = jval = 0;  // 正确：都被赋值为 0

赋值运算符满足右结合律，靠右的赋值运算 jval = 0 作为靠左的赋值运算符的右侧运算对象。因为赋值运算返回的是其左侧运算对象，所以靠右的赋值运算的结果 (即 jval) 被赋给了 ival。

对于多重赋值语句中的每一个对象，它的类型或者与右边对象的类型相同、或者可由右边对象的类型转换得到：

	int ival, *pval;   // ival 的类型是 int; pval 是指向 int 的指针
	ival = pval = 0;  // 错误：不能将指针的值赋给 int
	string s1, s2;
	s1 = s2 = "yongqiang";  // 字符串字面值 yongqiang 转换为 string 对象

因为 ival 和 pval 的类型不同，而且 pval 的类型 (int *) 无法转换成 ival 的类型 (int)。尽管 0 值可以赋给任何对象，但是第一条赋值语句仍然是非法的。

第二条赋值语句是合法的，字符串字面值可以转换成 string 对象并赋给 s2，而 s2 和 s1 的类型相同，所以 s2 的值可以继续赋给 s1。

2. 赋值运算优先级较低

赋值语句经常会出现在条件当中。因为赋值运算的优先级相对较低，所以通常需要给赋值部分加上括号使其符合我们的原意。下面的代码把赋值语句放在条件当中，目的是反复调用一个函数直到返回期望的值 96 为止：

	int ival = get_value();  // 获取第一个值

	while (ival != 96)
	{
		// 其它处理
		......

		ival = get_value();  // 获取剩下的值
	}

在这段代码中，首先调用 get_value 函数得到一个值，然后循环部分使用该值作为条件。在循环体内部，最后一条语句会再次调用 get_value 函数并不断重复循环。

	int ival;

	while ((ival = get_value()) != 96)
	{
		// 其它处理
		......

	}

不断循环读取数据直至遇到 96 为止。处理过程是首先将 get_value 函数的返回值赋给 i，然后比较 i 和 96 是否相等。

如果不加括号的话含义会有很大变化，比较运算符 != 的运算对象将是 get_value 函数的返回值和 96，比较的结果不论真假将以布尔值的形式赋值给 i，这显然不是我们期望的结果。

因为赋值运算符的优先级低于关系运算符的优先级，所以在条件语句中，赋值部分通常应该加上括号

相等运算符和赋值运算符
C++ 语言允许用赋值运算作为条件，但是这一特性可能带来意想不到的后果：

	if (ival = jval)

此时，if 语句的条件部分把 jval 的值赋给 ival，然后检查赋值的结果是否为真。如果 jval 不为 0，条件将为真。然而程序员的初衷很可能是想判断 ival 和 jval 是否相等：

	if (ival == jval)

程序的这种缺陷显然很难被发现。

3. 复合赋值运算符

对对象施以某种运算，然后把计算的结果再赋给该对象。

	int sum = 0;

	// 计算从 1 到 10 (包含 10 在内) 的和
	for (int val = 1; val <= 10; ++val)
	{
		sum += val;  // 等价于 sum = sum + val
	}

	+=  -=  *=  /=  %=  // 算术运算符
	<<=  >>=  &=  ^=  |=  // 位运算符

任意一种复合运算符都完全等价于

	a = a op b;

区别是左侧运算对象的求值次数：使用复合运算符只求值一次，使用普通的运算符则求值两次。这两次包括，一次是作为右边子表达式的一部分求值，另一次是作为赋值运算的左侧运算对象求值。除了对程序性能有些许影响外几乎可以忽略不计。

References

(美) Stanley B. Lippman, (美) Josée Lajoie, (美) Barbara E. Moo 著, 王刚, 杨巨峰 译. C++ Primer 中文版[M]. 第 5 版. 电子工业出版社, 2013.
https://www.informit.com/store/c-plus-plus-primer-9780321714114