Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:108693
MIME-Version: 1.0
References: <CAH5C8xVYFkgyW88332ei8coMOijuynHXg3A2dL50XU4HP5Vpyw@mail.gmail.com>
 <65c78b5a-55a6-4f1f-b881-f1401aa7dbb1@www.fastmail.com> <CADyq6s++9=SJfgDCUWaU7K4VCjU034M30OjcRDYhT0CUz2ddfw@mail.gmail.com>
 <75810945-7aa3-45a9-a2fa-eb71db695e9b@www.fastmail.com>
In-Reply-To: <75810945-7aa3-45a9-a2fa-eb71db695e9b@www.fastmail.com>
Date: Thu, 20 Feb 2020 09:58:02 +0100
Message-ID: <CAH5C8xVhaxSQtgu752FxUTccOumAWYyiRT0+26Fm04yd8W22uQ@mail.gmail.com>
To: Larry Garfield <larry@garfieldtech.com>
Cc: php internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000e6dbd7059efe1a74"
Subject: Re: [PHP-DEV] [RFC] [DISCUSSION] Immutable/final/readonly properties
From: kocsismate90@gmail.com (=?UTF-8?B?TcOhdMOpIEtvY3Npcw==?=)

--000000000000e6dbd7059efe1a74
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

>
> I would expect that operating on one of these properties before it's
> initialized will throw an error:
>

Actually, the RFC only says that the "immutability" of properties is
guaranteed after initialization.
We could of course change this premise, but that would make some important
use-cases (like
what Marco's ProxyManager has) impossible to do. Furthermore, unsetting
properties could be
completely disabled by another RFC, given there is a migration path for the
legitimiate use-cases.
As far as I remember, the "Locked Classes" (
https://wiki.php.net/rfc/locked-classes) and lately the
"Rigid Properties" (https://github.com/php/php-src/pull/5170) RFCs try to
have their shots at it.


> Does that work currently or no?  If so, this is pretty sweet.  If not, it
> seems to be of limited use.
>

No, it doesn't work, and it seems to be an unrelated feature for me. As far
as I understand your
example, it's the topic of the "Constant expressions" RFC.

I believe the behaviour proposed by my RFC would be still useful in many
cases where one wants
to be sure that no unexpected modifications can happen with a property. My
use-cases
would mainly include objects storing different kind of data: events, value
objects, data transfer objects.

M=C3=A1t=C3=A9 Kocsis

--000000000000e6dbd7059efe1a74--