Java密封类型参数方法：为何无法用子类方法重写？

public class Main {
    public static void main(String[] args) {
        // 这是仅有的两个实现Parent的类的实例
        // `sealed` 关键字限定了不能有其他类实现Parent
        Child1 child1 = new Child1();
        Child2 child2 = new Child2();
        // 可以在myClass实例上调用myMethod(child1)和myMethod(child2)
        MyInterface myClass = new MyClass();
        myClass.myMethod(child1);
        myClass.myMethod(child2);
        // 也可以在myInterface实例上调用myMethod(child1)和myMethod(child2)
        MyInterface myInterface = new MyClass();
        myInterface.myMethod(child1);
        myInterface.myMethod(child2);
    }
}

sealed interface Parent {}
record Child1() implements Parent {}
record Child2() implements Parent {}

interface MyInterface {
    void myMethod(Parent parent);
}

// 为什么不能用myMethod(Child1 child1)和myMethod(Child2 child2)重写myMethod(Parent parent)？
// 既然Parent是密封类型，已经限定了所有实现类，这两个方法应该能覆盖所有情况了
class MyClass implements MyInterface {
    //@Override
    public void myMethod(Child1 child1) {
        System.out.println("Child1");
    }

    //@Override
    public void myMethod(Child2 child2) {
        System.out.println("Child2");
    }

    // 为什么声明了上面两个方法后，这个方法还是必须的？
    @Override
    public void myMethod(Parent parent) {
        if (parent instanceof Child1) {
            myMethod((Child1) parent);
        } else if (parent instanceof Child2) {
            myMethod((Child2) parent);
        }
    }
}

核心问题 #

在Java中，当接口方法的参数为密封类型（如示例中的Parent密封接口）时，为何实现类无法通过定义该密封类型子类参数的方法（如myMethod(Child1)、myMethod(Child2)）来重写原接口方法？既然密封类型已限定所有实现类，为何必须保留参数为Parent的myMethod方法，且不能为子类参数的方法添加@Override注解？

解答 #

1. 方法重写的规则限制 #

Java的方法重写严格遵循方法签名匹配规则：重写的方法必须和父接口/类中的方法具有完全一致的方法名、参数列表（包括参数类型、顺序），返回值类型也要兼容。

示例中MyInterface定义的方法是void myMethod(Parent parent)，而MyClass里的myMethod(Child1)、myMethod(Child2)参数类型是Parent的子类，属于方法重载而非重写——这两个方法是新增的、独立于接口方法的新方法，和接口的方法没有重写关系，自然不能加@Override注解。

2. 密封类型的作用边界 #

密封类型的核心作用是限制类型的继承/实现范围，让编译器能确定该类型的所有可能子类，但它并没有改变Java的方法重写规则。

当你通过MyInterface引用调用myMethod时，编译器只知道方法参数是Parent类型，它不会自动将Parent的调用分发到子类参数的方法上——因为接口定义的契约是“接受任意Parent实例”，实现类必须严格遵守这个契约，提供参数为Parent的方法来满足接口要求。

3. 替代方案：利用密封类型的模式匹配简化代码 #

虽然不能直接用子类参数方法重写，但可以借助Java 17+的密封类型模式匹配简化参数为Parent的方法实现，无需手动写instanceof判断：

@Override
public void myMethod(Parent parent) {
    switch (parent) {
        case Child1 c1 -> myMethod(c1);
        case Child2 c2 -> myMethod(c2);
        // 密封类型下，编译器会检查是否覆盖所有子类，无需default分支
    }
}

或者直接把逻辑写在switch分支里，省去重载的方法：

@Override
public void myMethod(Parent parent) {
    switch (parent) {
        case Child1 c1 -> System.out.println("Child1");
        case Child2 c2 -> System.out.println("Child2");
    }
}

内容的提问来源于Stack Exchange，提问作者Rik Schaaf