为何重写方法无法修改返回类型（协变返回类型除外）？附代码执行步骤确认

首先得明确：Java的多态设计核心是类型安全，而向上转型是多态的基础——我们经常会用父类引用指向子类对象，比如Parent p = new Child();。这时候编译器只会根据父类的方法签名做静态检查，运行时才会动态调用子类的实现。如果子类重写方法时随便改返回类型（非协变），就会彻底打破这个类型安全机制。

会导致运行时崩溃的示例 #

假设我们强行绕过编译限制（比如用字节码修改工具），编写如下代码：

class Parent {
    public Object getResult() {
        return "来自父类的字符串";
    }
}

class Child extends Parent {
    // 违反重写规则：父类返回Object，子类返回Integer（非协变），正常编译会直接报错
    public Integer getResult() {
        return 999;
    }
}

public class TestCrash {
    public static void main(String[] args) {
        Parent p = new Child();
        // 编译器认为p.getResult()返回Object，我们强转成String
        String result = (String) p.getResult();
        System.out.println(result);
    }
}

当这段代码运行时，JVM实际调用的是Child类的getResult()方法，它返回的是Integer类型，但我们试图把它转成String，直接就会抛出ClassCastException，程序崩溃。

正常情况下Java编译器会直接阻止这种写法——你写子类的getResult()返回Integer时，编译器会提示“重写的方法返回类型不兼容”，根本不让你通过编译，这其实是Java在帮你提前避免运行时的类型崩溃。

关于你给出的代码与执行步骤 #

你写的这段代码：

class Parent{ public void sayhello(){ ... }; }
class Child extends Parent{ public String sayhello() { . . .} }

其实编译阶段就会报错，因为父类的sayhello()返回void，子类返回String，这完全不属于协变返回类型（协变要求子类返回类型是父类返回类型的子类，比如父类返回Object，子类返回String），编译器直接就会拒绝编译，根本到不了运行时执行那四个步骤的阶段。

不过如果是合法的协变重写（比如父类返回Object，子类返回String），你列出的四个步骤是完全正确的：

• 编译器识别对象p的静态类型为Parent；
• 编译器检查Parent类中确实存在sayHello()方法，参数列表匹配；
• 运行时，JVM通过动态绑定发现p实际指向的是Child对象，因此调用子类的sayHello()实现；
• 子类的方法逻辑被执行。

内容的提问来源于stack exchange，提问作者lynxx