Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92868
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.220.42 as permitted sender)
MIME-Version: 1.0
Sender: morrison.levi@gmail.com
Date: Thu, 28 Apr 2016 09:40:59 -0600
Message-ID: <CAFMT4NpBi80uJ-_-==4Wd5h87k=fq3h7N9ygph1kCHg9Czc_Kw@mail.gmail.com>
To: internals <internals@lists.php.net>
Cc: Dmitry Stogov <dmitry@zend.com>, Tom Worster <fsb@thefsb.org>
Content-Type: text/plain; charset=UTF-8
Subject: Request to withdraw RFC's for nullable types for only return values
From: levim@php.net (Levi Morrison)

I have discovered through a [bug report][1] a case where having
explicitly nullable parameters would be of value.

<?php

interface Foo {
    public function bar(array $baz = null);
}

class Hello implements Foo {
    public function bar(array $baz = array())  {}
}

?>

You can theoretically change the default value in a sub-type, but in
this case moving away from the default value of null breaks because
the subtype no longer permits null. It is important to realize that we
previously *allowed* this behavior since PHP 5.1 but was fixed in
7.0.6.

If instead we had nullable types separately from default values of
null this could change to:

<?php

class Hello implements Foo {
    public function bar(array | null $baz = [])  {}
}

?>

(or a short-form `?array $baz = []` if short-form passes)

This preserves the ability to be null but changes the default value.
Of course, there may be other code changes necessary to future-proof
their code but there current code would now work without having to
rewrite any method bodies (just signatures).

In light of this I kindly request that RFCs that add nullable types
for only return values be withdrawn. So that [Union Types][2] and
[Nullable Types][3] can go forward unhindered.


  [1]: https://bugs.php.net/bug.php?id=72119
  [2]: https://wiki.php.net/rfc/union_types
  [2]: https://wiki.php.net/rfc/nullable_types