父类的子类的 Java 模式匹配

我有一个Parent班级和一个extends Parent名为Child. 我有一个run可以采用 aParent或Childinstance 的方法。我Child使用代码创建了一个实例Parent child = new Child()。请参阅下面的代码。

我希望代码输出“你是孩子”，但我收到“你是父母”。我明白这背后的原因，但我不知道我会用什么来使Child的实施run执行。

在我的系统中，我将有多个继承自的“子”类Parent和run满足每个“子”类的多个方法。因此，转换将不起作用，因此如果您在解决方案中包含转换，恐怕它对我没有帮助。我对此的灵感或多或少来自 Haskell 等语言中的模式匹配。

public class Child extends Parent {
    public static void main(String[] args) {
        Parent child = new Child();
        run(child);
    }

    public static void run(Child child) {
        System.out.println("You are a child");
    }

    public static void run(Parent parent) {
        System.out.println("You are a parent");
    }
}