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 等）是不適用的。同時，協變要求子類對象與父類對象具有相同或更寬泛的類型，以確保類型安全。