如果我们给出的关于变量 x 和 i 的声明是如下的合法语句:
x = x + i;
但是,它并不是:
x += i;
乍一看,这个谜题可能看起来与前面一个谜题相同。但是请放心,它们并不一样。
这两个谜题在哪一条语句必是合法的,以及哪一条语句必是不合法的方面,正好
相反。
就像前面的谜题一样,这个谜题也依赖于有关复合赋值操作符的规范中的细节。
二者的相似之处就此打住。基于前面的谜题,你可能会想:符合赋值操作符比简
单赋值操作符的限制要少一些。在一般情况下,这是对的,但是有这么一个领域,
在其中简单赋值操作符会显得更宽松一些。
复 合赋值操作符要求两个操作数都是原始类型的,例如 int,或包装了的原始类
型,例如 Integer,但是有一个例外:如果在+=操作符左侧的操作数是String
类型的,那么它允许右侧的操作数是任意类型,在这种情况下,该操作符执行的
是字符串连接操作。简单赋值操作符 (=)允许其左侧的是对象引用类型,这就
显得要宽松许多 了:你可以使用它们来表示任何你想要表示的内容,只要表达式
的右侧与左侧的变量是赋值兼容的即可。
你可以利用这一差异来解决该谜题。要想用 += 操作符来执行字符串连接操作,
你就必须将左侧的变量声明为String 类型。通过使用直接赋值操作符,字符串
连接的结果可以存放到一个O ject类型的变量中。
为了说得具体一些,并提供一个解决方案给这个谜题,假设我们在该谜题的两个
赋值表达式之前有下面这些声明:
O ject x = "Buy " ;
String i = "Effective Java!" ;
简单赋值是合法的,因为 x + i 是 String 类型的,而String 类型又是与O ject
赋值兼容的:
x = x + i;
复合赋值是非法的,因为左侧是一个O ject 引用类型,而右侧是一个String
类型:
x += i;
这个谜题对程序员来说几乎算不上什么教训。对语言设计者来说,加法的复合赋
值操作符应该在右侧是String 类型的情况下,允许左侧是O ject类型。这项修
改将根除这个谜题所展示的违背直觉的行为。