Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:120614
MIME-Version: 1.0
References: <CAAKU0umNOJ+6x44WRuzc2e9_5sDehAq5UB_aFn+cT4wxTny9wg@mail.gmail.com>
 <CA+p1FaYU58Z7UZuDNEHnOWefZyu6uoP+4iZ7rgOhQHaA+f+_AQ@mail.gmail.com>
In-Reply-To: <CA+p1FaYU58Z7UZuDNEHnOWefZyu6uoP+4iZ7rgOhQHaA+f+_AQ@mail.gmail.com>
Reply-To: Levi Morrison <levi.morrison@datadoghq.com>
Date: Sun, 18 Jun 2023 20:53:02 -0600
Message-ID: <CAAKU0ukt+rHchFhvcEUJcY8q9UNRjoF9BxQTiWUdOanffg012Q@mail.gmail.com>
To: David Gebler <davidgebler@gmail.com>
Cc: PHP internals <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Subject: Re: [PHP-DEV] [RFC] Interface Default Methods
From: internals@lists.php.net ("Levi Morrison via internals")

On Sat, Jun 17, 2023 at 4:10=E2=80=AFPM David Gebler <davidgebler@gmail.com=
> wrote:
>
> On Thu, Jun 15, 2023 at 4:48=E2=80=AFAM Levi Morrison via internals <inte=
rnals@lists.php.net> wrote:
>>
>>
>> I am moving my RFC for interface default methods to discussion:
>> https://wiki.php.net/rfc/interface-default-methods.
>>
>
> Can I ask, the RFC doesn't say - does your implementation ensure default =
implementations can only call other methods which exist on the interface in=
 the same manner as Java? i.e. the following would give some sort of error?
>
> interface A {
>     public function foo(): void {
>         $this->bar();
>     }
> }
>
> class B implements A {
>     public function bar(): void {
>         ...
>     }
> }
>
> But the following would be okay?
>
> interface A {
>     public function foo(): void {
>         $this->bar();
>     }
>
>     public function bar(): void;
> }
>

No, there's no attempt to ensure the method body adheres to calling
the public interface. Due to PHP's possible dynamic behaviors, I don't
think it's reasonable to attempt to enforce it at compile-time. I'm
not sure it's worth the effort trying to enforce it at runtime either,
but it would be nice to see lints from static analysis tools which
detect this issue.