Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:95648
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.217.174 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <C755F07F-13CF-4023-B972-24704EB56FD7@daveyshafik.com>
References: <CAOWwgpkOGGAiPm2jxQAOYx_ViPToTJSgFYPeaquJXBLgJj2X_g@mail.gmail.com>
 <C755F07F-13CF-4023-B972-24704EB56FD7@daveyshafik.com>
Date: Mon, 5 Sep 2016 10:08:20 -0400
Message-ID: <CAEUnE0c_3rrbAaLazaDJwPe4Oi+7_HY_OJ26EAwogcoACC7Wqw@mail.gmail.com>
To: Davey Shafik <me@daveyshafik.com>
Cc: Nicolas Grekas <nicolas.grekas@gmail.com>, 
	"internals@lists.php.net" <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=94eb2c191fa07375ac053bc3361d
Subject: Re: [PHP-DEV] Missing reflection info about strict types?
From: tendoaki@gmail.com (Michael Morris)

--94eb2c191fa07375ac053bc3361d
Content-Type: text/plain; charset=UTF-8

On Mon, Sep 5, 2016 at 5:49 AM, Davey Shafik <me@daveyshafik.com> wrote:

>
> > On Sep 5, 2016, at 02:38, Nicolas Grekas <nicolas.grekas@gmail.com>
> wrote:
> >
> > Hello,
> >
> > It looks like we miss a way to check by reflection if a function/method
> has
> > strict types enabled or not.
> >
> > We'd need to do this in Symfony to generate a file with concatenated
> > classes, but split "declare_strict=1" classes out so that they don't
> break
> > (because there is no way to create a single file that contains both
> strict
> > and non-strict classes unfortunately also).
> >
> > 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
> dictate that their code be called using strict types or not, only the file
> actually calling the library methods can. Though, regardless, the type
> hints do ensure that the value received is of the type specified, you just
> won't know if it was coerced or not.
>
> Just like when you import a namespaced class and alias it, the alias only
> works in the file the "use " statement is in.
>
> Therefore, you cannot actually author strict or non-strict classes period,
> unless they are only called in the file in which they are defined.
>


Actually you can, in PHP 5 even.  This sort of thing is what the assert()
statement is for.


public function stringsOnly( $var ) {
  assert(is_str($var), 'Strings Only!');
}

This does have the weakness of not working when assertions are turned off.
If $var is a form of user input then an exception test is called for, and
likely should be done before stringsOnly in this example gets worked with.

--94eb2c191fa07375ac053bc3361d--