Java 协变是什么

Java中的协变（Covariant）是面向对象编程中的一个重要概念，它允许子类继承或重写父类的方法时，可以改变方法返回值的类型。协变主要涉及到方法返回类型的协变和方法参数的协变。

1. 方法返回类型的协变： 当一个子类继承一个父类时，它可以提供一个特定于其自身类型的方法实现，该方法的返回类型可以是父类方法返回类型的子类型。这就是方法返回类型的协变。例如：

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

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

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

2. 方法参数的协变： 当一个子类继承一个父类时，它可以重写父类的方法，并改变方法的参数类型。但是，子类方法的参数类型必须是父类方法参数类型的子类型或者相同类型。这就是方法参数的协变。例如：

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

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

在这个例子中，Dog 类重写了 Animal 类的 makeSound() 方法，并将参数类型从 Animal 改为 Dog。这是方法参数的协变。

需要注意的是，协变只适用于方法返回类型和方法参数，而不适用于方法的访问修饰符、异常声明等。此外，协变要求子类方法的返回值类型和参数类型都必须是父类方法对应类型的子类型或相同类型，否则编译器会报错。