如何使用 Covariant 进行方法重写

Covariant（协变）是面向对象编程中的一个概念，它允许子类重写父类的方法以提供特定于子类的实现

1. 定义一个基类（BaseClass）：

public class BaseClass {
    public void doSomething() {
        System.out.println("BaseClass doSomething");
    }
}

2. 创建一个继承自基类的子类（DerivedClass）：

public class DerivedClass extends BaseClass {
    // 这里我们将重写父类的方法
}

3. 在子类中重写父类的方法：

public class DerivedClass extends BaseClass {
    @Override
    public void doSomething() {
        System.out.println("DerivedClass doSomething");
    }
}

在这个例子中，我们使用了@Override注解来明确表示我们要重写父类的方法。当子类提供了特定于自己的实现时，编译器会确保方法签名与父类中的方法完全一致，否则会报错。

现在，当你创建一个DerivedClass对象并调用doSomething()方法时，将执行子类中的实现：

public class Main {
    public static void main(String[] args) {
        DerivedClass derived = new DerivedClass();
        derived.doSomething(); // 输出 "DerivedClass doSomething"
    }
}

这就是使用Covariant进行方法重写的方法。请注意，协变仅适用于方法返回类型，而不适用于方法参数类型。