Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:122698
Precedence: bulk
MIME-Version: 1.0
References: <CAPzBOBMGe=kWWiJYGLG02qxh+2Pe5yTqodhGtAE3LjdAPmkQUw@mail.gmail.com>
 <efbffe5a-f57a-42e4-8e0c-b25ab2c441fc@rwec.co.uk>
In-Reply-To: <efbffe5a-f57a-42e4-8e0c-b25ab2c441fc@rwec.co.uk>
Date: Wed, 20 Mar 2024 13:47:59 +0100
Message-ID: <CAPzBOBM4b5c=hWgcj6uBgK3Lb65X56T-bhGHVGhma_YnCCJuoQ@mail.gmail.com>
Subject: Re: [PHP-DEV] Proposal: AS assertions
To: "Rowan Tommins [IMSoP]" <imsop.php@rwec.co.uk>
Cc: internals@lists.php.net
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
From: landers.robert@gmail.com (Robert Landers)

On Tue, Mar 19, 2024 at 10:06=E2=80=AFPM Rowan Tommins [IMSoP]
<imsop.php@rwec.co.uk> wrote:
>
> On 19/03/2024 16:24, Robert Landers wrote:
>
> $x =3D $attributeReflection->newInstance() as ?MyAttribute;
> if ($x =3D=3D=3D null) // do something since the attribute isn't MyAttrib=
ute
>
>
> I think reusing nullability for this would be a mistake - ideally, the ri=
ght-hand side should allow any type, so "$foo as ?Foo" should mean the same=
 as "$foo as Foo|null".
>
>
> A better alternative might be to specify a default when the type didn't m=
atch:
>
> $x =3D $attributeReflection->newInstance() as ?MyAttribute else null;
> if ($x =3D=3D=3D null) // do something since the attribute isn't MyAttrib=
ute

At that point, you are just reinventing already existing things. If
you wanted to do something like that with my proposal:

$x =3D $attributeReflection->newInstance() as ?MyAttribute ??
MyAttribute::createDefault();

Robert Landers
Software Engineer
Utrecht NL