如何使 E1 += E2 非法而 E1 = E1 + E2 是合法的？

Question

我一直在阅读 Bloch 和 Gafter 的 Java Puzzlers 并进入了第 10 题（Tweedledee）。这个谜题的本质是

为变量 x 和 i 提供声明，这样这是一个法律声明：

x = x + i;

但这不是：

x += i;

根据这本书，解决方案看起来像这样：

Object x = "Buy ";
String i = "Effective Java!";

本书声称，在+= 运算符中，只有当左侧表达式的类型为String 时，右侧表达式才可以是任何类型。但是，我尝试运行这段代码，它编译并运行没有任何问题。

然后我深入研究了 Java 语言规范。第 15.26.2 节讨论了两种情况：左侧表达式是数组访问表达式时，以及不是。如果左侧操作数表达式不是数组访问表达式，则 JLS 不会说明左侧表达式是字符串。如果是，这部分适用：

如果 T 是引用类型，那么它必须是 String。因为类 String 是一个 final 类，S 也必须是 String。因此，运行时检查是 有时需要简单的赋值运算符，从不需要 复合赋值运算符。

❖ 数组组件的保存值和右手边的值 操作数用于执行二元运算（字符串连接） 由复合赋值运算符指示（这必然是 +=）。如果这个操作突然完成，那么赋值表达式 出于同样的原因突然完成并且没有分配发生。

这里的 T 是在编译时确定的左侧操作数的类型，而 S 是选定的数组组件。所以我想我会把我的代码修改成这样：

Object[] x = {new Object()};
String i = "Effective Java!";
x[0] += i;

但即使new Object() 甚至不是远程String，也可以毫无问题地编译和运行这段代码。

为什么会这样？这是否意味着 Java 编译器偏离了 JLS？是否还有可能以某种方式解决最初的难题？

Answer 1

尝试使用 javac

这是不同版本之间的变化。 1.4.2 的更改（x += i；之前允许，之后不允许）：
http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=4642850

这是正确的，因为 JLS 2. 版本定义：

所有复合赋值运算符都要求两个操作数都是原始类型， 除了 +=，它允许右手操作数是任何类型，如果左手 操作数是字符串类型。

对 7 的更改（x += i；以前不允许，以后允许）：
http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=4741726

自 JLS 3. 版本以来这是正确的（请参阅 http://docs.oracle.com/javase/specs/jls/se7/html/jls-15.html#jls-15.26 之前的先决条件已删除）

---

只是一个小编辑：我看不出有任何方法可以修复/解决 Java 7.0_10 中的难题

Answer 2

在 Java 6 中你可以说

Object x = 1;
String i = "i";
x = x + i; // compiles
x += i; // doesn't compile in Java 6, but does in Java 7.
System.out.println(x);

---

为什么会这样？

同理

x[0] = x[0] + i;

使用 Java 7 编译

Object[] x = {new Object()};
String i = "Effective Java!";
x[0] +=  i;
System.out.println(x[0]);

打印

java.lang.Object@a62b39fEffective Java!

但不适用于 Java 6 更新 37

    Error:Error:line (25)java: src\Main.java:25: incompatible types
found   : java.lang.Object
required: java.lang.String

这是否意味着 Java 编译器偏离了 JLS？

我怀疑这意味着 Java 6 不遵循当前的 JLS。它可能确实符合旧版本。

还有可能以某种方式解决最初的难题吗？

有提示。这样编译

char ch = '0';
ch *= 1.1;

这不是

char ch = '0';
ch = ch * 1.1;

Answer 3

我有以下内容，它将给定的解决方案显示为正确答案：

public class testIt
{
  public static void main(String args[])
  {
    new testIt();
  }

  public testIt()
  {
    Object x = "Buy";
    String i = "Effective Java!"

    x += i;

    x = x + i;
  }
}

当我编译这个时，我得到了

testIt.java:  incompatible types
found:     java.lang.Object
required:  java.lang.String;

  x += i;
  ^
1 error