Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:129180
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Precedence: list
Mime-Version: 1.0 (1.0)
Subject: Re: [PHP-DEV] RFC: Namespace-Scoped Visibility for Methods and Properties
Date: Sun, 9 Nov 2025 15:25:25 -0500
Message-ID: <C9E96720-FDF3-488E-9D0B-6CA2C09F88F8@gmail.com>
References: <475570ea-ff3f-4eb2-bbe6-8f86760ac5e3@bastelstu.be>
Cc: Rob Landers <rob@bottled.codes>,
 =?utf-8?Q?Alexandru_P=C4=83tr=C4=83nescu?= <drealecs@gmail.com>,
 internals PHP <internals@lists.php.net>
In-Reply-To: <475570ea-ff3f-4eb2-bbe6-8f86760ac5e3@bastelstu.be>
To: =?utf-8?Q?Tim_D=C3=BCsterhus?= <tim@bastelstu.be>
From: volodymyr.volynets@gmail.com (Volodymyr Volynets)

Hi,

Did we take into account prefixed namespaces.

private(namespace \Users\Auth\*) function test() {}

And then Auth folder has other classes and folders with child namespaces.

Sent from my iPhone

> On Nov 9, 2025, at 2:56=E2=80=AFPM, Tim D=C3=BCsterhus <tim@bastelstu.be> w=
rote:
>=20
> =EF=BB=BFHi
>=20
>> On 11/9/25 20:41, Rob Landers wrote:
>> class P {
>>     private(namespace) function x() {}
>> }
>> class C extends P {
>>     protected function x() {}
>> }
>> This behaves the same as overriding a private method with a protected/pub=
lic one today: the parent=E2=80=99s method is private to its declaring class=
, so the second example is allowed.
>=20
> This is unsound. As we have established, neither `private(namespace)` nor `=
protected` is a subset of each other.
>=20
> Specifically allowing this breaks the following (everything is declared in=
 the same namespace):
>=20
>    class P {
>        private(namespace) function x() { }
>    }
>    class C extends P {
>        protected function x() { }
>    }
>=20
>    function f(P $p) {
>        $p->x(); // legal, because f is in the same namespace as P.
>    }
>=20
>    f(new C()); // breaks, because C::x() is protected and thus not legal t=
o access from f / the global scope.
>=20
> Best regards
> Tim D=C3=BCsterhus