Javac 在交集类型上“尝试分配较弱的访问权限”失败

Question

考虑这个 Java 程序：

public class IntersectionBug {

    public static interface FooInterface {
        public void foo();
    }

    public static class FooSupport {
        protected void foo() {
        }
    }

    public static class Whatever<T extends FooSupport & FooInterface> {
    }
}

在JDK 1.8编译器下编译失败：

$ javac IntersectionBug.java
IntersectionBug.java:12: error: foo() in FooSupport cannot implement foo() in FooInterface
    public static class Whatever<T extends FooSupport & FooInterface> {
                                 ^
  attempting to assign weaker access privileges; was public
1 error

显然，如果某个类型 T 既是 FooSupport 又是 FooInterface，那么它必须有 public void foo()，所以错误是假的。

我的问题：这是编译器错误，还是 JLS 真的指定该程序无效？如果是后者，为什么这里的 JLS 行为是次优的？

Answer 1

JLS §4.9 通过概念类的概念定义交集类型及其成员。在您的特定情况下，名义类是：

class <notional> extends FooSupport implements FooInterface {}

请注意空的类主体。

JLS 段落旨在暗示概念类必须是格式良好的，否则会发生编译错误。显然，继承公共接口方法的受保护实现的类的格式不正确。

我同意可能有其他方法来指定一个交集类型，允许 FooSupport 的未知子类通过覆盖具有公共可见性的方法来解决上述冲突。

我相信选择通过概念类进行定义的风格是为了避免复杂性。看看 §4.9 与其他定义相比有多简洁。

PS：ecj 也拒绝了你的例子，说：

继承的方法IntersectionBug.FooSupport.foo()不能隐藏IntersectionBug.FooInterface中的公共抽象方法