Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:81864
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.220.169 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CAG1choo=Hf=wQezrgBvUTACHamT4P0jn7rPWts7URHr7Za_LMg@mail.gmail.com>
References: <CAG1choqqmn=Ut9g6Y-Ss3JOUc-yNZTQ5Beyc9sCmEROR2vSpyA@mail.gmail.com>
	<CAG1choo=Hf=wQezrgBvUTACHamT4P0jn7rPWts7URHr7Za_LMg@mail.gmail.com>
Date: Thu, 5 Feb 2015 10:31:56 +0400
Message-ID: <CA+9eiLuWrftvOj6GDTiPcf+VZYWZGgtpHstg39CM-=gge21ZLA@mail.gmail.com>
To: reeze <reeze@php.net>
Cc: "internals@lists.php.net" <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=047d7b86d990e54802050e5175e3
Subject: Re: [PHP-DEV] Re: [RFC] Support internal function return types
From: dmitry@zend.com (Dmitry Stogov)

--047d7b86d990e54802050e5175e3
Content-Type: text/plain; charset=UTF-8

Hi reeze,

The original "return type" patch was designed to support internal functions
as well.
So I think, this is just a good addition.

Only one note:
I'm not sure, if we need the addition check in ZEND_DO_FCALL handler.
On one hand it verifies that internal function returns proper result (but
they MUST do it).
On the other hand, it also slowdowns each additional call.

Instead of modifying zend_verify_return_type() I would add
zend_verify_internal_return_type(),
and use: ZEND_ASSERT((fbc->common.fn_flags & ZEND_ACC_HAS_RETURN_TYPE) &&
zend_verify_internal_return_type(fbc, EX_VAR(opline->result.var)));

This would allow catching error in DEBUG build, but won't slowdown RELEASE
build.

If you agree, I may just commit this.

Thanks. Dmitry.

On Thu, Feb 5, 2015 at 7:01 AM, reeze <reeze@php.net> wrote:

> PS:
>
> There is no enough unit tests to cover all of the branches, if we want then
> I have to add a bunch of for testing functions and classes in ZEND_DEBUG,
> what is the better way?
>
> On 5 February 2015 at 11:54, reeze <reeze@php.net> wrote:
>
> > Hi all,
> >
> > RFC:  https://wiki.php.net/rfc/internal_function_return_types
> >
> > I noticed that return types RFC[1] didn't support internal functions, I
> > just open a PR[2]  to support it.
> >
> > There are some open issues we can discuss:
> >
> > 1. User land return types didn't stop the php, the current implementation
> > raise error to stop PHP from start, this may help debug problem.
> > 2. User land return types didn't support Nullable types, but the RFC
> > return types internally support it, I think it is feature. is that
> > acceptable?
> >
> > Thank you.
> >
> > ---
> >
> > [1] https://wiki.php.net/rfc/return_types
> > [2] https://github.com/php/php-src/pull/1050
> >
>

--047d7b86d990e54802050e5175e3--