Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:122690
Precedence: bulk
MIME-Version: 1.0
References: <CAPzBOBMGe=kWWiJYGLG02qxh+2Pe5yTqodhGtAE3LjdAPmkQUw@mail.gmail.com>
In-Reply-To: <CAPzBOBMGe=kWWiJYGLG02qxh+2Pe5yTqodhGtAE3LjdAPmkQUw@mail.gmail.com>
Date: Tue, 19 Mar 2024 17:50:55 +0100
Message-ID: <CAPyj-LDvyFuTyWap-cHQ1G0eh56qdj4S80YXVFhsgZLknmhiaA@mail.gmail.com>
Subject: Re: [PHP-DEV] Proposal: AS assertions
To: internals <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
From: tovilo.ilija@gmail.com (Ilija Tovilo)

Hi Robert

On Tue, Mar 19, 2024 at 5:24=E2=80=AFPM Robert Landers <landers.robert@gmai=
l.com> wrote:
>
> I've been thinking about this as an RFC for awhile, but with generics
> being far off (if at all), I'd like to propose a useful idea: reusing
> the AS keyword in a different context.
>
> Example:
>
> $x =3D $attributeReflection->newInstance() as MyAttribute;
>
> This would essentially perform the following code:
>
> assert(($x =3D $attributeReflection->newInstance()) instanceof MyAttribut=
e);

See https://wiki.php.net/rfc/pattern-matching#throwing_alternative. I
believe this idea would combine nicely with pattern matching. It has
many more uses there than just simple class type matching, and could
even be used for things like destructuring.

Ilija