Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:83174
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 74.125.82.172 as permitted sender)
MIME-Version: 1.0
References: <CAESVnVoZYiMWQk1Ydc-9wbkJo7Ru_4mrUtrubW=Rh=QKK9o8TA@mail.gmail.com>
 <CACwt+Jds5FOveP0pK6G6HXF9_tLUMousRQj2=bUtt-sYXsrGiw@mail.gmail.com> <036301d04ba6$1b06cff0$51146fd0$@php.net>
Date: Thu, 19 Feb 2015 12:46:27 +0000
Message-ID: <CACwt+Jecs_jqqs6xN7Xz4ARpZBGgWAdAU6ie5UVEogL6xo1Shw@mail.gmail.com>
To: francois@php.net, Sara Golemon <pollita@php.net>, 
	PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=14dae9cc97c811e13f050f705381
Subject: Re: [PHP-DEV] Scalar Type Hints v0.4
From: patrickallaert@php.net (Patrick ALLAERT)

--14dae9cc97c811e13f050f705381
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

Le Wed Feb 18 2015 at 19:10:08, Fran=C3=A7ois Laupretre <francois@php.net> =
a
=C3=A9crit :

> > De : Patrick ALLAERT [mailto:patrickallaert@php.net]
> >
> > The biggest advantage, IMHO, is that you get the exact same result
> whether
> > you do:
> >
> >     foo((int) $value);
> >
> > or:
> >
> >     foo($value);
> >
> > ... whatever the mode you are in.
>
> Wrong. Parameter parsing rules are much more restrictive than casting
> rules.
>
> Only 'foo((int)'orange')' would (erroneously) succeed.
>

Francois, I'm very aware of the distinction between cast mechanism and ZPP,
but I obviously haven't been clear about the fact that the
(conversion|coercion|type juggling|...) reporting configuration I proposed
would have to be used in ZPP *AND* casting mechanism (and anywhere else
where some conversion applies).

With:

    $value =3D "foo";
    foo((int) $value);

it is: "(int) $value" that would generate a warning/error depending on the
reporting, not while parsing the parameter of function foo(), which would
receive an int (0) in this precise case.

And this would address the cases:

http://example.org/foo.php?id=3D42
http://example.org/foo.php?id=3Dbar

foo.php:
    <?php
    fetchById(int $id) {
        // ...
    }
    fetchById($_GET["id"]);

even if $_GET["id"] is replaced by (int) $_GET["id"];

Cheers,
Patrick

--14dae9cc97c811e13f050f705381--