Php Ковариантность И Контравариантность

В PHP ковариантность и контравариантность относятся к типам данных при наследовании классов. Ковариантность - это возможность возвращать из метода дочернего класса объект родительского класса, а контравариантность - это возможность передавать в метод дочернего класса объект наследника родительского класса.

Пример ковариантности:

class Animal {    public function getSound(): AnimalSound {        return new AnimalSound();    }}class Cat extends Animal {    public function getSound(): AnimalSoundCat {        return new AnimalSoundCat();    }}class AnimalSound {}class AnimalSoundCat extends AnimalSound {}

Пример контравариантности:

class Animal {    public function setSound(AnimalSound $sound): void {        // some logic    }}class Cat extends Animal {    public function setSound(AnimalSoundCat $sound): void {        // some logic    }}class AnimalSound {}class AnimalSoundCat extends AnimalSound {}