54

有人可以向我解释为什么以下两个示例中的第一个可以编译，而第二个没有？请注意，唯一的区别是第一个用 '.this' 明确限定了对 x 的引用，而第二个没有。在这两种情况下，最终字段 x 显然都在初始化之前尝试使用。

我原以为这两个样本会被完全平等地对待，导致两者都出现编译错误。

1)

public class Foo {
    private final int x;
    private Foo() {
        int y = 2 * this.x;
        x = 5;
    }
}

2)

public class Foo {
    private final int x;
    private Foo() {
        int y = 2 * x;
        x = 5;
    }
}
4

4 回答 4

39

经过大量的规范阅读和思考，我得出结论：

在 Java 5 或 Java 6 编译器中，这是正确的行为。第 16 章“ Java 语言规范的明确分配，第三版说：

当发生对其值的任何访问时，每个局部变量（§14.4）和每个空白final （§4.12.4）字段（§8.3.1.2）都必须具有明确分配的值。对其值的访问由出现在表达式中任何位置的变量的简单名称组成，除了作为简单赋值运算符的左侧操作数=。

（强调我的）。所以在表达式2 * this.x中，该this.x部分不被认为是“访问 [ x's] 值”（因此不受明确赋值规则的约束），因为this.x它不是实例变量的简单名称x。（请注意，在上面引用的文本之后的段落中，发生明确分配时的规则确实允许类似的内容this.x = 3，并认为x此后被明确分配；这只是不计入访问的规则this.x。）请注意，该值在这种情况下，根据§17.5.2this.x将为零。

在 Java 7 编译器中，这是一个编译器错误，但可以理解。Java 7 SE 版Java 语言规范的第 16 章“明确赋值”说：

每个局部变量 ( §14.4 ) 和每个空白final字段 ( §4.12.4 , §8.3.1.2 )在发生对其值的任何访问时都必须具有明确分配的值。

对其值的访问包括变量的简单名称（或者，对于字段，由 限定的字段的简单名称this）出现在表达式中的任何位置，除了作为简单赋值运算符的左侧操作数=（第15.26 节）。 1 )。

（强调我的）。所以在表达式2 * this.x中，该this.x部分应该被认为是“访问 [ x's] 值”，并且应该给出编译错误。

但是你没有问第一个是否应该编译，你问它为什么编译（在某些编译器中）。这必然是推测性的，但我会做出两个猜测：

  1. 大多数 Java 7 编译器都是通过修改 Java 6 编译器编写的。一些编译器编写者可能没有注意到这种变化。此外，许多 Java-7 编译器和 IDE 仍然支持 Java 6，并且一些编译器编写者可能没有动力专门拒绝他们在 Java-6 模式中接受的 Java-7 模式中的某些内容。
  2. 新的 Java 7 行为奇怪地不一致。like(false ? null : this).x仍然是允许的，就此而言， even(this).x仍然是允许的；只有特定的标记序列this加上.受此更改影响的字段名称。诚然，这样的不一致已经存在于赋值语句的左侧（我们可以写this.x = 3，但不能写(this).x = 3），但这更容易理解：它被接受this.x = 3为其他被禁止的构造的特殊允许情况obj.x = 3。允许这样做是有道理的。但我认为拒绝2 * this.x作为其他允许的结构的特殊禁止情况是没有意义的2 * obj.x，假设（1）这个特殊的禁止情况很容易通过添加括号来解决，（2）这种特殊的禁止情况在以前的语言版本中是允许的，并且（3）我们仍然需要final字段具有它们的特殊规则默认值（例如0对于 an int）直到它们被初始化，这既是因为像这样的情况(this).x，也是因为像this.foo()where foo()is a method that accesses这样的情况x。因此，一些编译器编写者可能没有动力做出这种不一致的更改。

其中任何一个都会令人惊讶——我假设编译器编写者对规范的每一次更改都有详细的信息，并且根据我的经验，Java 编译器通常非常擅长完全遵守规范（不像某些语言，每个编译器都有自己的自己的方言）——但是，好吧，发生了一些事情，以上是我唯一的两个猜测。

于 2012-12-13T19:29:33.437 回答
2

当您this在构造函数中使用时，编译器将其视为 object (default initialized)x的成员属性。由于is ，它默认初始化为. 这使编译器感到高兴，并且在运行时也可以正常工作。this xint0

当您不使用this时，编译器会x直接在词法分析中使用声明，因此它会抱怨它的初始化（编译时现象）。

所以它的定义this，使得编译器在编译x中的词法分析时，将其作为对象的成员变量而不是直接属性进行分析，从而导致不同的编译行为。

当用作主要表达式时，关键字 this 表示一个值，该值是对调用实例方法的对象（第 15.12 节）或正在构造的对象的引用。

于 2012-12-13T16:53:14.043 回答
-1

我认为编译器估计编写 this.x 意味着存在“this”，因此调用了构造函数（并且已初始化最终变量）。但是在尝试运行它时你应该得到一个 RuntimeException

于 2012-12-13T16:52:38.657 回答
-1

我假设您指的是 Eclipse 中的行为。（如评论所述，使用 javac 编译可以工作）。

我认为这是一个 Eclipse 问题。它有自己的编译器和自己的一套规则。其中之一是您可能无法访问未初始化的字段，尽管 Java 编译器会为您初始化变量。

于 2012-12-13T16:56:55.067 回答