Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:112850
MIME-Version: 1.0
References: <CAF+90c8Euq9nTMeoeUJ3a6s3wyj_DqbOeXoh07oDeUy6PeCefA@mail.gmail.com>
In-Reply-To: <CAF+90c8Euq9nTMeoeUJ3a6s3wyj_DqbOeXoh07oDeUy6PeCefA@mail.gmail.com>
Date: Tue, 12 Jan 2021 17:18:28 +0100
Message-ID: <CADyq6sKx0wnq__p-dy3=bovHZ=Uzu=QN2Ko6OLmiGj47BrBNeQ@mail.gmail.com>
To: Nikita Popov <nikita.ppv@gmail.com>
Cc: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="00000000000034e89405b8b660f2"
Subject: Re: [PHP-DEV] [RFC] Allow object keys in arrays
From: ocramius@gmail.com (Marco Pivetta)

--00000000000034e89405b8b660f2
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Hi Nikita,

On Mon, Jan 11, 2021, 15:29 Nikita Popov <nikita.ppv@gmail.com> wrote:

> Hi internals,
>
> I would like to present a draft RFC for allowing object keys in arrays:
> https://wiki.php.net/rfc/object_keys_in_arrays
>
> The specification in the RFC is incomplete, and primarily focussed on wha=
t
> impact this has from an internal perspective.
> https://github.com/php/php-src/pull/6588 is a draft implementation that
> illustrates the necessary changes.
>
> The primary motivation, and reason why I am looking into this now, is tha=
t
> the current enum proposal is based on objects, and I consider it somewhat
> important that enum values can also work as array keys.
>
> From a technical perspective, this also lays the groundwork for supportin=
g
> other key types in the future, e.g. if we wish to switch PHP to use
> arbitrary-precision integers.
>

Overall, this is something I always wanted, but adding it means that the
type of all array functions returning keys widens, which is quite the BC
hell =F0=9F=A4=94

The basic assumption is that, when an `array` is given, `foreach ($array as
$key =3D> )` produces a `$key` if type `string|int`.

While this assumption does not hold true for `iterable` (notably
`SplObjectStorage`, `Generator`), it's still quite a jump to break it here,
so it would probably require scheduling such a feature for 9.0.

>

--00000000000034e89405b8b660f2--