Теги: oop_php
Ковариантность и контравариантность
Конспект в доработке
Ковариантность и контравариантность
Ковариантность позволяет дочернему методу возвращать более конкретный тип, чем тип возвращаемого значения его родителького метода
Контравариантность позволяет типу параметра в дочернем методе быть менее специфичным, чем в родительском
Более конкретный тип считается в случае:
Удалено объявление типов
Добавлено пересечение типов
Тип класса изменяется на тип дочернего класса
iterable изменен на массив array или Traversable
Источники
Последнее изменение: November 20, 2024 07:10