Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:124493
Precedence: bulk
MIME-Version: 1.0
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>
 <CAGKNXQFEwJts2CERgMVmK9JTXubqcy1cmUd-=xD98X_dAciNsA@mail.gmail.com>
In-Reply-To: <CAGKNXQFEwJts2CERgMVmK9JTXubqcy1cmUd-=xD98X_dAciNsA@mail.gmail.com>
Date: Thu, 18 Jul 2024 21:11:10 +0200
Message-ID: <CAP1Jc12kF_VXuiuXB95xTFAqp42gP2mTzXcfZ-QA6W7d-dE7_A@mail.gmail.com>
Subject: Re: [PHP-DEV] [RFC] Lazy Objects
To: Philip Hofstetter <phofstetter@sensational.ch>
Cc: Nicolas Grekas <nicolas.grekas+php@gmail.com>, php internals <internals@lists.php.net>, 
	Larry Garfield <larry@garfieldtech.com>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
From: arnaud.lb@gmail.com (Arnaud Le Blanc)

Hi Philip,

On Thu, Jul 18, 2024 at 12:19=E2=80=AFPM Philip Hofstetter
<phofstetter@sensational.ch> wrote:
> Super minor nitpick: You have updated the prototype, but not the explanat=
ion text which still says:
>
>> When initialization is required, the $initializer is called with the obj=
ect as first parameter. The initializer should initialize the object, and m=
ust return null (or void). See the =E2=80=9CInitialization Sequence=E2=80=
=9D section.

I've updated the text as suggested, as the Initialization Sequence
section also specifies how the function should return. The
Initialization Sequence section says approximately the same thing,
however: "The initializer must return null or no value. If the
initializer returns something other than null, a TypeError is thrown".
The reason is that all function calls evaluate to a value, including
when calling a void function, so void functions actually return null.
Unfortunately we have no good way to enforce a void return, unless we
check the declared return type of the function, but it would not work
for all kinds of callables.

Documenting the signature as returning void is fine, though.

Note that the return value is not important currently: We just check
that it's null so that we reserve the possibility to give the return
value a meaning in the future.

Best Regards,
Arnaud