Пых: “💙 Typhoon 0.4. self, parent, static. В Typhoon 0.3 я начал добавлять…”

💙 Typhoon 0.4. self, parent, static.

В Typhoon 0.3 я начал добавлять поддержку трейтов. И всё, естественно, поломалось. 🙈

Раунд 2


trait T
{
    public function self(): self { return $this; }
    public function parent(): parent { return $this; }
    public function static(): static { return $this; }
}

Валидный ли это код? Да. Вот только ни один из трёх типов невозможно отрезолвить так же, как мы это делали выше. self и parent не на что заменить, так как трейт сам по себе не является типом и не может наследовать другие. Для static отсутствует скоуп-класс.

Нативная рефлексия, кстати, вообще не парится: всегда возвращает ReflectionNamedType с 'self', 'parent' или 'static'. Мы так делать не хотим, потому что это просто откладывание проблемы на потом.

Постепенно приходит понимание, что в трейтах относительные типы работают как плейсхолдеры. В Psalm и PHPStan их даже можно ограничивать через аннотации @require-extends и @require-implements. Всё это напоминает... дженерики!

Действительно,


/**
 * @psalm-require-extends stdClass
 * @phpstan-require-extends stdClass
 */
trait T
{
    public function self(): self { return $this; }
    public function parent(): parent { return $this; }
    public function static(): static { return $this; }
}

final class A extends stdClass
{
    use T;
}

можно с натяжкой переписать как


/**
 * @template self of object
 * @template parent of stdClass
 * @template static of self
 */
trait T
{
    public function self(): self { return $this; }
    public function parent(): parent { return $this; }
    public function static(): static { return $this; }
}

final class A extends stdClass
{
    /**
     * @use T<self, parent, self>
     */
    use T;
}

Выглядит логично, но кривовато, потому что в реальности это не объявленные пользователем дженерики, а какие-то встроенные, да ещё и доступные в статике. Тем не менее, на тот момент идея мне очень нравилась, и, подставив пару костылей, я её реализовал в typhoon 0.3 и даже гордо рассказал про это на Стачке:


types::template('self', types::atClass(T::class))
types::template('parent', types::atClass(T::class))
types::template('static', types::atClass(T::class))