Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:83792
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.217.169 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CA+9eiLv-UMBtFYvD0Aps4SpuUoEGBiwWjQH8tVz0OYiW73TKmA@mail.gmail.com>
References: <CAAyV7nGjdguX=4Nt0H=kYnwg8rZ1BkWf8duGZfzheOXXV61pqA@mail.gmail.com>
	<CAAyV7nE+JJPr4iRiFfJg74UVZ_c6HieOmpPQWe6zwnY==m7Zhw@mail.gmail.com>
	<CAAyV7nGOh7FgkbkPGwALmU4SDOs=LvkijAPJeNcG3qrMo7-z-Q@mail.gmail.com>
	<CAAyV7nFfzaw=M0En4_3Lt5MYQ7H+ePCzFOuM4wndehxJER7NXQ@mail.gmail.com>
	<CA+9eiLuuH7v4Vvf8iDzvh=vho9mdPUpvSVHwuP6+JdNVkqLS9A@mail.gmail.com>
	<CA+9eiLup3jEPcQaNbEQXQ8js0t9-thVRG8fCXHScL3K=aU20Ow@mail.gmail.com>
	<op.xul2slya7q1gix@nikita-hp-elitebook-750-g1>
	<CA+9eiLsuK7G-Wz3PfV5=aEQeUQk4RDYARNd7JSFWAynyY4o0-A@mail.gmail.com>
	<op.xul4bazz7q1gix@nikita-hp-elitebook-750-g1>
	<CA+9eiLv-UMBtFYvD0Aps4SpuUoEGBiwWjQH8tVz0OYiW73TKmA@mail.gmail.com>
Date: Wed, 25 Feb 2015 10:09:09 -0500
Message-ID: <CAAyV7nFFC8pp6zRP-qMOFD5RiKaHkAsHgmQ1=Uj9WD5hWUvurA@mail.gmail.com>
To: Dmitry Stogov <dmitry@zend.com>
Cc: Niktia Nefedov <inefedor@gmail.com>, PHP Internals <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] Re: [RFC-Discuss] Scalar Type Declarations v0.5
From: ircmaxell@gmail.com (Anthony Ferrara)

Dmitry,

> The object on the call-site should remain to be an object (if it's not
> passed by reference), however the called function will receive a string.
> It works in PHP-5 and PHP-7. Nothing should be changed.
>
> $ sapi/cli/php -r 'class X {function __toString(){return "abc";}} $x=new X;
> var_dump(strlen($x)); var_dump($x);'
> int(3)
> object(X)#1 (0) {
> }
>
> However, declare(strict_types=1) will break this. see
> https://github.com/ircmaxell/php-src/compare/scalar_type_hints_v5#diff-ef5bf53d1412b50f85d125ca4fe84741R1182

"Break" is a loaded term.

It's intentionally not calling __toString, because that's not only a
cast (like "5" -> int(5)), but it's a lossy cast (like 5.5 -> int(5)
or "5 apples" => int(5)).

One point of strict mode is that it's there intentionally to turn off
magic. It's there to make things explicit, predictable and robust.

And it's fully opt-in, so there's nothing to "break". It's entirely
new behavior.

Anthony