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

Question

我一直在阅读布洛赫和加夫特的《Java谜题》，并找到了谜题10。这个谜题的本质是

为变量x和i提供声明，使其成为法律声明：

x = x + i;

但这不是：

x += i;

根据这本书，解决方案如下：

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

这本书声称，在=操作符中，只有当左手表达式的类型为字符串时，右手表达式才可以是任何类型。然而，我试图运行这段代码，它编译并运行时没有任何问题。

然后我深入研究了Java语言规范。第15.26.2节讨论了两种情况：当左手表达式是数组访问表达式时，当它不是。如果左手操作数表达式不是数组访问表达式，那么JLS没有说左手表达式是字符串。当它是字符串时，这部分适用：

如果T是引用类型，那么它必须是字符串。因为类String是最后一个类，所以S也必须是String。因此，对于简单赋值运算符有时需要的运行时检查，对于复合赋值运算符永远不需要。

❖ 数组组件的保存值和右侧操作数的值用于执行复合赋值运算符（必须为=）指示的二进制操作（字符串串联）。如果此操作突然完成，那么赋值表达式也会因为同样的原因突然完成，并且不会发生赋值。

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

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

但是，即使new Object（）远不是String，这个代码编译和运行也没有任何问题。

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




Answer 1

在Java6中，你可以说

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;

用Java7编译

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

指纹

java.lang.Object@a62b39fEffective Java!

但不适用于Java6更新37

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

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

我怀疑这意味着Java6没有遵循当前的JLS。它可能遵守了一个旧版本。

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

有一个暗示。这就是

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

这并不是

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

Answer 2

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

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

Answer 3

用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中的难题