Doc #75312 [Opn->Nab]: Scalar typed variadic arguments accept other scalars but not null

From: Date: Fri, 22 Apr 2022 13:21:39 +0000
Subject: Doc #75312 [Opn->Nab]: Scalar typed variadic arguments accept other scalars but not null
References: 1  Groups: php.doc.bugs 
Request: Send a blank email to doc-bugs+get-19421@lists.php.net to get a copy of this message
Edit report at https://bugs.php.net/bug.php?id=75312&edit=1

 ID:                 75312
 Updated by:         ilutov@php.net
 Reported by:        michelv+php at gmail dot com
 Summary:            Scalar typed variadic arguments accept other scalars
                     but not null
-Status:             Open
+Status:             Not a bug
 Type:               Documentation Problem
 Package:            Scripting Engine problem
 Operating System:   all
 PHP Version:        7.1.10
 Block user comment: N
 Private report:     N

 New Comment:

We have nullable types now which work for variadics. An error when passing null to a non-nullable
string argument is correct.


Previous Comments:
------------------------------------------------------------------------
[2017-10-05 11:36:30] michelv+php at gmail dot com

My bad, I'm so used to having strict types declared that I forgot to declare them in 3v4l when
I tested the functionality.

Thanks for the clarification!

------------------------------------------------------------------------
[2017-10-05 10:24:09] requinix@php.net

Related To: Bug #74024

------------------------------------------------------------------------
[2017-10-05 10:07:09] requinix@php.net

This is loose typing, not duck typing.

Variadics typing follows the same rules as non-variadic typing:
> The declaration can be made to accept NULL values if the default value of the
> parameter is set to NULL.
and
> By default, PHP will coerce values of the wrong type into the expected scalar
> type if possible. For example, a function that is given an integer for a
> parameter that expects a string will get a variable of type string.
http://php.net/manual/en/functions.arguments.php
Also https://wiki.php.net/rfc/scalar_type_hints_v5#behaviour_of_weak_type_checks

However the first part isn't possible for a variadic parameter so I think the
"Variable-length argument lists" section should mention that NULLs aren't allowed.

At least not normally. The answer to that use case was the introduction of nullable types
("?string ...$args") but I can't find them documented anywhere besides the migration
guide...
https://wiki.php.net/rfc/nullable_types
http://php.net/manual/en/migration71.new-features.php#migration71.new-features.nullable-types

And as @spam2 said, it sounds like you want strict_types.
http://php.net/manual/en/functions.arguments.php#functions.arguments.type-declaration.strict

------------------------------------------------------------------------
[2017-10-05 09:48:20] spam2 at rhsoft dot net

in which other parts of PHP is NULL allowed in that case unless 7.1.x and explicit ?string instead
only string

what you obviously want is strict typing, well than declare that in the first line of your files

------------------------------------------------------------------------
[2017-10-05 09:19:34] michelv+php at gmail dot com

Description:
------------
Typed variadic arguments are now possible, but it looks like some duck-typing is still going on,
because you can use integers or booleans for arguments like string ...$args. However
you can not use null, that results in a fatal error.

If duck-typing should not happen at all, being able to use anything other than a string in that case
is a bug.

If duck-typing is expected, then it's not working like it does in other parts of PHP, where
null is accepted.

Test script:
---------------
<?php

function vsprintfProxy(string $format, string ...$args): string
{
    return vsprintf($format, $args);
}

var_export(vsprintf('%s', [42]));
var_export(vsprintfProxy('%s', 42));
echo "\n";

var_export(vsprintf('%s', [false]));
var_export(vsprintfProxy('%s', false));
echo "\n";

var_export(vsprintf('%s', [null]));
var_export(vsprintfProxy('%s', null));
echo "\n";

Expected result:
----------------
'42''42'
''''
''''

Actual result:
--------------
'42''42'
''''
''
Fatal error: Uncaught TypeError: Argument 2 passed to vsprintfProxy() must be of the type string,
null given, called in /in/pNqSi on line 17 and defined in /in/pNqSi:3
Stack trace:
#0 /in/pNqSi(17): vsprintfProxy('%s', NULL)
#1 {main}
 thrown in /in/pNqSi on line 3

Process exited with code 255.



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



--
Edit this bug report at https://bugs.php.net/bug.php?id=75312&edit=1


Thread (3 messages)

« previous php.doc.bugs (#19421) next »