Edit report at https://bugs.php.net/bug.php?id=71428&edit=1
ID: 71428
Comment by: inefedor at gmail dot com
Reported by: dpa-bugs at aegee dot org
Summary: Validation type inheritance with = NULL
Status: Verified
Type: Bug
Package: Class/Object related
PHP Version: 7.0.2
Block user comment: N
Private report: N
New Comment:
I wonder if we should go through RFC stage for that supposedly BC-breaking fix?
Previous Comments:
------------------------------------------------------------------------
[2016-03-28 07:14:28] krakjoe@php.net
There are bugs in
* zend_do_perform_type_hint_check (never verifies compatibility of zend_arg_info.allow_null)
* zend_get_function_declaration
The bugs in zend_get_function_declaration are because we make this assumption:
if (i >= required && !arg_info->is_variadic)
So do not generate the correct error message when you fix the type hint check.
It's 8am on Monday morning ... someone else should have a go ...
------------------------------------------------------------------------
[2016-03-23 21:20:22] dpa-bugs at aegee dot org
In all examples, you cannot pass NULL as first parameter to the derived m(), but you can bass NULL
as first parameter to parent::m(). So the method signature changes, in terms of possible values
that can be supplied.
------------------------------------------------------------------------
[2016-03-23 17:05:18] danielgarthsims at gmail dot com
Is this a bug? I don't see why it's a problem. Looking at the nikic's example, the
method signature doesn't change, just the default value for the method.
In the original example, you're still requiring two variables, but the second one can no longer
be null. I'm not sure what the expected behavior should be.
------------------------------------------------------------------------
[2016-01-21 22:10:10] dpa-bugs at aegee dot org
By the way, I do not write = NULL, because I want the argument to be optional. I write it, in order
to be able to pass NULL as parameter.
------------------------------------------------------------------------
[2016-01-21 21:23:18] nikic@php.net
Another example that does not rely on optional-before-required arguments:
class A {
public function m(array $a = null) {}
}
class B extends A {
public function m(array $a = []) {}
}
------------------------------------------------------------------------
The remainder of the comments for this report are too long. To view
the rest of the comments, please view the bug report online at
https://bugs.php.net/bug.php?id=71428
--
Edit this bug report at https://bugs.php.net/bug.php?id=71428&edit=1