Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:128434
Content-Type: text/plain; charset=utf-8
Message-ID: <1754651385312.2404476014.2806266072@yahoo.de>
To: claude.pache@gmail.com, Jonathan Vollebregt <jnv@jnvsor.net>
Cc: internals@lists.php.net
Subject: Re: [PHP-DEV] Protected inheritance hierarchies
Date: Fri, 08 Aug 2025 12:15:59 +0000
In-Reply-To: <A1130FA8-324D-4D01-80AD-9A238E1D4E5B@gmail.com>
References: <A1130FA8-324D-4D01-80AD-9A238E1D4E5B@gmail.com>
User-Agent: Vivaldi Mail/7.5.3735.58
Content-Transfer-Encoding: quoted-printable
Precedence: list
MIME-Version: 1.0
From: hanskrentel@yahoo.de (Hans Krentel)




On Friday 08 August 2025 09:13:09 (+02:00), Claude Pache wrote:

>=20
>=20
> > Le 7 ao=C3=BBt 2025 =C3=A0 20:37, Jonathan Vollebregt <jnv@jnvsor.net> =
a =C3=A9crit :
> >=20
> >=20
> > Back to the original issue: I'm going to open a github issue on this =
since it's clearly a bug and I don't see fixing it breaking any existing =
code.
>=20
>=20
> Hi,
>=20
> Sorry to reply without completely reading this long thread.
>=20
> As many of us understand it, the application of Liskov Substitution =
Principle indeed shows that, if you can access a member declared in a given=
 class from a given context, you ought also be able to access the same =
member when it is redeclared in a subclass.

That could be, and if it is of interest, from what I remember about Liskov =
when she was talking about the LSP, she would not declare that property in =
the (base) type.

Doing as she would, does not only solve what you describe as the issue at =
hand, it has also helped me in the past to benefit from the LSP when =
scripting with the PHP language.

I'd also like to remind that the expressive capabilities of the language =
are rather limited for class invariants and the history rule, adding an =
escape hatch because users need it can be absolutely legit, but we should =
be clear about that this will weaken them further for the foreseeable time.=


-- hakre