Newsgroups: php.internals,php.internals
Path: news.php.net
Xref: news.php.net php.internals:128432 php.internals:128433
Message-ID: <A1130FA8-324D-4D01-80AD-9A238E1D4E5B@gmail.com>
Content-Type: multipart/alternative;
	boundary="Apple-Mail=_69005777-6584-4C7A-A37E-716081619D5E"
Precedence: list
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3826.700.81\))
Subject: Re: [PHP-DEV] Protected inheritance hierarchies
Date: Fri, 8 Aug 2025 09:13:09 +0200
In-Reply-To: <e3900ba3-a305-4991-9093-17d0abc2a46f@jnvsor.net>
Cc: Hans Krentel <hanskrentel@yahoo.de>,
 internals@lists.php.net
To: Jonathan Vollebregt <jnv@jnvsor.net>
References: <c535446a-8108-4f36-b0cb-f116eb69e2ba@app.fastmail.com>
 <1754480697189.440122623.4156562731@yahoo.de>
 <e3900ba3-a305-4991-9093-17d0abc2a46f@jnvsor.net>
From: claude.pache@gmail.com (Claude Pache)


--Apple-Mail=_69005777-6584-4C7A-A37E-716081619D5E
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=utf-8



> 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.


Hi,

Sorry to reply without completely reading this long thread.

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.

This is true whether the member is concretly a method, a property or a =
constant, or whether it is static or not.

I am writing this to draw the attention that the issue should be =
resolved not only for protected properties, but also for protected =
constants.

Test cases currently passed:

protected method: https://3v4l.org/LmLLu
protected static method: https://3v4l.org/vjllN

Test cases currently in failure:

protected property: https://3v4l.org/br0tj
protected static property: https://3v4l.org/2Ue97
protected constant: https://3v4l.org/jXm6U

=E2=80=94Claude=

--Apple-Mail=_69005777-6584-4C7A-A37E-716081619D5E
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html;
	charset=utf-8

<html><head><meta http-equiv=3D"content-type" content=3D"text/html; =
charset=3Dutf-8"></head><body style=3D"overflow-wrap: break-word; =
-webkit-nbsp-mode: space; line-break: after-white-space;"><br =
id=3D"lineBreakAtBeginningOfMessage"><div><br><blockquote =
type=3D"cite"><div>Le 7 ao=C3=BBt 2025 =C3=A0 20:37, Jonathan Vollebregt =
&lt;jnv@jnvsor.net&gt; a =C3=A9crit :</div><br =
class=3D"Apple-interchange-newline"><div><br style=3D"caret-color: =
rgb(0, 0, 0); font-family: Helvetica; font-size: 14px; font-style: =
normal; font-variant-caps: normal; font-weight: 400; letter-spacing: =
normal; text-align: start; text-indent: 0px; text-transform: none; =
white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; =
text-decoration: none;"><span style=3D"caret-color: rgb(0, 0, 0); =
font-family: Helvetica; font-size: 14px; font-style: normal; =
font-variant-caps: normal; font-weight: 400; letter-spacing: normal; =
text-align: start; text-indent: 0px; text-transform: none; white-space: =
normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; =
text-decoration: none; float: none; display: inline !important;">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.</span></div></blockquote></div><br><div><br></div><div><div>Hi,</div=
><div><br></div><div>Sorry to reply without completely reading this long =
thread.</div><div><br></div><div>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.</div><div><br></div><div>This is true whether the member is =
concretly a method, a property or a constant, or whether it is static or =
not.</div><div><br></div><div>I am writing this to draw the attention =
that the issue should be resolved not only for protected properties, but =
also for protected constants.</div><div><br></div><div>Test cases =
currently passed:</div><div><br></div><div>protected method: =
https://3v4l.org/LmLLu</div><div>protected static method: =
https://3v4l.org/vjllN</div><div><br></div><div>Test cases currently in =
failure:</div><div><br></div><div>protected property: =
https://3v4l.org/br0tj</div><div>protected static property: =
https://3v4l.org/2Ue97</div><div>protected constant: <a =
href=3D"https://3v4l.org/jXm6U">https://3v4l.org/jXm6U</a></div></div><div=
><br></div><div>=E2=80=94Claude</div></body></html>=

--Apple-Mail=_69005777-6584-4C7A-A37E-716081619D5E--