Promoted property causing Error about instantiator HOT 9 CLOSED

This is because your promoted property example is equivalent to

<?php
class Foo {
    private ?string $bar;
    public function __construct(?string $bar = null) {
        $this->bar = $bar;
    }
}

thus the property ends up without a default value and since Doctrine skip the constructor when loading objects from the database the property isn't initialized.

from instantiator.

Well in most case it wouldn't be a problem since the constructor would set the property and thus eliminate the need to set a default value on it. It's only a problem in doctrine where constructor is skipped during object creation.

from instantiator.

thus the property ends up without a default value and since Doctrine skip the constructor when loading objects from the database the property isn't initialized.

Are you sure? That doesn't make sense at all (for PHP)

from instantiator.

See https://www.doctrine-project.org/projects/doctrine-instantiator/en/latest/index.html
Maybe a test case should be added to that project?

from instantiator.

thus the property ends up without a default value and since Doctrine skip the constructor when loading objects from the database the property isn't initialized.

Are you sure? That doesn't make sense at all (for PHP)

This makes a lot of sens if you want users of the ORM to do what they want in the constructor, this could be requiring arguments to be passed to the constructor (were the ORM wouldn't know what to pass) or even triggering side effects in the constructor.

from instantiator.

I mean: it doesn't make sense that PHP disallow putting a default value in a (promoted) property when such null value is required.

from instantiator.

Well, desugaring the default value as the argument default value instead of the property default value makes sense since it allows omitting it when calling the constructor.

The default value could be desugared as a default value in both the property and the constructor but the RFC explains why this could cause problems in the future.

from instantiator.

But I can't understand why they didn't consider the special case of nullable variables, where null must be a default.
Anyway, if I understand correctly, the only solution here is avoiding promotion.

from instantiator.

Can we close this issue? I don't think it's actionable for us.

from instantiator.