Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:75524
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.215.42 as permitted sender)
MIME-Version: 1.0
Reply-To: bishop@php.net
Sender: bishop.bettini@gmail.com
In-Reply-To: <7646A8D1-69A2-4255-B048-D3B9F28B422F@ajf.me>
References: <7646A8D1-69A2-4255-B048-D3B9F28B422F@ajf.me>
Date: Mon, 14 Jul 2014 22:31:03 -0400
Message-ID: <CAEYWF=4pxA5vE0eBEbi1Fkh7k7uqZk0rAS77oWxzPdicnTN+gQ@mail.gmail.com>
To: Andrea Faulds <ajf@ajf.me>
Cc: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a11349758f56b0704fe3232ff
Subject: Re: [PHP-DEV] [RFC] intdiv()
From: bishop@php.net (Bishop Bettini)

--001a11349758f56b0704fe3232ff
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

Hi Andrea,

I need some education.  Can you elaborate on the specific situations where
integer division would be used without other functions from bcmath or gmp?

I see in the RFC you mention seconds to hh:mm and index to rows/cols, but
can you give some actual "before" and "after" samples?  Like this is how it
would be done today without intdiv, and here's how it would be done after?

Regards,
bishop
 On Jul 14, 2014 8:15 PM, "Andrea Faulds" <ajf@ajf.me> wrote:

> Good evening again,
>
> PHP currently lacks a way to do integer division. You can floor or int
> cast a floating-point division, but beyond 53-bits that produces the wron=
g
> result:
>
> $ sapi/cli/php -r 'var_dump((int)(PHP_INT_MAX / 3));'
> int(3074457345618258432)
>
> Furthermore, using a floating-point division isn=E2=80=99t really a prope=
r way to
> do it; it=E2=80=99s a workaround for a lack of language support for a qui=
te basic
> operation. This RFC proposes a function for integer division, intdiv(). I=
t
> would work properly with 64-bit values:
>
> $ sapi/cli/php -r 'var_dump(intdiv(PHP_INT_MAX, 3));'
> int(3074457345618258602)
>
> It works exactly as you=E2=80=99d expect it to. If you divide by zero, it=
 does
> exactly the same thing the division operator does (E_WARNING and returns
> FALSE).
>
> While this is simple enough, I=E2=80=99m also considering possibly shorte=
ning it
> to div() (more likely to cause conflicts, but easier to type), implementi=
ng
> it as an internal function (=C3=A0 la pow()), and perhaps implementing it=
 as an
> infix operator (3 div 2 =3D=3D=3D 1).
>
> The RFC is here: https://wiki.php.net/rfc/intdiv
>
> It elaborates a little more, so I=E2=80=99d suggest reading it first. Wha=
t are
> your thoughts? I think this is a simple and obvious addition.
>
> Thanks!
> --
> Andrea Faulds
> http://ajf.me/
>
>
>
>
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>

--001a11349758f56b0704fe3232ff--