Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:63667
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zerocue.com designates 67.200.53.250 as permitted sender)
Message-ID: <508C1C4F.6060406@zerocue.com>
Date: Sat, 27 Oct 2012 12:39:27 -0500
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:16.0) Gecko/20121010 Thunderbird/16.0.1
MIME-Version: 1.0
To: internals@lists.php.net
References: <508A68B9.1050801@zerocue.com> <508AA48D.5010903@sugarcrm.com>
In-Reply-To: <508AA48D.5010903@sugarcrm.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] [RFC] Property Accessors v1.2 : isset / unset "failable"
From: cpriest@zerocue.com (Clint Priest)

That's basically what #2 is getting at, my only question is, emit a 
warning or notice or not?

Technically returning false on an invalid isset() call could be 
misleading without emitting some kind of notice or warning about it.

On 10/26/2012 9:56 AM, Stas Malyshev wrote:
> Hi!
>
>>   1.      If all cases can be tested for during compilation, prefer
>>      compile failures.
> Not likely. isset($foo->$bar) is completely opaque since we don't know
> what $foo or $bar is.
>
>>   2.      Let the compilation occur and at runtime when a disallowed
>>      action is attempted, emit a warning and move on.
>>   3.      As is currently, either at compilation or at runtime we issue a
>>      fatal error and stop execution (probably least preferable if at runtime)
> Actually, I think the right way is:
>
> 4. On isset(), if the value can be retrieved, return true. Otherwise,
> return false (including the case when the value can not be retrieved
> because of missing getter). Same holds for empty() but in reverse - if
> isset() would return false, it'd return true and vice versa.
> On unset($foo->bar), act exactly as if the code were $foo->bar = NULL;
>
> Of course, this applies only for automatic definition of isset/unset.

-- 
-Clint