Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:105998
MIME-Version: 1.0
References: <CAOv67gvH07wXdjKNLZZS7caWCu8VntR_4zJ9MOd4XUg8wmFWeQ@mail.gmail.com>
 <CAF+90c8vYyZa_e+pPDcO9THJc33CLbA-=2US4RnUFU=R0maBHA@mail.gmail.com> <CANUQDCjVBgYA4S3fH_WTNUYvJrjkKPqnwcfOER9uh+J2LjWJgw@mail.gmail.com>
In-Reply-To: <CANUQDCjVBgYA4S3fH_WTNUYvJrjkKPqnwcfOER9uh+J2LjWJgw@mail.gmail.com>
Date: Thu, 20 Jun 2019 14:11:17 +0200
Message-ID: <CAOv67gvW+Oq9ndYaJNbD2kOAk127+4_DfXo5U4O2O_qKg4mrUQ@mail.gmail.com>
To: Niklas Keller <me@kelunik.com>
Cc: Nikita Popov <nikita.ppv@gmail.com>, PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000d6b436058bc03e05"
Subject: Re: [PHP-DEV][RFC] Normalize array's "auto-increment" value on copy
 on write
From: netmo.php@gmail.com (Wes)

--000000000000d6b436058bc03e05
Content-Type: text/plain; charset="UTF-8"

I left that out of scope for the RFC, for reasons I don't have the
knowledge to describe properly. In the following example, `unset()` should
reset the auto increment to `1` only after the third `unset()` call

```
$array = [0, 1, 2, 3]; // auto increment is 4 because there are "holes" in
the index
unset($array[1]); // auto increment is still 4
unset($array[2]); // auto increment is still 4
unset($array[3]); // auto increment is 1, because the index sequence is
contiguous, without holes
```

I would love if it worked that way, but that must be covered separately by
someone that knows how to implement it efficiently.

For now, my RFC only makes sure that foreign references in particular will
receive arrays with normalized and predictable "auto increment" values.

Wes

--000000000000d6b436058bc03e05--