Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:83778
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.215.54 as permitted sender)
Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes
To: internals@lists.php.net
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>
Date: Wed, 25 Feb 2015 15:48:50 +0400
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Message-ID: <op.xul23owa7q1gix@nikita-hp-elitebook-750-g1>
In-Reply-To: <op.xul2slya7q1gix@nikita-hp-elitebook-750-g1>
User-Agent: Opera Mail/12.16 (Linux)
Subject: Re: [PHP-DEV] Re: [RFC-Discuss] Scalar Type Declarations v0.5
From: inefedor@gmail.com ("Niktia Nefedov")

On Wed, 25 Feb 2015 15:42:11 +0400, Niktia Nefedov <inefedor@gmail.com>  
wrote:

> On Wed, 25 Feb 2015 16:30:32 +0400, Dmitry Stogov <dmitry@zend.com>  
> wrote:
>
>> anyone may tell, what this will print without running :)
>>
>> main.php
>> ========
>> <?php
>> declare(strict_types=1)
>> include "a.php";
>> include "b.php";
>> var_dump(foo("5"));
>> ?>
>>
>> a.php
>> =====
>> <?php
>> declare(strict_types=0)
>> function foo(string $a): string {
>>     bar($a);
>>     return $a;
>> }
>> ?>
>>
>> b.php
>> =====
>> <?php
>> declare(strict_types=1)
>> function bar(int &$a) {
>>     var_dump($a);
>> }
>> ?>
>>
>> Thank. Dmitry.
>
>
> Hi Dmitry,
>
> This will error out because $a in the scope of `foo` will be coerced to  
> int type when passed to bar by reference.
>
> References are a problem for weak-only types as well (even more so I  
> would say, because in a lot of cases they would continue working  
> truncated or changed).
>
> Happily there are not lots of post-php5 code that uses references here  
> and there, but that would be good to add the point about them to both  
> RFCs (and in documentation in future) just so that users would be aware  
> of that.

Ah sorry I was too quick on judging, Florian is right, when foo returns  
its value it will be coerced back to string because of strict=0 in this  
case...