java多态别别问题

Object类定义了一个equals()方法：

class Object {
    public boolean equals(Object obj) {...}
}

定义类A时,它从Object继承equals例程.您定义了一个新的equals,但参数类型不同,因此它不会覆盖Object中的那个;相反,它变成了一个过载.结果是A有两个重载的equals方法：

class A {
    public boolean equals(Object obj) {...}  // inherited
    public boolean equals(A other) {...}     // the one you wrote
}

类似地,B中的equals不会覆盖equals,所以结果是三次重载equals方法：

class B {
    public boolean equals(Object obj) {...}  // inherited from Object
    public boolean equals(A other) {...}     // inherited from A
    public boolean equals(B other) {...}     // doesn't override anything
}

在C类中,新的equals方法会覆盖Object中的那个,因此仍然有三个equals方法：

class C {
    public boolean equals(Object other) {...}  // overrides the one in Object
    public boolean equals(A other) {...}       // inherited from A
    public boolean equals(B other) {...}       // inherited from B
}

现在,这是你的代码：

A a = new A();
C c = new C();
a=c;
System.out.println(a.equals(c));

当你说a.equals(c)时,编译器会看到a有一个类型A.因此,它会查看A中的方法以查看要执行的方法. (编译器不知道a在运行时会有类型C;因此,它不会查看C中的方法.)

有两种方法可供选择,如上所示：

public boolean equals(Object obj) {...}  // inherited
    public boolean equals(A other) {...}     // the one you wrote

它们都可以用在参数c上,因为c是一个Object而且它是A.在这种情况下,当一个参数是另一个参数的子类时,编译器实质上会选择“最接近的”. C只是远离A的两个子类,它是远离Object的三个子类,因此它选择带参数A的重载,这是你在A中定义的.并注意,这个equals方法从未被覆盖.所以它执行你在A类中编写的代码.

但是假设你写了：

System.out.println(a.equals((Object)c));

通过将c转换为Object,您迫使编译器将其视为Object.现在当它在重载之间进行选择时,它必须选择具有Object参数的那个,因为Object不能自动转换为A(因为并非每个Object都是A).因此,它会选择继承的方法.而且,因为在运行时,对象实际上是C类,并且由于类C有一个等于Object的equals方法,在这种情况下它会执行C语言编写的代码.

您的代码是演示重载和覆盖工作方式的一个很好的示例.但是,在现实生活中,编写一个equals()方法是一个坏主意,该方法的参数不是Object,因为它不会覆盖并且可能导致混淆.此外,将@Override放在您认为会覆盖超类中的方法的任何方法上都是一种很好的做法.这样,如果你使用错误的参数,编译器会在你遇到一个很难追查的运行时错误之前捕获它.