八两

如果我们给出的关于变量 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类型。这项修
改将根除这个谜题所展示的违背直觉的行为。