Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:121638
Message-ID: <e5e8148e-12f0-42d4-9bfe-7ffa3000240b@alec.pl>
Date: Fri, 10 Nov 2023 13:07:40 +0100
MIME-Version: 1.0
To: internals@lists.php.net
References: <CAFv4g+EqzB7whakuN-sr6YL2ih9xhHPzCsvTsEgJKMXBh9H9wQ@mail.gmail.com>
 <5144806E-E21F-4AF8-B9A2-0161561A6B9E@craigfrancis.co.uk>
 <CAGBsUrfwRExOFZ8dRy0=D9wmKurkj4QBNPvOsmrw7Mh=rjX0mg@mail.gmail.com>
 <1A044D32-019A-4152-A3C0-3F393974AC3B@craigfrancis.co.uk>
 <CAGBsUrf2TM65Sq-7LCzq2p6PN-EfhwfduYnPghxEY9W70-UqKg@mail.gmail.com>
Content-Language: en-US
Autocrypt: addr=alec@alec.pl; keydata=
 xsBNBEy9TtkBCAC4ef0IJaqTDQNQZ5CPrHvNs5kcACvtffwydrTcRJ28dHwjZD8daSxfVYEo
 acyARevTOvsp36Vgq8Yt7ATu6y7MPBaPj9Lq0kwX7HM8QDn8jTfufAgMjxcw5bD+JNR5+8G9
 hUF3F35gVuAd471hS+QB/Ug/PezcNx9H5yFUMuvrO3ybyIDhw5qJI2RoJMjMr5DPKUG7z810
 1e/NW7y9FfHq+Ony7A70w+vcfv1L+LLX5gfrpKI3m0zKm7cj1vyxZfC9RijIzWZN3GgExexI
 KJdbkcg9F/zigKo72TJhgvjy6YZP03HmWZVcpsd3aIT3Tweg0cCivaKVBNcFR1oda6XvABEB
 AAHNFkEuTC5FLkMgPGFsZWNAYWxlYy5wbD7CwHsEEwECACUCGyMGCwkIBwMCBhUIAgkKCwQW
 AgMBAh4BAheABQJMvVAwAhkBAAoJEL7mdKAZNZ3BEhkH/1eAuCOSXsWg8YwZzmABoKKZfNpJ
 Z3QTwAMxXyCPjJMwLMLHsrVO+VbGupFcIW/q/3bvt1r8LwPB73rg0TFiHoYzeQzdnOVYFW7w
 OYz9BDVjLE4goDk6xN5Nj1CpBMXzQFdr3HVKyuRK1CLd9p13CofiBlLsQ4JqtosnlvSCEjTL
 yIajACU3kY2je1e58N5VHzZ+VMeg2xbuQJ3q1iTkYggZ+xRC1muw4Xgt2vxgfWjn7u3dmjYM
 T3H2WFprLZwliejHgzhWdYABdyCU5VuGCLOV+xk2UCADya0hvVVIezA/4YG3w01yjsljRrKy
 HFJUqw+MqagA6dsfflZSvmROKMbOwE0ETL1O2QEIANHbid+rMQ/IX0/UyVtnLWunDEg6Yl2B
 twHTecZ4Ym3tBxc1sbPDoYpY0DZ86gYi9DCbolrdjnrRK9ldYItVJ8rJUkEIDz/2yhjcr3s3
 p2SyI94bocoG0WW+VRlssJMxTB2ihblihkY5HqT+9PgOFxnpSqz1ksTaI3JOVcokidhoB7MJ
 muyb28rNtZCJP7upRUwBSoZfHiL83w3Ad1Fn49QVO7kshH11lNyJ9jB17BTl1I0sj7RPqAor
 JcMxsSOJXW71ZcipXWym+GacY/qziQw7bT9CQYSmr4SiRV7GahD91enDkdv+pUAnb8NEifQ1
 LT26XcL6Ng9EbG5AT4qI46kAEQEAAcLAXwQYAQIACQUCTL1O2QIbDAAKCRC+5nSgGTWdwe2T
 CACaux3lHitD8IIO5fy6RxPqym6vMlKiN0IyilahtJ0A2htNqwbFb6TukpzKw04DGSPEOGPa
 o4hdsLtQtqAPwqrR+FGJDc6V/jD0rPjThC3NcvkJuoi622ZLCsi8TAL5kBmF2NYd7ejszB31
 5EzvpXSeES8+9pv6yshzUborEg9QKhPxW0yvrdj2OwFUlRr6/jLpKmMLzSx5F0yEg10urvfe
 9Sttk5TVzHycOa1nKSzj79F1jXTl/mji/i082s1nlwb8d6LNVrm0e1tGMxSk/WpghFVVSm4O
 MvUvMkEEDkwGsm+mPcmX4UPcvq/wU3hGhDeVlpkfVTJQGvDbEUzTXbz6
In-Reply-To: <CAGBsUrf2TM65Sq-7LCzq2p6PN-EfhwfduYnPghxEY9W70-UqKg@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] Passing null to parameter
From: alec@alec.pl (Aleksander Machniak)

On 10.11.2023 12:11, Kamil Tekiela wrote:
> function abc(string|int $p) {}
> abc(null);
> 
> What should null be converted into and why? If you as a developer know then
> you can cast the argument to an appropriate type but on the language level,
> it's not really possible.
> 
> So, in conclusion, we are not supporting you because we are stubborn or
> that we want to force strict types, but because resolving this problem in a
> way you want is extremely difficult and borderline impossible.

Then throw an error when it is not possible, but in most cases it will 
be, I assume.

Why strtoupper(0) works but strtoupper(null) throws a warning? The 
argument is defined as string, so the former should be a warning too, if 
we were to be consistent. It's a rethorical question, I know arguments 
of both sides.

As OP, I think that this behavior should be controlled by strict types. 
I.e. in strict_types=1 throw an error, in strict_types=0 use null 
coercion if possible (w/o warnings).

Of course, the inconsistency/confusion can be fixed in different ways, 
but what's proposed here is best for BC reasons, imo. Other options 
would make the language more strict.

That being said, I'm also aware that currently, most likely, none of 
such proposals would get 2/3 of votes.

-- 
Aleksander Machniak
Kolab Groupware Developer        [https://kolab.org]
Roundcube Webmail Developer  [https://roundcube.net]
----------------------------------------------------
PGP: 19359DC1 # Blog: https://kolabian.wordpress.com