Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:110798
MIME-Version: 1.0
References: <CAHRtwKbbsoh4kT5++43yJg9RH+aNnRCAiE+yLOO7tOfMjcjBGg@mail.gmail.com>
 <CA+kxMuSFhDT1Mef=a46rzPoKMysUmCOOhX4e0z60+KtOkaR4hg@mail.gmail.com>
In-Reply-To: <CA+kxMuSFhDT1Mef=a46rzPoKMysUmCOOhX4e0z60+KtOkaR4hg@mail.gmail.com>
Date: Wed, 1 Jul 2020 12:44:24 +0200
Message-ID: <CAF+90c-f4w2BzFWub_24h0fG9nPo5+F-vmL-gD5YE17UEdJWBw@mail.gmail.com>
To: Dan Ackroyd <Danack@basereality.com>
Cc: =?UTF-8?B?QW5kcsOpIFLDuG1ja2U=?= <andre.romcke@gmail.com>, 
	PHP Internals List <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000a50f0305a95efa99"
Subject: Re: [PHP-DEV] [RFC] Property write visibility
From: nikita.ppv@gmail.com (Nikita Popov)

--000000000000a50f0305a95efa99
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Tue, Jun 30, 2020 at 1:26 PM Dan Ackroyd <Danack@basereality.com> wrote:

> On Mon, 29 Jun 2020 at 10:42, Andr=C3=A9 R=C3=B8mcke <andre.romcke@gmail.=
com> wrote:
> >
> > I'd like to start discussion on a new RFC proposing a way to be able to
> > (optionally) specify property
> > write visibility, separate from read:
> >
> > https://wiki.php.net/rfc/property_write_visibility
> >
>
> From the RFC:
> "Attempting to pass a property value outside of allowed writable scope
> as a reference, results in an error."
>
> This part could probably do with having some details for it.
>
> Also, any implementation of that rule might need to be checked for
> performance issues.
>

I think it would be technically possible, by extending the existing
mechanism for references to typed properties. However, we definitely
shouldn't do this, because it goes against existing language semantics. You
can take a reference to a normal private property (i.e. private get,
private set), pass it outside the class and then modify it. It would be
inconsequent to assign stricter semantics to a weaker visibility
requirement (public get, private set).

Regards,
Nikita

--000000000000a50f0305a95efa99--