Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:113539
To: Internals <internals@lists.php.net>
References: <CAOkcCt88CD0aAZ=+5Oi7SeW7E3Z1OLvai=s4s-MUQq6QwD1z5w@mail.gmail.com>
 <CAKuGYLRZEieMfOe1eYYkZnTaWm8yGHP8UbrEfwrg4ZReDX3NTQ@mail.gmail.com>
 <d7c8ffb2-8eea-0fa3-a35f-8333c88a12fc@gmail.com>
 <CAKuGYLQPoOkiJsVfAL20uQVbkqMQohBOVFe3X7K-Eko1uPSAsw@mail.gmail.com>
Message-ID: <d653d8b5-3b25-1437-ff4b-fb42794c2435@gmail.com>
Date: Mon, 15 Mar 2021 14:49:02 +0000
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
 Thunderbird/78.8.1
MIME-Version: 1.0
In-Reply-To: <CAKuGYLQPoOkiJsVfAL20uQVbkqMQohBOVFe3X7K-Eko1uPSAsw@mail.gmail.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Content-Language: en-GB
Subject: Re: [PHP-DEV] [RFC Proposal] Allow methods to 'become' static
From: rowan.collins@gmail.com (Rowan Tommins)

On 15/03/2021 13:16, Matthew Brown wrote:
> On Sun, 14 Mar 2021 at 18:09, Rowan Tommins <rowan.collins@gmail.com 
> <mailto:rowan.collins@gmail.com>> wrote:
>
>     Are you saying that having the parent::getSomeInt() call fail
>     would be
>     problematic?
>
>
>  Yes, that's where this becomes unsound – you can call the child 
> method statically, but the parent call assumes a dynamic instance.


This isn't really to do with changing the signature of the method 
though; it will give you exactly the same error as if you gave the 
static and non-static methods different names:

class A {
     public int $someInt = 0;

     public function getSomeInt() : int {
         return $this->someInt;
     }
}
class B extends A {
     public static function getSomeIntStatically() : int {
         return parent::getSomeInt(); // This call is invalid; this is 
currently only reported when the method is run
     }
}


Regards,

-- 

Rowan Tommins
[IMSoP]