Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:120579
MIME-Version: 1.0
References: <648A1621.1070306@adviesenzo.nl>
In-Reply-To: <648A1621.1070306@adviesenzo.nl>
Date: Wed, 14 Jun 2023 19:20:04 -0300
Message-ID: <CAGS0MVA+s_LwN0QuAc4QoL_xWUe1OM=UVwrr==MJAbyKEXuGZQ@mail.gmail.com>
To: Juliette Reinders Folmer <php-internals_nospam@adviesenzo.nl>
Cc: PHP Internals List <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000a4382805fe1e5c51"
Subject: Re: [PHP-DEV] Unexpected behaviour when using Traits with final methods
From: ericklima.comp@gmail.com (Erick de Azevedo Lima)

--000000000000a4382805fe1e5c51
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Hi.

The point is: traits are not inheritance. It's assisted copy-and-paste.
When you use a trait, it's like you typed those methods yourself.
But if you type them in the class that's using the trait,
you throw away the method definition from the trait and use the one from
the class.
You can see here what the final keyword on your trait is intended for:

https://3v4l.org/loOqQ#v8.2.7

I hope I was able to help.

Best regards,
Erick

Em qua., 14 de jun. de 2023 =C3=A0s 16:34, Juliette Reinders Folmer <
php-internals_nospam@adviesenzo.nl> escreveu:

> Hi all,
>
> I'm running into something which peaked my curiousity due to its
> unexpected behaviour, so I'm writing to the list in the hopes of finding
> out whether this is by design, a bug or an oversight which should be
> fixed (via an RFC?).
>
>  > The precedence order is that members from the current class override
> Trait methods, which in turn override inherited methods.
> Source:
>
> https://www.php.net/manual/en/language.oop5.traits.php#language.oop5.trai=
ts.precedence
>
> If one would want to prevent the "current class" from being able to
> override a trait method, I would expect that the `final` keyword would
> be able to do this, just like it would when a method is inherited from a
> parent class.
>
> Unfortunately, that does not seem to work and it appears that the
> current class can freely override final methods from a trait:
>
> ```
> trait Foo {
>      final protected function bar() {
>          echo 'Foo';
>      }
> }
>
> class FooBar {
>      use Foo;
>
>      public function __construct() {
>          $this->bar();
>      }
>
>      protected function bar() {
>          echo 'FooBar';
>      }
> }
>
> new FooBar(); // Prints "FooBar".
> ```
> https://3v4l.org/hlirb
>
> Which brings me to my second point: in PHP 8.0 the use of the `final`
> keyword with `private` methods has been turned into a `warning` via this
> RFC: https://wiki.php.net/rfc/inheritance_private_methods
>
> ... but the "current class" has access to `private` methods inherited
> from a trait, so I would expect `final private` methods in traits to be
> exempt from that warning, but turns out that that will still throw the
> warning: https://3v4l.org/Vb0S2
>
> Is there anyone who can shed some light on this behaviour ?
>
> Smile,
> Juliette
>

--000000000000a4382805fe1e5c51--