Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:108688
MIME-Version: 1.0
References: <CAH5C8xVYFkgyW88332ei8coMOijuynHXg3A2dL50XU4HP5Vpyw@mail.gmail.com>
 <65c78b5a-55a6-4f1f-b881-f1401aa7dbb1@www.fastmail.com>
In-Reply-To: <65c78b5a-55a6-4f1f-b881-f1401aa7dbb1@www.fastmail.com>
Date: Wed, 19 Feb 2020 20:36:17 +0100
Message-ID: <CADyq6s++9=SJfgDCUWaU7K4VCjU034M30OjcRDYhT0CUz2ddfw@mail.gmail.com>
To: Larry Garfield <larry@garfieldtech.com>
Cc: php internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000a92305059ef2e77a"
Subject: Re: [PHP-DEV] [RFC] [DISCUSSION] Immutable/final/readonly properties
From: ocramius@gmail.com (Marco Pivetta)

--000000000000a92305059ef2e77a
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Wed, Feb 19, 2020, 19:51 Larry Garfield <larry@garfieldtech.com> wrote:

> On Wed, Feb 19, 2020, at 11:05 AM, M=C3=A1t=C3=A9 Kocsis wrote:
> > Hi Internals,
> >
> > I'd like to move my RFC forward to the discussion phase:
> > https://wiki.php.net/rfc/write_once_properties
> >
> > In short, I propose to add support for a new property modifier that wou=
ld
> > allow properties to be initialized, but not modified afterwards.
> >
> > Cheers,
> > M=C3=A1t=C3=A9 Kocsis
>
> As envisoned, does this allow for a property to be set to a dynamic
> value?  My concern is that while a public locked/writeonce property is
> great for access, it doesn't do anything to enable lazy setting on first
> access.  In fact the only way to do that would be to make it private and
> wrap access in a method, which would look exactly like that does now but
> with an extra keyword that doesn't actually offer much.
>
> You could set the value in advance in the constructor, but then it's not
> lazy, just locked.
>
> Is there a way it could support lazy-on-first-use then locked?


M=C3=A1t=C3=A9 did run a few teats: operating on a lazy value (before initi=
alisation)
seems to work as expected =F0=9F=91=8D

--000000000000a92305059ef2e77a--