Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:75639
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain ajf.me designates 192.64.116.200 as permitted sender)
Content-Type: text/plain; charset=windows-1252
Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\))
In-Reply-To: <CAESVnVodJ03HwEAUJ3H+-3pdTxuaWf=8Q+YQokP-CW7XxnVJ1Q@mail.gmail.com>
Date: Thu, 17 Jul 2014 07:09:49 +0100
Cc: Tjerk Meesters <tjerk.meesters@gmail.com>,
 bishop@php.net,
 PHP internals <internals@lists.php.net>
Content-Transfer-Encoding: quoted-printable
Message-ID: <E73B75DA-8860-4BC6-8602-E4D5C4B7A8FC@ajf.me>
References: <1240076591.91249.1405564441970.open-xchange@app1.ox.registrar-servers.com> <CAESVnVodJ03HwEAUJ3H+-3pdTxuaWf=8Q+YQokP-CW7XxnVJ1Q@mail.gmail.com>
To: Sara Golemon <pollita@php.net>
Subject: Re: [PHP-DEV] [RFC] intdiv()
From: ajf@ajf.me (Andrea Faulds)


On 17 Jul 2014, at 04:23, Sara Golemon <pollita@php.net> wrote:

> Do we need a new operator for that?  It feels un-php to me, and the
> kind of problem bigint objects should be meant to solve.  On the other
> hand, having $a/$b !=3D $a/$b (Off by more than 100 in this instance).
> But back on the first hand, that's consistent with other operations on
> large floats anyway.  PHP_INT_MAX + 1 !=3D One more than PHP_INT_MAX,

Actually, my bigints RFC would retain the existing / behaviour (float =
result if non-zero remainder), so to avoid an unnecessary divisibility =
check or to deliberately ignore the remainder you=92d need some sort of =
integer division operator there. On the other hand, that RFC would also =
see ext/gmp always available, I suppose. Of course this isn=92t what =
ext/gmp does *now*, where it makes / be integer division (yuck). I think =
the / operator=92s behaviour makes complete sense and Python 3 actually =
does exactly the same thing as PHP here, because what / does is the most =
intuitive thing.

I suppose a function alone might do, but it feels a bit lacking to me =
not to have an operator for this. I=92d also argue it=92s not really =
un-PHP to add this, we already have the mod (%) operator and the bitwise =
operators also operate only on integers. Furthermore division ignoring =
the remainder is actually a fairly common use case (time for example), =
so I think there should be some way to do that when you need it. I =
wonder if the intent there might be clearer, too, than using floor() or =
(int).

--
Andrea Faulds
http://ajf.me/