Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:101696
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmx.de designates 212.227.17.20 as permitted sender)
To: Larry Garfield <larry@garfieldtech.com>, internals@lists.php.net
References: <CAEUnE0cRR6jtU2GoeiP4SDLJejF4+6zY=fT1FiTKPe6aKwoFqg@mail.gmail.com>
 <CAFMT4NrL7FRf6wzZfcExXz+1eUpC50hvg80-R7v2Gm4gJDQ0Qg@mail.gmail.com>
 <4895296.I5cF5gV8b7@vulcan>
Message-ID: <7207dd2d-f315-74ed-d5cb-073afe49a978@gmx.de>
Date: Fri, 26 Jan 2018 15:43:20 +0100
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101
 Thunderbird/52.6.0
MIME-Version: 1.0
In-Reply-To: <4895296.I5cF5gV8b7@vulcan>
Content-Type: text/plain; charset=utf-8
Content-Language: de-DE
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV][RFC][DISCUSSION] Collection Inspection
From: cmbecker69@gmx.de ("Christoph M. Becker")

On 26.01.2018 at 00:28, Larry Garfield wrote:

> On the read side (which you'd want for a generator or similar), the logic 
> you'd want is essentially:
> 
> class Ints extends ArrayObject {
>     public function current() : int {
>         return parent::current();
>     }
> }
> 
> Which lints fine, but when I tested it just now returns strings quite happily 
> without a type error, which seems wrong to me.  (Why is it doing that, and is 
> it a bug?)

ArrayObject does not have a `current` method[1] (it does not implement
Iterator, but rather IteratorAggregate), so it is never called, and
therefore the `parent::current()` call doesn't error, from what I can tell.

For what it's worth, overriding the `offsetGet` method works as expected[2].

[1] <https://3v4l.org/0o55V>
[2] <https://3v4l.org/1njNa>

-- 
Christoph M. Becker