Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:38526
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.132.244 as permitted sender)
DomainKey-Status: bad
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version
         :content-type:content-transfer-encoding:content-disposition
         :references:x-google-sender-auth;
        b=vjF3C5ACGcNGJWgXx6gPOL6iYab1UqPvirhep+WTsCZ474ZwjOaFh0GbWB/eA0Td4m
         1OuglWg+yebpriTz+dQT7bT13XpVddaiDFrZUnF1JiNuiWdm+RVPzo1psoCqhn2vBwHM
         FYeluNRWlDmhT/2WPqCsJP5x4tt7xrVgiZqAU=
Message-ID: <e666c3890806221705v7cd8c79ao940869d57779bae2@mail.gmail.com>
Date: Mon, 23 Jun 2008 02:05:45 +0200
Sender: ekneuss@gmail.com
To: "Jochem Maas" <jochem@iamjochem.com>
Cc: "Stanislav Malyshev" <stas@zend.com>, 
	"PHP internals" <internals@lists.php.net>
In-Reply-To: <485ED5E5.1050904@iamjochem.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <e666c3890806200904i268355ddt1bf6733db15c9699@mail.gmail.com>
	 <485C5081.1050609@zend.com>
	 <e666c3890806210158p306f0448p263eecc6cd2f1d0f@mail.gmail.com>
	 <485ED5E5.1050904@iamjochem.com>
Subject: Re: [PHP-DEV] LSB forward_static_call()
From: colder@php.net ("Etienne Kneuss")

Hello,

On Mon, Jun 23, 2008 at 12:44 AM, Jochem Maas <jochem@iamjochem.com> wrote:
> Etienne Kneuss schreef:
>>
>> Hello,
>>
>> On Sat, Jun 21, 2008 at 2:51 AM, Stanislav Malyshev <stas@zend.com> wrote:
>>>
>>> Hi!
>>>
>>>> So, I really would like to revert that foward_static_call stuff and
>>>> implement the parent:: patch instead, while it's still possible.
>>>>
>>>> thoughts?
>>>
>>> Didn't we discuss that already? Adding magic to parent:: is not a good
>>> idea, it's very basic language construct and should work simple.
>
> yes!
>
>>> LSB is
>>> an advanced feature, which probably would be used deep inside library
>>> guts
>>> and thus can use more elaborate syntax.
>
> like static::foo() or if you're really feeling brave fix 'self' so that
> it does LSB like it 'should' have done from the start.

changing self:: is not an option as it would break BC.

>
>>
>> It seems natural to think of LSB as a language feature, and so it
>> doesn't feel right to have it partly implemented as a keyword, and
>> then fix the problematic part as function.
>> We already see how call_user_func is painful to use (i.e. with methods
>> that use references), that same burden will be put on
>> forward_static_call.
>
> and ironically call_user_func*() is quite often used in hacks that work
> round the lack of LSB. forward_static_call() would relegate LSB to a second
> rate feature, whilst 'comparable' languages treat it as a core OO feature.
>
> I know that other languages are not the measure of things, but in the case
> of
> LSB I believe it should be a first class feature of an OO language.
>
>>
>>> On top of that, by making parent:: forward called class name, you remove
>>> the possibility of doing non-forwarding call to the parent class.
>>
>> Why would that be no longer possible ? If you want to make a
>> non-forwarding call to the parent class, you can use
>> TheParentClassName::foo();.
>
> I certainly don't expect 'parent' to end up making a call to a method
> defined in a sub-class.
>
> Also don't we use 'parent' for much the same reason we use '__construct' ?
> i.e. so we don't need to know which class is actually the parent defining
> the requested method.
>
> rewriting parent::meth() into parentClassName::meth() is like rewriting
> class Foo {function __construct() {}} into class Foo {function Foo() {}}
>
> no?

not really, for now, parent is simply an alias of the parent class.

>
> please reconsider a either a new explicit keyword (e.g. 'static') or even
> making 'self' LSB. I doubt much code would be affected if the semantics of
> 'self' changed.
>
> another possibility is the keyword 'child', fits in nicely with 'parent'
> and 'self' and describes nicely where in the class hierarchy a search
> for the method/property will begin.

static::foo() is already implemented in HEAD and 5_3, it references
the class found with runtime information.

child is not a good keyword as LSB may not be to the direct child, it
can go through multiple childs in the inheritance branch, or it can
also reference the current class if no fallbacks occurred.

>
>>
>>> As for it being slow - how slow it is? Does it really so slow that it
>>> makes real-life application that otherwise would be fast to be slow? Or
>>> it's just "couple more CPU cycles" slow? I suspect the latter - and thus
>>> I don't think speed optimizations belong there.
>>
>> It's about 85% slower than a direct call. Sure it's not that slow when
>> measuring absolutely, but we're talking about a feature that will be
>> typically used in frameworks and libraries, so the amount of calls may
>> be quite big.
>>
>>> --
>>> Stanislav Malyshev, Zend Software Architect
>>> stas@zend.com   http://www.zend.com/
>>> (408)253-8829   MSN: stas@zend.com
>>>
>>>
>>>
>>
>>
>>
>
>
>



-- 
Etienne Kneuss
http://www.colder.ch

Men never do evil so completely and cheerfully as
when they do it from a religious conviction.
-- Pascal