Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:129756
Message-ID: <352B0914-68EE-480B-895F-D7CB767A15B3@gmail.com>
Content-Type: multipart/alternative;
	boundary="Apple-Mail=_E966A792-3DA0-4F48-B2FF-3A0E1244EE56"
Precedence: list
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3864.300.41.1.7\))
Subject: Re: [PHP-DEV] [RFC] isReadable/isWriteable property reflection
Date: Wed, 14 Jan 2026 21:00:21 +0100
In-Reply-To: <c8877bbc-b82b-4514-9651-b7dfb83b9a35@app.fastmail.com>
Cc: php internals <internals@lists.php.net>
To: Larry Garfield <larry@garfieldtech.com>
References: <e906b61e-b951-4eb4-aa0f-700e76dae6a9@app.fastmail.com>
 <c8877bbc-b82b-4514-9651-b7dfb83b9a35@app.fastmail.com>
From: claude.pache@gmail.com (Claude Pache)


--Apple-Mail=_E966A792-3DA0-4F48-B2FF-3A0E1244EE56
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=utf-8



> Le 13 janv. 2026 =C3=A0 22:30, Larry Garfield <larry@garfieldtech.com> =
a =C3=A9crit :
>=20
> On Wed, Nov 5, 2025, at 5:24 PM, Larry Garfield wrote:
>> In other news, Ilija and I said a year ago that we'd take a swing at=20=

>> adding isReadable/isWriteable methods to ReflectionProperty.  Took a=20=

>> while, but here we are.  A strangely small RFC from us:
>>=20
>> https://wiki.php.net/rfc/isreadable-iswriteable
>=20
> Hi folks.
>=20
> The holiday blackout period is over, and there's nothing else really =
to discuss on this PR, so consider this an Intent to Vote notice for the =
isReadable RFC.
>=20
> I'll call the vote later this week, baring any new serious =
constructive feedback.
>=20
> --Larry Garfield

Hi,

The RFC says:=20

> To use =E2=80=9Cmy current scope,=E2=80=9D the static::class construct =
is an easy way to specify =E2=80=9Cwhatever class this code is running =
in.=E2=80=9D

The code is running in `self::class` or `__CLASS__`, not in =
`static::class`.

------

As noted in the RFC, `isReadable()` will give unavoidable =
false-positives (returning `true` although attempt to read the property =
will error). But there is also a false-negative:

```php
class C {

    function __construct(
        readonly private mixed $foo
    ) { }
   =20
    function __get($x) {
        if ($x =3D=3D=3D 'foo') {
            return $this->foo;
        }
        throw new Error('Undefined property '.$x);
    }

    function __isset($x) {
        if ($x =3D=3D=3D 'foo')
            return isset($this->foo); // not `true`, otherwise =
`isset(new C(null)->foo)` will return an incorrect result.
        }
        return false;
    }
}

$c =3D new C(null);

// will return false, although it is readable
var_dump(new ReflectionProperty($c, 'foo')->isReadable(null, $c));
```

One could skip the `__isset()` check in order to avoid the =
false-negative, at the cost of more false-positives. I don=E2=80=99t =
know what is best, because I tend to avoid `__get()` like the plague =
anyway.


=E2=80=94Claude


--Apple-Mail=_E966A792-3DA0-4F48-B2FF-3A0E1244EE56
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html;
	charset=utf-8

