Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:114644
MIME-Version: 1.0
References: <CAOwTYAtc_xD6n=efmamkAy4ro4KqPKxq18-zXsNriY0280FY2g@mail.gmail.com>
 <319c4288-5934-b218-d6eb-0b787a2cdef1@gmx.net> <aac7b654-cbf2-5d02-6ff6-16e5e7ad8793@gmail.com>
In-Reply-To: <aac7b654-cbf2-5d02-6ff6-16e5e7ad8793@gmail.com>
Date: Thu, 27 May 2021 16:50:34 +0200
Message-ID: <CAOwTYAs-zoR=fj_yUg-_qeYTRW-_pQRFYv-H8KQAUy1TVVh+pw@mail.gmail.com>
To: Rowan Tommins <rowan.collins@gmail.com>
Cc: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="0000000000004acb1905c350e271"
Subject: Re: [PHP-DEV] Consensus Gathering: is_initialized
From: krakjoe@gmail.com (Joe Watkins)

--0000000000004acb1905c350e271
Content-Type: text/plain; charset="UTF-8"

Thanks for all the input everyone, very successful consensus gathering
exercise.

Since the response was pretty overwhelmingly negative, I think we can just
stop here.

I've closed the PR and wrapped up the FR.

Anyone is of course free to pursue the RFC that would be required, however
ill advised.

Forget I said anything, and carry on with your lives.

Cheers
Joe

On Thu, 27 May 2021 at 16:44, Rowan Tommins <rowan.collins@gmail.com> wrote:

> On 27/05/2021 14:55, Andreas Leathley wrote:
> >
> > When using isset on a non-nullable property a
> > static analyzer would rightfully complain that the property is not
> > nullable
>
>
> Precisely, so don't mark a property as non-nullable and then leave it
> unset.
>
>
> > isset in this case is abused to check for uninitialized, hiding the
> > actual intent
>
>
> On the contrary, the uninitialized state is what is being abused. If you
> want to make the intent clear, use a clear flag of "needs lazy-loading",
> or whatever you're actually using this magic "not null but not really
> anything else either" state for.
>
>
> Regards,
>
> --
> Rowan Tommins
> [IMSoP]
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: https://www.php.net/unsub.php
>
>

--0000000000004acb1905c350e271--