Java 协变在接口中的体现

在 Java 中，协变（covariance）是指子类对象可以赋值给父类引用，而不会导致类型转换错误。在接口中，协变主要体现在方法参数的继承和返回值的扩展上。

1. 方法参数的继承：在接口中，如果一个方法有一个参数类型为某个类（T），那么实现该接口的类可以使用该类的子类作为参数类型。这就是方法参数的协变。

例如：

interface Animal {
    void eat(Animal animal);
}

class Dog implements Animal {
    @Override
    public void eat(Animal animal) {
        // ...
    }
}

class GoldenDog extends Dog {
    // ...
}

public class Main {
    public static void main(String[] args) {
        Animal myAnimal = new GoldenDog();
        myAnimal.eat(new GoldenDog()); // 协变体现在这里，GoldenDog 可以赋值给 Animal 类型
    }
}

2. 返回值的扩展：在接口中，如果一个方法返回一个类型为某个类（T），那么实现该接口的类可以返回该类的子类作为返回值。这就是方法返回值的协变。

例如：

interface Animal {
    Animal getAnimal();
}

class Dog implements Animal {
    @Override
    public Dog getAnimal() {
        return this;
    }
}

class GoldenDog extends Dog {
    // ...
}

public class Main {
    public static void main(String[] args) {
        Animal myAnimal = new GoldenDog();
        Animal animal = myAnimal.getAnimal(); // 协变体现在这里，GoldenDog 可以赋值给 Animal 类型
    }
}

需要注意的是，协变只适用于引用类型，对于基本数据类型（如 int、float 等）是不适用的。同时，协变要求子类对象与父类对象具有相同或更宽泛的类型，以确保类型安全。