#Article #Типизация #php

Всем нравятся Constructor Property Promotion, не так ли?

final class Foo {
    public function __construct(
        public bool $bar = false,
        public array $baz = [],
    ) { }
}

☝️ эти фрагменты кода эквивалентны 👇

final class Foo {
    public bool $bar;
    public array $baz;

    public function __construct(
        bool $bar = false,
        array $baz = [],
    ) {
        $this->bar = $bar;
        $this->baz = $baz;
    }
}

Но не эквивалентны этому:

final class Foo {
    public bool $bar = false;
    public array $baz = [];

    public function __construct(
        bool $bar = false,
        array $baz = [],
    ) {
        $this->bar = $bar;
        $this->baz = $baz;
    }
}

Разница в наличии значений по умолчанию у свойств.

Теперь попробуем создать объекты из обоих вариантов через рефлексию без использования конструктора.
https://3v4l.org/0tLcM

object(Foo)#3 (0) { ["bar"]=> uninitialized(bool) ["baz"]=> uninitialized(array) }
object(Foo)#3 (2) { ["bar"]=> bool(false) ["baz"]=> array(0) { } }

Если у свойства нет значения по умолчанию, то оно будет неинициализированным.

Такой способ создания объектов в обход конструктора широко используется под капотом многих библиотек, не только тех, которые используют doctrine/instantiator.
И иногда это стоит учитывать при работе с классами, которые будут проходить через гидрацию или демаршализацию. У меня такое уже выстреливало 😳.

А если ты счастливый пользователь Cycle ORM, то я рекомендую вообще закрывать конструкторы сущностей (делать пустой приватный конструктор) и вместо этого писать фабрики.

#ВредныеСоветы #Типизация #php

Как сломать типизацию:
https://3v4l.org/nTogS

Как сломать readonly (и типизацию):
https://3v4l.org/gSWFF

Также не забываем про пакет unfinalize.

Что там ещё нам мешает писать код по своим правилам?