为什么这段Java代码可以编译？

2024-03-27

在方法或类范围内，下面的行将进行编译（带有警告）：

int x = x = 1;

在班级范围内，变量获取默认值的地方，以下给出“未定义的引用”错误：

int x = x + 1;

这不是第一个吗x = x = 1应该最终出现相同的“未定义引用”错误吗？或者也许是第二行int x = x + 1应该编译吗？或者我缺少什么？

tl;dr

For fields, int b = b + 1是非法的，因为b是非法的前向引用b。你实际上可以通过写来解决这个问题int b = this.b + 1，编译时没有任何抱怨。

For 局部变量, int d = d + 1是非法的，因为d使用前未初始化。这是not字段的情况就是这样，它们总是默认初始化的。

您可以通过尝试编译来看到差异

int x = (x = 1) + x;

作为字段声明和局部变量声明。前者会失败，但后者会成功，因为语义上的差异。

介绍

首先，字段和局部变量初始值设定项的规则非常不同。因此，这个答案将分两部分解决规则。

我们将在整个过程中使用这个测试程序：

public class test {
    int a = a = 1;
    int b = b + 1;
    public static void Main(String[] args) {
        int c = c = 1;
        int d = d + 1;
    }
}

的声明b无效并失败并显示illegal forward reference error.
的声明d无效并失败并显示variable d might not have been initialized error.

这些错误不同的事实应该暗示错误的原因也不同。

Fields

Java 中的字段初始值设定项由以下规则控制JLS §8.3.2 http://docs.oracle.com/javase/specs/jls/se7/html/jls-8.html#jls-8.3.2，字段初始化。

The scope字段的定义是JLS §6.3 http://docs.oracle.com/javase/specs/jls/se7/html/jls-6.html#jls-6.3，声明的范围。

局部变量

局部变量声明受以下约束JLS§14.4 http://docs.oracle.com/javase/specs/jls/se7/html/jls-14.html#jls-14.4，局部变量声明语句。

The scope局部变量的定义在JLS §6.3 http://docs.oracle.com/javase/specs/jls/se7/html/jls-6.html#jls-6.3, 声明范围：

块中局部变量声明的范围（第 14.4 节）是该声明出现的块的其余部分，从其自己的初始值设定项开始，并包括局部变量声明语句右侧的任何其他声明符。

请注意，初始值设定项位于所声明的变量的范围内。那么为什么不呢int d = d + 1;编译？

原因是Java的规则明确的分配 (JLS §16 http://docs.oracle.com/javase/specs/jls/se7/html/jls-16.html）。明确赋值基本上是说，对局部变量的每次访问都必须先对该变量进行赋值，并且 Java 编译器会检查循环和分支以确保赋值always发生在任何使用之前（这就是为什么明确赋值有一个专门的规范部分）。基本规则是：

对于局部变量或空白最终字段的每次访问x, x必须在访问之前明确赋值，否则会发生编译时错误。

In int d = d + 1;，访问d很好地解析为局部变量，但是因为d之前没有被分配过d被访问时，编译器会发出错误。在int c = c = 1, c = 1首先发生，这会分配c，进而c被初始化为该赋值的结果（即 1）。

请注意，由于明确的赋值规则，局部变量声明int d = (d = 1) + d; will编译成功（unlike字段声明int b = (b = 1) + b），因为d肯定是在决赛时分配的d到达了。

本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)

Java

compilerconstruction