Ковариация и контравариантность действительно кажутся неестественными. ⇐ Php

[Anonymous]

Попытка использовать свойство в дочернем элементе всегда приводит к следующей ошибке:

Неустранимая ошибка: тип D::$prop должен быть A ( как в классе C)

Я читал о https://www.php.net/manual/en/language. ... riance.php но это все еще очень сбивает с толку, и я не могу найти логическую причину, чтобы не допустить подобных действий.
Мне так неестественно и неприятно не иметь возможности использовать класс, который реализует интерфейс и поэтому соблюдайте контракт этого интерфейса, чтобы просто не иметь возможности вводить подсказку.
Как в следующем примере:

Код: Выделить всё

Подробнее здесь: [url]https://stackoverflow.com/questions/79062375/covariance-and-contravariance-really-feels-unnatural[/url]