Bug #72119 [Nab]: Interface declaration compatibility regression with default values

[email protected]
Newsgroups php.standards
Message-ID <[email protected]>
Edit report at https://bugs.php.net/bug.php?id=72119&edit=1

 ID:                 72119
 Updated by:         [email protected]
 Reported by:        ben dot davies at gmail dot com
 Summary:            Interface declaration compatibility regression with
                     default values
 Status:             Not a bug
 Type:               Bug
 Package:            PHP Language Specification
 PHP Version:        7.0.6
 Assigned To:        levim
 Block user comment: N
 Private report:     N

 New Comment:

Correct; it should never have worked in the first place though;
While it technically is a BC break, I personally think this was in the first place an important (long-term) bugfix. [which thus shouldn't be reverted in 7.0.7]


Previous Comments:
------------------------------------------------------------------------
[2016-04-28 16:34:14] [email protected]

The original problem was introduced by attempt to fix #71428 (that expects exactly the opposite behavior) in commit ee9a78a033696ff9546fb1dbfecd28f20477b511

------------------------------------------------------------------------
[2016-04-28 15:26:30] ben dot davies at gmail dot com

Hi both,

No doubt you are both correct, but this appears to be a BC break.
This works in every version of php up to 7.0.6.

https://3v4l.org/VhEtd

Thanks

------------------------------------------------------------------------
[2016-04-28 15:23:48] [email protected]

I have confirmed that this is not a bug. The reason is that in the interface you are permitted to pass null:

<?php
$Foo->bar(null);
?>

However, in the implementing class Hello it would not be permitted. Everything permitted in the parent must also be permitted in the child, thus it is not a bug.

------------------------------------------------------------------------
[2016-04-28 15:22:29] [email protected]

This is not a bug; your code is a LSP violation which had been fixed in bug #71428.

In the concrete example, the Foo::bar() function can be passed null, but Hello::bar() cannot.

[This is something we try to fix with nullable parameters/null unions in 7.1.]

------------------------------------------------------------------------
[2016-04-28 15:18:48] [email protected]

This was changed in commit e9d65160 by Dmitry. It appears to be a fix for a different bug (71978).

------------------------------------------------------------------------


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=72119


--
Edit this bug report at https://bugs.php.net/bug.php?id=72119&edit=1
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.