Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:96952
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.217.182 as permitted sender)
MIME-Version: 1.0
References: <CAHE1EdvM514MOvTRGU-CV2+hSAvtaOP+Q=xTH1z99EkyoZb+9w@mail.gmail.com>
 <CAFMT4NpZzbtJAC2eRgXwNrSP=-HFdGO_GOkgyGhBFLkLAReK1Q@mail.gmail.com>
 <CAKiSzdB5d9DCEVbx0ifbKo_QuX+zWZq+bPR2ARfw2HXpV1Jn8g@mail.gmail.com> <CAHE1Edu0C0ek6eq1RFRqXfiNwezD_Nr-ADvwdPC53P5VEa5b_w@mail.gmail.com>
In-Reply-To: <CAHE1Edu0C0ek6eq1RFRqXfiNwezD_Nr-ADvwdPC53P5VEa5b_w@mail.gmail.com>
Date: Thu, 17 Nov 2016 14:06:04 +0000
Message-ID: <CAKiSzdCm0yu10SQu4bgh4G5yX5CDnpThzdpaZH_zH+idM+V9Dg@mail.gmail.com>
To: Craig Duncan <php@duncanc.co.uk>
Cc: Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a113d0d0856cd4805417fb155
Subject: Re: [PHP-DEV] Countable Type Hint
From: joshdifabio@gmail.com (Josh Di Fabio)

--001a113d0d0856cd4805417fb155
Content-Type: text/plain; charset=UTF-8

On Thu, Nov 17, 2016 at 2:01 PM Craig Duncan <php@duncanc.co.uk> wrote:

> On 17 November 2016 at 13:50, Josh Di Fabio <joshdifabio@gmail.com> wrote:
>
> What's the benefit of such an interface? Why not simply ask for `int
> $count` in your param list instead?
>
>
> Using the example from my original email, it's a bit awkward to always
> have to pass the count of a countable:
> handle_records($result, count($result));
>
> The number of items in a countable can be established from the countable,
> asking for it as a additional parameter doesn't make much sense to me
>
>
Apologies, I thought you were simply proposing the following:

interface Countable
{
    function count(): int;
}

But you're actually proposing the following as well?

interface Arraylike extends Iterator, Countable
{

}

I can see the use of an interface which combines Iterator and Countable,
but not Countable on its own.

--001a113d0d0856cd4805417fb155--