Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:129104
Precedence: list
MIME-Version: 1.0
References: <CAFyg4HhrzQrE-q8D6WVkyq9tY+hzR=8rXiXLDPYpNKdYeydrVA@mail.gmail.com>
 <CAMW7n8Bqze3Z7z9ZqSXSwVH4gqLQ3a9xYYSH33hvopOQ9DQChQ@mail.gmail.com>
 <CAFyg4HjvWDCtfcY8vMYekqpyoLVbXYed=ZMv2X+8UaE--p+QkA@mail.gmail.com> <A2F4FFD9-ACA1-45E5-81F8-473E09A879FB@rwec.co.uk>
In-Reply-To: <A2F4FFD9-ACA1-45E5-81F8-473E09A879FB@rwec.co.uk>
Date: Thu, 6 Nov 2025 03:25:34 +0100
Message-ID: <CAFyg4Hj+vuWZ1dtST1R-dPRjpjZ70G3C5-OFw1vG2JHChOf05A@mail.gmail.com>
Subject: Re: [PHP-DEV] [RFC][Discussion] use construct (Block Scoping)
To: "Rowan Tommins [IMSoP]" <imsop.php@rwec.co.uk>
Cc: internals@lists.php.net
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
From: azjezz@carthage.software (Seifeddine Gmati)

On Wed, 5 Nov 2025 at 21:18, Rowan Tommins [IMSoP] <imsop.php@rwec.co.uk> w=
rote:
>
> On 4 November 2025 19:44:40 GMT, Seifeddine Gmati <azjezz@carthage.softwa=
re> wrote:
>
> >This mimics Python's context manager protocol. The `dispose()` method
> >would be called before `__destruct`, allowing objects to distinguish
> >between successful completion and failure.
>
>
> A clarification here: this would be equivalent to IDisposable in C#, but =
it would not be equivalent to the Context Manager protocol in Python.
>
> The use cases which motivated them are actually quite different: C# neede=
d a way to handle things like pointers to unmanaged memory, so the design i=
s closely tied to the actual resource object cleaning up its own internal s=
tate. Python was looking much more generally at common programming patterns=
, and a "context manager" can be separate from the resource it is managing,=
 or even have no associated resource at all, only "enter" and "exit" behavi=
our.
>
>
>
> Rowan Tommins
> [IMSoP]

Hi Rowan,

My statement that it closely relates to Python, is in the sense that
if we were to add a `Disposable` interface, it would need to add
additional value beyond what `__destruct` already provides. In C#,
`Disposable::Dispose` ( just like in Hack ) receives no information on
whether the `using` scope exited successfully or due to an exception,
so having this in PHP adds no value that `__destruct` doesn't already
provide.