Java 协变与方法覆盖的区别

在 Java 中，协变和方法覆盖是两个重要的概念，它们在面向对象编程中扮演着不同的角色。下面分别解释这两个概念及其区别：

1. 协变（Covariant Return Types）： 协变是指子类可以继承父类的返回类型，并且子类可以重写父类的方法以返回更具体的类型。这意味着子类方法返回的对象类型可以是父类方法返回类型的子类型。协变仅适用于方法返回类型，不适用于方法参数和访问修饰符。

示例：

class Animal {
    public Animal get() {
        return this;
    }
}

class Dog extends Animal {
    @Override
    public Dog get() {
        return this;
    }
}

在这个例子中，Dog 类继承了 Animal 类，并重写了 get() 方法，返回类型为 Dog，这是 Animal 类型的一个子类型。这就是协变的例子。

2. 方法覆盖（Method Overriding）： 方法覆盖是指子类提供特定于其自身实现的一种方式，以覆盖父类中具有相同名称、相同参数列表和相同访问修饰符的方法。方法覆盖要求子类方法的返回类型必须与父类方法相同，或者为父类方法返回类型的子类型（协变）。此外，子类方法不能抛出比父类方法更宽泛的检查型异常。

示例：

class Animal {
    public void makeSound() {
        System.out.println("The animal makes a sound");
    }
}

class Dog extends Animal {
    @Override
    public void makeSound() {
        System.out.println("The dog barks");
    }
}

在这个例子中，Dog 类覆盖了 Animal 类的 makeSound() 方法，提供了特定的实现。注意，子类方法的返回类型与父类方法相同，都是 void。

总结一下，协变和方法覆盖的区别：

• 协变仅适用于方法返回类型，允许子类返回更具体的类型；而方法覆盖涉及方法名称、参数列表和访问修饰符的相同性。
• 协变要求子类方法返回类型为父类方法返回类型的子类型；方法覆盖要求子类方法的返回类型与父类方法相同或为其子类型（协变）。
• 方法覆盖要求子类方法不能抛出比父类方法更宽泛的检查型异常。