java - 为什么 int p = (p=1) + p;字段定义失败但在方法中可以吗？

Question

class Test{

    int p = (p=1) + p;   // ERR "Cannot reference a field before it is defined"
    int q = (q=1) + this.q; //fine!

    void f() {
        int t = (t=1) + t; // fine!
    }       
}

在第一种情况下，我的理解是:当执行赋值(或后续添加？)时，p 被视为未声明。

但为什么它在一个方法内是不同的呢？ OK t 不被视为未初始化，因为 (t=1) 在加法之前执行。好的，t 不是一个字段，但目前也没有声明!

我能以某种方式理解它吗？还是我只记住这个区别？

也许这也有点相关:

    static int x = Test.x + (x=1) + Test.x; // produces 2

    void f() {
       int y = y + (y=1) + y;  // ERR  local variable y may not have been initialized
   }

为什么是 2？首先 (x=1) 以某种方式被求值(x 没有被声明!!!)，然后它返回 1，现在 x 已经被赋值(!？)并且包含 1，所以两个 Test.x 都是 1，但是(x=1 ) 运算符也返回 1，因此结果应为 1 + 1 + 1 并且 3 应(重新分配)到 x 作为评估 Test.x + (x=1) + Test.x 表达式的结果。

部分答案:实际上，结果是特定于实现的。 JLS 仅保证计算二元运算符的操作数的顺序(从左到右)。但是如果我们有具有相同优先级的二元运算符(例如，加号)，则不能保证它们的求值顺序。 在我的例子中，加运算符首先被评估为最左边，这就是为什么 static "int x = Test.x (ZERO) + (x=1) + Test.x (IS 1 after (x=1));"是 0 + 1 + 1(记住，x=1 是一个返回指定值的运算符)。 同样在我的例子中，方法是“int y = y + (y=1) + y;”首先评估最左边的加号运算符(给出错误)，但是 如果 JVM 选择首先评估第二个加号运算符，那么它保证首先评估其左操作数并且 (y=1) 将使 y 变量初始化(因此代码会编译!)

我仍然不确定为什么 (x=1) 没有被视为未声明字段。我依稀记得 JLS 允许在 LHS 中使用未声明的变量(因此任何赋值都有效)，但在 RHS 中不允许(x++，int sth=x)。我可以使用以下代码片段记住它:

class Test {

    { x = 7; }  // fine! Initializer is like a regular method
    int x;

    static { y = 7; }  // fine! Initializer is like a regular method
    static int y;

附言这肯定不是 Default Values and Initialization in Java 的副本- 那里没有直接的解释。在这里，我们不仅需要默认值(对于 int 为零)规则，而且需要非常复杂组合中的许多不同规则(运算符优先级，尤其是一些罕见的赋值特性!)。我还知道这里的赋值优先级最低，赋值是一个运算符，它返回值!

Answer 1

阅读 Java Language Specification 中的局部变量声明范围.示例 6.3-2 中描述了您的具体问题。描述是这样的:

以下程序导致编译时错误，因为局部变量p的初始化在局部变量p的声明范围内，但是局部变量p 还没有值，不能使用。