Ковариантность и контравариантность
Конспект в доработке
Ковариантность и контравариантность
Ковариантность позволяет дочернему методу возвращать более конкретный тип, чем тип возвращаемого значения его родителького метода
Контравариантность позволяет типу параметра в дочернем методе быть менее специфичным, чем в родительском
Более конкретный тип считается в случае:
Удалено объявление типов
Добавлено пересечение типов
Тип класса изменяется на тип дочернего класса
iterable изменен на массив array или Traversable
Источники
Последнее изменение: 20.11.2024 07:10
Связанные темы
Оператор разрешения видимости в php
Позднее статическое связывание
Методы создания экземпляра класса в php
Автоматическая загрузка классов
Наследование с помощью extends в php
Добавлять комментарии могут только авторизованные пользователи