在Java多态性中，实现接口的所有类都可以创建为该类型接口吗？

Question

当我继续我的在线教程，我遇到了这一课。我有一个接口和两个实现该接口的类。

public interface Payable {
double getPaymentAmount();
}

null

    public static void main(String[] args) {
    Payable[] payableObjects = new Payable[4];
    payableObjects[0] = new Invoice("0000", "abc", 1,2);
    payableObjects[1] = new SalariedEmployee("test", "user", "000-000", 35);

• 这是因为所有的类都实现了接口Payve[]吗？
• 如果接口是在顶层层次结构中定义的，那么是否总是可以创建实现该接口的所有类的对象？

Answer 1

你的问题标题不符合语法，但这个词的选择表明你对概念有微妙的误解。

您只能将一个类创建为那个类。也就是说，您不能编写New Payer，也不能期望创建任何Invoice或SalarieDemployee对象。

但是您可以将对Payer的引用指向任何实现Payer的对象。这几乎是亚型多态性的基本思想。

然后，代码创建两个对象并将它们分配给其中的两个引用。这就像数组元素是自变量一样。（几乎是，但差异是由于数组协方差，这在这一点上并不重要。）特别是，new运算符的结果在第一种情况下具有invoice类型，而不是vaide类型。可以将发票分配给应付引用，但转换是在分配时进行的，而不是在创建时进行的。

因此，从技术上讲，标题问题的答案是“不，对象总是按照在new表达式中指定的类型创建，但您可以在之后转换引用”。