Question

我有一个名为Student的类和一个名为AthleteStudent的子类：

public class Student {

    protected String name;
    protected String age;

    public void hello () {
        system.out.println("Hello I'm Student");
    }

}

public class AthleteStudent extends Student  {

    protected String sport;

    public void hello () {
        system.out.println("Hello I'm AthleteStudent");
    }

    public void changeDepartement() {
        .....
    }

}

现在让我们来看看这些测试用例：

AthleteStudent ats = new AthleteStudent("test", 22, "Karate");
Student std;

std = ats;  // upcasting OK
/* ats and std point to the same object, i.e AthleteStudent */

ats.hello(); /* Hello I'm AthleteStudent => polymorphism OK */
std.hello(); /* Hello I'm AthleteStudent => polymorphism OK */

这里我不明白的是这个：

即使std引用AthleteStudent，我也无法访问方法changeDepartement()。

std.changeDepartement(); // Doesn't work

只有当我们像这样投射这个物体时才能运作

((AthleteStudent) std).changeDepartement(); // OK

为什么我们需要强制std成为AthleteStudent对象，因为它知道它被视为AthleteStudent个对象？在第一个示例中，std.hello()打印出AthleteStudent实现中没有问题的那个。

Answer 1

这不是多态性的丧失。这是duck typing的缺失。当编译器静态地只知道它是Student时，它不允许你调用非Student方法。即使您知道，在运行时，java的静态类型系统也可以使用。其他语言有鸭子打字，不关心。 Java不是其中之一。

Answer 2

std的类型为Student，它可能包含对不是AthleteStudent的对象的引用。因此，如果没有明确转换为std.changeDepartement()，则无法致电AthleteStudent。

多态性已经失去了铸造

2 个答案: