Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:95636
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain daveyshafik.com from 209.85.192.171 cause and error)
Content-Type: multipart/alternative;
	boundary=Apple-Mail-B02D5AD6-8457-450F-9C9A-D4020DF592A4
Mime-Version: 1.0 (1.0)
In-Reply-To: <CAOWwgpkOGGAiPm2jxQAOYx_ViPToTJSgFYPeaquJXBLgJj2X_g@mail.gmail.com>
Date: Mon, 5 Sep 2016 02:49:15 -0700
Cc: "internals@lists.php.net" <internals@lists.php.net>
Content-Transfer-Encoding: 7bit
Message-ID: <C755F07F-13CF-4023-B972-24704EB56FD7@daveyshafik.com>
References: <CAOWwgpkOGGAiPm2jxQAOYx_ViPToTJSgFYPeaquJXBLgJj2X_g@mail.gmail.com>
To: Nicolas Grekas <nicolas.grekas@gmail.com>
Subject: Re: [PHP-DEV] Missing reflection info about strict types?
From: me@daveyshafik.com (Davey Shafik)

--Apple-Mail-B02D5AD6-8457-450F-9C9A-D4020DF592A4
Content-Type: text/plain;
	charset=us-ascii
Content-Transfer-Encoding: quoted-printable


> On Sep 5, 2016, at 02:38, Nicolas Grekas <nicolas.grekas@gmail.com> wrote:=

>=20
> Hello,
>=20
> It looks like we miss a way to check by reflection if a function/method ha=
s
> strict types enabled or not.
>=20
> We'd need to do this in Symfony to generate a file with concatenated
> classes, but split "declare_strict=3D1" classes out so that they don't bre=
ak
> (because there is no way to create a single file that contains both strict=

> and non-strict classes unfortunately also).
>=20
> Would it be possible to expose some flavor of ZEND_ACC_STRICT_TYPES to
> userland?

Strict types are only enforced from the CALL site. A library author cannot d=
ictate that their code be called using strict types or not, only the file ac=
tually calling the library methods can. Though, regardless, the type hints d=
o ensure that the value received is of the type specified, you just won't kn=
ow if it was coerced or not.

Just like when you import a namespaced class and alias it, the alias only wo=
rks in the file the "use " statement is in.

Therefore, you cannot actually author strict or non-strict classes period, u=
nless they are only called in the file in which they are defined.

This means you cannot reflect on it, unless we start doing reflection on sou=
rce code files themselves.

 - Davey=

--Apple-Mail-B02D5AD6-8457-450F-9C9A-D4020DF592A4--