Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:123935
Precedence: bulk
MIME-Version: 1.0
References: <CAOWwgpmbq5VRrZQvUXDsKiNK4r6+bFA4VxnjQ_U=h8T9r0o3DA@mail.gmail.com>
 <CAAKU0u=NL22QO_ii76NGxEFv8_RtpLy9N0Oku0gBztA0u2vrXA@mail.gmail.com> <CAP1Jc10=qZQyg9Qi9WWo1pAbmnMJZL-=-dpWJ_XDyJEYQoecvA@mail.gmail.com>
In-Reply-To: <CAP1Jc10=qZQyg9Qi9WWo1pAbmnMJZL-=-dpWJ_XDyJEYQoecvA@mail.gmail.com>
Date: Thu, 27 Jun 2024 12:32:41 +0200
Message-ID: <CADyq6sLAC5Tme78gGRB-Ti3GfcFCmU9hp9iM2iGdVBO4Mhg+=g@mail.gmail.com>
Subject: Re: [PHP-DEV] [RFC] Lazy Objects
To: Arnaud Le Blanc <arnaud.lb@gmail.com>
Cc: Levi Morrison <levi.morrison@datadoghq.com>, 
	Nicolas Grekas <nicolas.grekas+php@gmail.com>, PHP Internals List <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="00000000000055ca5e061bdca753"
From: ocramius@gmail.com (Marco Pivetta)

--00000000000055ca5e061bdca753
Content-Type: text/plain; charset="UTF-8"

Hey Arnaud,

On Wed, 26 Jun 2024 at 21:06, Arnaud Le Blanc <arnaud.lb@gmail.com> wrote:

> The proposed implementation is adding very little complexity as it's not
> adding any special case outside of object handlers (except in json_encode()
> and serialize() because these functions trade abstractions for speed).
> Furthermore all operations that may trigger an object initialization are
> already effectful, due to magic methods or hooks (so we are not making pure
> operations effectful). This means that we do not have to worry about lazy
> objects or to be aware of them anywhere in the code base, outside of object
> handlers.
>
> To give you an idea, it's implemented by hooking into the code path that
> handles accesses to undefined properties. This code path may call __get or
> __set methods if any, or trigger errors, and with this proposal, may
> trigger the initialization. Userland implementations achieve this
> functionality in a very similar way (with unset() and a generated sub-class
> with magic methods), but they have considerably more edge cases to handle
> due to being at a different abstraction level.
>

Assuming this won't pass a vote (I hope it does, but I want to be
optimistic): is this something that could be implemented in an extension,
or is it only feasible in core?

Greets,

Marco Pivetta

https://mastodon.social/@ocramius

https://ocramius.github.io/

--00000000000055ca5e061bdca753
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr">Hey Arnaud,</div><br><div class=3D"gmail_=
quote"><div dir=3D"ltr" class=3D"gmail_attr">On Wed, 26 Jun 2024 at 21:06, =
Arnaud Le Blanc &lt;<a href=3D"mailto:arnaud.lb@gmail.com">arnaud.lb@gmail.=
com</a>&gt; wrote:<br></div><blockquote class=3D"gmail_quote" style=3D"marg=
in:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1e=
x"><div dir=3D"ltr"><div class=3D"gmail_quote"><div><div>The proposed imple=
mentation is=20
adding very little complexity as it&#39;s not adding any special case=20
outside of object handlers (except in json_encode() and serialize()=20
because these functions trade abstractions for speed). Furthermore all=20
operations that may trigger an object initialization are already=20
effectful, due to magic methods or hooks (so we are not making pure=20
operations effectful). This means that we do not have to worry about=20
lazy objects or to be aware of them anywhere in the code base, outside=20
of object handlers.<br></div><div><br></div><div>To give you an idea,=20
it&#39;s implemented by hooking into the code path that handles accesses to=
=20
undefined properties. This code path may call __get or __set methods if=20
any, or trigger errors, and with this proposal, may trigger the=20
initialization. Userland implementations achieve this functionality in a
 very similar way (with unset() and a generated sub-class with magic=20
methods), but they have considerably more edge cases to handle due to=20
being at a different abstraction level.</div></div></div></div></blockquote=
><div><br></div><div>Assuming this won&#39;t pass a vote (I hope it does, b=
ut I want to be optimistic): is this something that could be implemented in=
 an extension, or is it only feasible in core?<br></div><div><br></div><div=
>Greets,</div><div><br clear=3D"all"></div><div><div><div><div dir=3D"ltr" =
class=3D"gmail_signature"><div dir=3D"ltr">Marco Pivetta <br><br><a href=3D=
"https://mastodon.social/@ocramius" target=3D"_blank">https://mastodon.soci=
al/@ocramius</a><br><br><a href=3D"https://ocramius.github.io/" target=3D"_=
blank">https://ocramius.github.io/</a></div></div></div></div>=C2=A0</div><=
/div></div>

--00000000000055ca5e061bdca753--