Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:119728
MIME-Version: 1.0
References: <8a9a04b3-45e6-47dd-dee8-0f524e49bd37@gmail.com>
 <CAOWwgpnPxDg0VWCtwn9ALAdiHNn1SFjLAsvVJiMaR-QQc0fU2A@mail.gmail.com> <CALKiJKrCXgWmBzWB_HfcqbrA8G4xLDzdryOkcy+JjUCWm4fC5Q@mail.gmail.com>
In-Reply-To: <CALKiJKrCXgWmBzWB_HfcqbrA8G4xLDzdryOkcy+JjUCWm4fC5Q@mail.gmail.com>
Date: Thu, 16 Mar 2023 18:59:35 +0100
Message-ID: <CAOWwgpmOFek0oZt9aOg44nCbcbcY7J3T-Ghw=UvFFd6Ugr=pRA@mail.gmail.com>
To: Rowan Tommins <rowan.collins@gmail.com>
Cc: PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000e2a49105f7083985"
Subject: Re: [PHP-DEV] Brainstorming idea: inline syntax for lexical
 (captured) variables
From: nicolas.grekas+php@gmail.com (Nicolas Grekas)

--000000000000e2a49105f7083985
Content-Type: text/plain; charset="UTF-8"

> > To overcome the issues spotted in the thread, what about doing some sort
> > of CPP instead of autocapture?
> >
> > new class (...$arguments) use ($outer) extends Foo {
> >     public function getIt() {
> >         return $this->outer;
> >     }
> > }
> >
> > This would be the equivalent of this:
> >
> > new class ($outer, ...$arguments) extends Foo {
> >     public function __construct(public mixed $outer, ...$arguments) {
> >         parent::__construct(...$arguments);
> >     }
> >      public function getIt() {
> >          return $this->outer;
> >     }
> > }
> >
>
>
> I was actually just thinking about exactly that approach, and wondering it
> would be possible to do it entirely as an AST rewrite.
>
> My only uncertainty so far is what to do with an actual constructor in the
> class, like this:
>
> new class($custom) use ($captured) {
>     public function __construct($custom) {
>          // Duplicate definition error?
>          // Silently renamed and called from the generated constructor?
>          // Merged into the body after the generated lines?
>     }
> }
>
> Forbidding it wouldn't be the worst restriction, but if there was some
> per-instance setup logic needed, not being able to write a constructor body
> might be a pain.
>

We could define the "use" as declaring + setting the properties before the
constructor is called, if any.
But I'm also fine making both constructs conflict: when there is a
constructor, the boilerplate saved by the "use" becomes really low.
No strong opinion either. There could be other factors to consider.



> > And we could also allow this for better type expressivity:
> > new class (...$arguments) use (private int $outer) extends Foo {
> > // ...
> > }
> >
>
>
> I was going to suggest an "as" clause, similar to traits, which would also
> allow naming the property differently from the source variable:
>
> $foo = 42;
> $name = 'Bob';
> $class = new class use ($foo as private int $counter, $name as readonly
> string) {}
>

I like that!

--000000000000e2a49105f7083985--