Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:124580
Feedback-ID: ifab94697:Fastmail
User-Agent: Cyrus-JMAP/3.11.0-alpha0-582-g5a02f8850-fm-20240719.002-g5a02f885
Precedence: bulk
MIME-Version: 1.0
Message-ID: <72131a21-1349-47fe-9267-ebad44575995@app.fastmail.com>
In-Reply-To: 
 <CAOWwgp=zu8y95EyEvjidNuiBOr8-ckek_xFmrcA_JifLy3U2Xg@mail.gmail.com>
References: 
 <CAOWwgpmbq5VRrZQvUXDsKiNK4r6+bFA4VxnjQ_U=h8T9r0o3DA@mail.gmail.com>
 <ab83af79-0669-47dd-a3cb-ab72327ae174@bastelstu.be>
 <CAP1Jc13JWVg99AULgzrGXcoCWJtJZGz+nr_VoyUocw8n5n5sfQ@mail.gmail.com>
 <1118bbcd-a7b4-47bf-bf35-1a36ab4628e1@bastelstu.be>
 <CAP1Jc11vNiazMRL8Y-4NcJhsEkg6kgFNKLymTGfEPYRv114oTA@mail.gmail.com>
 <45847b93-02bf-459f-bcd2-81ba35a12c24@bastelstu.be>
 <CAOWwgpnt77-Sybzc3hcnFEui9t8wAv03NAov4xCK9ib_VRZ0JA@mail.gmail.com>
 <46bd4098-2936-4e46-98e9-fe55118325c2@bastelstu.be>
 <CAOWwgpkCy++W1C2t0PnkZ71S8vq1B734ZNPGw2-OHjmrwO3L4A@mail.gmail.com>
 <61ab36bc-b045-452a-84e0-87367d4c680e@bastelstu.be>
 <CAEPJduk6m1gdPOrsXYbsc+RLuHeEBav3pGwQO+PHs4UGGqtzhg@mail.gmail.com>
 <07e065f2-8f64-4bad-9a98-51f4eaf63ddb@app.fastmail.com>
 <CAOWwgpngQtg2NRW6M6RwgSH+OS1iipewHBmM5c36P2MxQGX78A@mail.gmail.com>
 <2a0a4650-c2c5-4c6d-ad3a-25365b3391b2@bastelstu.be>
 <CAOWwgpm9FLy_SNt7HLtJh5sxtfwjZMMN6pOKioDqsJc+GgD-sA@mail.gmail.com>
 <CAOWwgpnwoPH_rkJreh8v+X8WagzcCJ_puT1RWC0c717GMj5Onw@mail.gmail.com>
 <CAOWwgp=uwDebrx-=H8yP1Dgwf9ji=v_qagw9aAxbDJcPvCqKNw@mail.gmail.com>
 <b096b1d3-4414-4b53-a3b0-3a87c8dd7ff3@app.fastmail.com>
 <CAOWwgp=88jWSR-roWTrkkgwVgQvLQYbkTGSGAr6ASPs6s7s_4g@mail.gmail.com>
 <2fd6d80d-a55c-4aad-aeee-6d07d4b930a1@app.fastmail.com>
 <CAOWwgp=zu8y95EyEvjidNuiBOr8-ckek_xFmrcA_JifLy3U2Xg@mail.gmail.com>
Date: Wed, 24 Jul 2024 21:43:51 +0200
To: "Nicolas Grekas" <nicolas.grekas+php@gmail.com>,
 "Larry Garfield" <larry@garfieldtech.com>
Cc: "php internals" <internals@lists.php.net>
Subject: Re: [PHP-DEV] [RFC] Lazy Objects
Content-Type: multipart/alternative;
 boundary=7e4046c484254311be2d56390c5b7b06
From: rob@bottled.codes ("Rob Landers")

--7e4046c484254311be2d56390c5b7b06
Content-Type: text/plain;charset=utf-8
Content-Transfer-Encoding: quoted-printable



On Wed, Jul 24, 2024, at 16:28, Nicolas Grekas wrote:
>=20
> To Rob: proxying by interface can be implemented using regular code ge=
neration so it's not a blocker. Symfony does it already, and will contin=
ue to do it to cover the use case.

I'm not sure what you mean, as the RFC makes it look this should be comp=
letely legal, until you get to the end:

interface Fancy {
  function sayHi(): void;
}
class A implements Fancy {
  function sayHi(): void { echo "hi!"; }
}

$container->register(proxyType: Fancy::class, factory: fn() =3D> new A()=
);

// Now container only knows that it needs to return a FancyClass and thi=
s is "legal looking":

$lazy =3D new ReflectionClass($proxyType)->newLazyProxy($factory);
// same as
$lazy =3D new ReflectionClass(Fancy::class)->newLazyProxy(fn() =3D> new =
A());

This ^ compiles, it's perfectly legal and makes 100% sense that I should=
 be able to call $lazy->sayHi() and it calls A::sayHi(), which is what y=
ou would expect. Instead, this is runtime error.

=E2=80=94 Rob
--7e4046c484254311be2d56390c5b7b06
Content-Type: text/html;charset=utf-8
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE html><html><head><title></title><style type=3D"text/css">p.Mso=
Normal,p.MsoNoSpacing{margin:0}</style></head><body><div><br></div><div>=
<br></div><div>On Wed, Jul 24, 2024, at 16:28, Nicolas Grekas wrote:<br>=
</div><blockquote type=3D"cite" id=3D"qt" style=3D""><div dir=3D"ltr"><d=
iv dir=3D"ltr"><br></div><div class=3D"qt-gmail_quote"><div>To Rob: prox=
ying by interface can be implemented using regular code generation so it=
's not a blocker. Symfony does it already, and will continue to do it to=
 cover the use case.<br></div></div></div></blockquote><div><br></div><d=
iv>I'm not sure what you mean, as the RFC makes it look this should be c=
ompletely legal, until you get to the end:<br></div><div><br></div><div>=
interface Fancy {<br></div><div>&nbsp; function sayHi(): void;</div><div=
>}<br></div><div>class A implements Fancy {<br></div><div>&nbsp; functio=
n sayHi(): void { echo "hi!"; }</div><div>}<br></div><div><br></div><div=
>$container-&gt;register(proxyType: Fancy::class, factory: fn() =3D&gt; =
new A());<br></div><div><br></div><div>// Now container only knows that =
it needs to return a FancyClass and this is "legal looking":<br></div><d=
iv><br></div><div>$lazy =3D new ReflectionClass($proxyType)-&gt;newLazyP=
roxy($factory);</div><div>// same as</div><div>$lazy =3D new ReflectionC=
lass(Fancy::class)-&gt;newLazyProxy(fn() =3D&gt; new A());<br></div><div=
><br></div><div>This ^ compiles, it's perfectly legal and makes 100% sen=
se that I should be able to call $lazy-&gt;sayHi() and it calls A::sayHi=
(), which is what you would expect. Instead, this is runtime error.</div=
><div id=3D"sig121229152"><br></div><div id=3D"sig121229152">=E2=80=94 R=
ob<br></div></body></html>
--7e4046c484254311be2d56390c5b7b06--