<html aria-label=3D"message body"><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 13 janv. 2026 =C3=A0 22:30, Larry Garfield =
&lt;larry@garfieldtech.com&gt; a =C3=A9crit :</div><br =
class=3D"Apple-interchange-newline"><div><div>On Wed, Nov 5, 2025, at =
5:24 PM, Larry Garfield wrote:<br><blockquote type=3D"cite">In other =
news, Ilija and I said a year ago that we'd take a swing at <br>adding =
isReadable/isWriteable methods to ReflectionProperty. &nbsp;Took a =
<br>while, but here we are. &nbsp;A strangely small RFC from =
us:<br><br>https://wiki.php.net/rfc/isreadable-iswriteable<br></blockquote=
><br>Hi folks.<br><br>The holiday blackout period is over, and there's =
nothing else really to discuss on this PR, so consider this an Intent to =
Vote notice for the isReadable RFC.<br><br>I'll call the vote later this =
week, baring any new serious constructive feedback.<br><br>--Larry =
Garfield<br></div></div></blockquote></div><br><div>Hi,</div><div><br></di=
v><div>The RFC says:&nbsp;</div><div><br></div><div>&gt;&nbsp;<span =
style=3D"font-size: 16px; caret-color: rgb(51, 51, 51); color: rgb(51, =
51, 51); font-family: &quot;Fira Sans&quot;, &quot;Source Sans =
Pro&quot;, Helvetica, Arial, sans-serif; background-color: rgb(255, 255, =
255);">To use =E2=80=9Cmy current scope,=E2=80=9D the&nbsp;</span><code =
class=3D"code php" style=3D"font-size: 16px; font-family: &quot;Source =
Code Pro&quot;, &quot;Courier New&quot;, Courier, monospace, sans-serif; =
line-height: 1.375rem; overflow-wrap: normal; caret-color: rgb(51, 51, =
51); color: rgb(51, 51, 51);">static<span class=3D"sy0" style=3D"color: =
rgb(62, 153, 159);">::</span><span class=3D"kw2" style=3D"color: rgb(66, =
113, 174); font-weight: 600; font-style: =
italic;">class</span></code><span style=3D"font-size: 16px; caret-color: =
rgb(51, 51, 51); color: rgb(51, 51, 51); font-family: &quot;Fira =
Sans&quot;, &quot;Source Sans Pro&quot;, Helvetica, Arial, sans-serif; =
background-color: rgb(255, 255, 255);">&nbsp;construct is an easy way to =
specify =E2=80=9Cwhatever class this code is running =
in.=E2=80=9D</span></div><div><span style=3D"font-size: 16px; =
caret-color: rgb(51, 51, 51); color: rgb(51, 51, 51); font-family: =
&quot;Fira Sans&quot;, &quot;Source Sans Pro&quot;, Helvetica, Arial, =
sans-serif; background-color: rgb(255, 255, =
255);"><br></span></div><div>The code is running in `self::class` or =
`__CLASS__`, not in =
`static::class`.</div><div><br></div><div>------</div><div><br></div><div>=
As noted in the RFC, `isReadable()` will give unavoidable =
false-positives (returning `true` although attempt to read the property =
will error). But there is also a =
false-negative:</div><div><br></div><div>```php</div><div><div>class C =
{</div><div><br></div><div>&nbsp; &nbsp; function =
__construct(</div><div>&nbsp; &nbsp; &nbsp; &nbsp; readonly private =
mixed $foo</div><div>&nbsp; &nbsp; ) { }</div><div>&nbsp; =
&nbsp;&nbsp;</div><div>&nbsp; &nbsp; function __get($x) =
{</div><div>&nbsp; &nbsp; &nbsp; &nbsp; if ($x =3D=3D=3D 'foo') =
{</div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; return =
$this-&gt;foo;</div><div>&nbsp; &nbsp; &nbsp; &nbsp; }</div><div>&nbsp; =
&nbsp; &nbsp; &nbsp; throw new Error('Undefined property =
'.$x);</div><div>&nbsp; &nbsp; }</div><div><br></div><div>&nbsp; &nbsp; =
function __isset($x) {</div><div>&nbsp; &nbsp; &nbsp; &nbsp; if ($x =3D=3D=
=3D 'foo')</div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; return =
isset($this-&gt;foo); // not `true`, otherwise `isset(new =
C(null)-&gt;foo)` will return an incorrect result.</div><div>&nbsp; =
&nbsp; &nbsp; &nbsp; }</div><div>&nbsp; &nbsp; &nbsp; &nbsp; return =
false;</div><div>&nbsp; &nbsp; }</div><div>}</div><div><br></div><div>$c =
=3D new C(null);</div><div><br></div><div>// will return false, although =
it is readable</div><div>var_dump(new ReflectionProperty($c, =
'foo')-&gt;isReadable(null, =
$c));</div></div><div>```</div><div><br></div><div>One could skip the =
`__isset()` check in order to avoid the false-negative, at the cost of =
more false-positives. I don=E2=80=99t know what is best, because I tend =
to avoid `__get()` like the plague =
anyway.</div><div><br></div><div><br></div><div>=E2=80=94Claude</div><div>=
<br></div></body></html>=

--Apple-Mail=_E966A792-3DA0-4F48-B2FF-3A0E1244EE56--