调用返回相同类型且与类型本身相同名称的变量的静态方法时，“变量 xxx 可能尚未初始化”

为什么会失败并出现如下所示的错误？我不确定在 JLS 中哪里可以找到执行此类操作的限制。

public class A {

    static A foo() {
        return null;
    }

    public static void main(String[] args) {
        A A = A.foo();
    }
}

编译时出错

A.java:14: error: variable A might not have been initialized
        A A = A.foo();
              ^
1 error

该变量隐藏了同名的类。这就是为什么有的部分原因命名约定.

正如 Patricia 在评论中指出的那样，这实际上在 JLS 中被称为遮蔽:

在这些情况下，规则§6.5指定将优先选择变量而不是类型，并且将优先选择类型而不是包。

在您的情况下，您会收到编译错误，因为变量隐藏了类型，因为声明是在方法调用之前处理的。这与执行以下操作相同：

public class A {
    public void foo() {
        String s = s.substring(0, s.length());
    }
}

你会得到同样类型的错误：

A.java:3: variable s might not have been initialized
        String s = s.substring(0, s.length());
                   ^
1 error
  

在评论中，你说你没有找到JLS说你的建筑违法的地方。它本身并不违法，但由于模糊而导致的结果才是非法的。考虑有 2 个类的情况，由于模糊，您还可能收到不需要的调用，这不是非法的，只是令人困惑：

public class A {
    public void foo() {
        System.out.println("A.foo()");
    }

    public static void main(String[] args) {
        A B = new A();
        B.foo();
    }

    public static class B {
        public static void foo() {
            System.out.println("B.foo()");
        }
    }
}

你认为输出是什么？

$ javac A.java
$ java A
A.foo()