Java 代码编译但产生 IllegalAccessError

Question

在下面的代码中，我给出了两个主要类 - TestWorks 和 TestCompilesButFails。我不确定我是否理解失败 - 似乎 Arrays.asList() 表达式被赋予“AbstractBaseClass 列表”类型，但为什么在这里给出引用包​​本地类的类型是正确的在另一个包中？

// failing test class
import somepackage.*;
import java.util.Arrays;

public class TestCompilesButFails {
    public static void main(String [] args){
        // fails here with java.lang.IllegalAccessError: 
        // tried to access class somepackage.AbstractBaseClass 
        // from class TestCompilesButFails
        for (Object o : Arrays.asList(new ConcreteA(), new ConcreteB())) { 
            System.out.println(o);
        }
    }
}


// package-local abstract base class
package somepackage;

abstract class AbstractBaseClass {
    public abstract void doSomething();
}

// next two classes - public extenders of abstract base class
package somepackage;

public class ConcreteA extends AbstractBaseClass {
    public void doSomething(){
        System.out.print("Look, ma!\n");
    }
}

package somepackage;

public class ConcreteB extends AbstractBaseClass {
    public void doSomething(){
        System.out.print("No types!\n");
    }
}

// working test 
import somepackage.*;

public class TestWorks {
    public static void main(String [] args){
        new ConcreteA().doSomething();
        new ConcreteB().doSomething();
    }
}

Answer 1

因为Java语言规范中的类型推断算法specified没有考虑类型可见性：

超类型约束 T :> X 暗示解是 X 的超类型之一。给定 T 上的几个这样的约束，我们可以与每个约束隐含的超类型集合相交，因为类型参数必须是成员他们所有人中。然后我们可以选择交叉路口中最具体的类型。

至于他们为什么这样定义它，我怀疑这是为了避免为了处理罕见的极端情况而使已经相当复杂的算法变得更加复杂。毕竟他们也写：

还要注意，类型推断不会以任何方式影响可靠性。如果推断的类型是无意义的，则调用将产生类型错误。类型推断算法应该被视为一种启发式算法，旨在在实践中表现良好。如果它无法推断出所需的结果，则可以使用显式类型参数。

在你的情况下是：

    for (Object o : Arrays.<Object>asList(new ConcreteA(), new ConcreteB())) { 
        System.out.println(o);
    }

Answer 2

我认为你指的是java的“包保护”分类；因此，未声明为公共、私有或受保护的方法或变量是“包保护的”，因此可以被该包中的任何类访问。它并没有被太多使用（谢天谢地），我认为它不是一个好的默认值，但从 Java 1.0 开始就是这样。