Java 静态导入

Question

通过实验，我发现 Java 非静态方法会覆盖范围内所有相同命名的方法，即使在静态上下文中也是如此。即使不允许参数重载。就像

import java.util.Arrays;    
import static java.util.Arrays.toString;

public class A {
    public static void bar(Object... args) {
        Arrays.toString(args);
        toString(args);     //toString() in java.lang.Object cannot be applied to (java.lang.Object[])
    }
}

我在规范中找不到任何关于此的信息。这是一个错误吗？如果不是，是否有任何理由实施这样的语言？

UPD：Java 6 不编译此示例。问题是 - 为什么？

Answer 1

解释很简单，但它并没有改变行为非常不直观的事实：

在解析要调用的方法时，编译器要做的第一件事就是找到具有正确名称的方法的最小封闭范围。然后才会出现其他事情，例如游戏中的重载解析和合作。

现在这里发生的事情是，包含 toString() 方法的最小封闭范围是从 Object 继承它的类 A。因此我们就停在那里，不再继续搜索。遗憾的是，接下来编译器尝试在给定范围内找到最适合的方法，并注意到它无法调用其中任何一个并给出错误。

这意味着永远不要静态导入名称与 Object 中的方法相同的方法，因为自然在范围内的方法优先于静态导入（JLS 描述了方法遮蔽）详细，但对于这个问题，我认为记住这一点要简单得多）。

编辑：@alf 请提交 JLS 的正确部分，为那些想要了解整个情况的人描述了方法调用。这是相当复杂的，但问题也不简单，所以这是可以预料的。

Answer 2

这不是覆盖。如果它确实有效，this.toString() 仍然会访问 A 的方法，而不是 Arrays.toString ，就像重写时的情况一样已经发生了。

语言规范解释说静态导入仅影响static 方法和类型的解析：

包 p 的编译单元 c 中的单静态导入声明 d 导入名为 n 的字段，在整个 c 中隐藏由 c 中的静态导入按需声明导入的任何名为 n 的静态字段的声明.

包 p 的编译单元 c 中的单静态导入声明 d 导入带有签名 s 的名为 n 的方法，该声明会遮蔽由 a 导入的带有签名 s 的任何静态方法的声明c 中的静态导入按需声明，贯穿整个 c。

包 p 的编译单元 c 中的单静态导入声明 d 导入名为 n 的类型，遮蔽了以下声明：

• 由 c 中的静态导入按需声明导入的任何名为 n 的静态类型。
• 在 p 的另一个编译单元 (§7.3) 中声明的任何名为 n 的顶级类型 (§7.6)。
• 由 c 中的类型导入按需声明（第 7.5.2 节）导入的任何名为 n 的类型。
  整个c.

静态导入不会隐藏非静态方法或内部类型。

因此 toString 不会隐藏非静态方法。由于名称 toString 可以引用 A 的非静态方法，因此它不能引用 Arrays< 的 static 方法/code> ，因此 toString 绑定到范围内可用的唯一名为 toString 的方法，即 String toString()。该方法不能接受任何参数，因此您会收到编译错误。

第 15.12.1 节 解释了方法解析并会必须完全重写，以允许隐藏 static 方法中不可用的方法名称，但不能隐藏 member 方法中的方法名称。

我的猜测是，语言设计者希望保持方法解析规则简单，这意味着相同的名称无论是否出现在静态方法中都意味着相同的事情，唯一改变的是哪个可用。

Answer 3

如果您尝试遵循类似的代码，那么您将不会收到任何编译器错误。

import static java.util.Arrays.sort;
public class StaticImport {
    public void bar(int... args) {
        sort(args); // will call Array.sort
    }
}

此代码可以编译而您的代码不能编译的原因是toString() （或 Object 类中定义的任何其他方法）的作用域仍然是 Object 类，因为 Object 是您的类的父类。因此，当编译器从 Object 类中找到这些方法的匹配签名时，它会给出编译器错误。在我的示例中，由于 Object 类没有 sort(int[]) 方法，因此编译器会将其与静态导入正确匹配。

Answer 4

我不认为这是一个错误或与正常导入不同的东西。例如，在正常导入的情况下，如果您有一个与导入的私有类同名的私有类，则导入的私有类将不会被反映。