Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:106287
To: Nikita Popov <nikita.ppv@gmail.com>,
 PHP internals <internals@lists.php.net>
References: <CAF+90c__85rwDJ49K5=-wNV_SbSwm7z+VuKPU4Jmkuuqg5mySw@mail.gmail.com>
Message-ID: <dd65268d-3822-b116-ee2c-b7ba62878f71@gmx.de>
Date: Wed, 24 Jul 2019 21:19:36 +0200
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101
 Thunderbird/60.8.0
MIME-Version: 1.0
In-Reply-To: <CAF+90c__85rwDJ49K5=-wNV_SbSwm7z+VuKPU4Jmkuuqg5mySw@mail.gmail.com>
Content-Type: text/plain; charset=utf-8
Content-Language: de-DE
Content-Transfer-Encoding: quoted-printable
Subject: Re: Generating arginfo from stub files
From: cmbecker69@gmx.de ("Christoph M. Becker")

On 18.06.2019 at 17:10, Nikita Popov wrote:

> Hi internals,
>
> In PHP 8 it will be possible to add reflectible argument and return type
> information for internal functions (it was previously theoretically
> possible as well, but forbidden by policy for php-src for multiple reaso=
ns,
> which have now been resolved).
>
> It will take quite a bit of effort to add this information for hundreds =
of
> builtin functions. I would like to take this chance to improve the way i=
n
> which arginfo structures are specified, and make it more ergonomic and
> future proof. Here is an example of a typed arginfo structure:
>
> ZEND_BEGIN_ARG_WITH_RETURN_TYPE_INFO_EX(arginfo_class_alias, 0, 2,
> _IS_BOOL, 0)
>     ZEND_ARG_TYPE_INFO(0, user_class_name, IS_STRING, 0)
>     ZEND_ARG_TYPE_INFO(0, alias_name, IS_STRING, 0)
>     ZEND_ARG_TYPE_INFO(0, autoload, _IS_BOOL, 0)
> ZEND_END_ARG_INFO()
>
> Rather than writing this out by hand, I would like arginfo structures to=
 be
> generated from PHP stub files that contain definitions like this:
>
> function class_alias(string $user_class_name, string $alias_name, bool
> $autoload =3D true): bool {}
>
> I've created a proof of concept implementation for this at
> https://github.com/php/php-src/pull/4284. Function signatures are specif=
ied
> in a xyz.stub.php file from which xyz_arginfo.h is generated. This file =
can
> then be included in the implementation. Nothing about the arginfo
> implementation itself changes.
>
> What do you think about providing this mechanism?

I like it.  Thanks!

Christoph