Table of Contents

PHP RFC: Expand deprecation notice scope for partially supported callables

Introduction

This is a follow-up RFC to the previously accepted Deprecated partially supported callables RFC and proposes to add deprecation notices when passing a partially supported callable to is_callable() and when type verification is executed on the callable type.

These two particular circumstances were explicitly excluded in the original RFC.

Proposal

The Deprecated partially supported callables RFC was accepted and implemented in October 2021.

That RFC explicitly excluded the callable type and function calls to is_callable() from generating deprecation notices:

This RFC proposes to deprecate in PHP 8.2 and remove in PHP 9.0 support for these callables. A deprecation warning will be thrown by all attempts to invoke such a callable, such as via call_user_func(), but also array_map().

The is_callable() function and callable type remain side-effect free and do not throw a deprecation warning. They will continue to accept these callables until support is removed entirely.

This RFC proposes to remove the exclusion and add deprecation notices to both the is_callable() function and the callable type.

Adding a deprecation notice for ''is_callable()''

Current status:

class Foo {
    public function bar() {
        // Do something conditionally if a child class has implemented a certain method.
        if (is_callable('static::methodName')) {
            // For valid callbacks, this call will be executed in PHP 8.x,
            // but will no longer execute in PHP 9.x.
            static::methodName();
        }
    }
}
 
(new Foo())->bar();

https://3v4l.org/VeVYC

The above code sample will currently not lead to any deprecation notices being thrown in PHP 8.x, while for valid callbacks, the behaviour of the code will be silently reversed in PHP 9.0.

This silent reversal is, in my opinion, particularly dangerous as in projects without sufficient test coverage, this will lead to an unexpected change in behaviour and to hard to debug bugs.

Adding a deprecation notice for ''callable''

Current status:

class Foo {
    public function __construct() {
        $this->callMe('self::methodName');
    }
 
    public function callMe(callable $callback) { // Does not generate a deprecation notice.
        call_user_func($callback); // Generates a deprecation notice.
    }
 
    public function methodName() {}
}
 
new Foo();

https://3v4l.org/NXrAH

While it will be common to use the partially supported callable in a callback function call within the function with the type declaration, this may not always be the case, especially in frameworks where callbacks can be registered to be executed later in a limited set of circumstances and those circumstances may not be met by default.

Without a deprecation notice, those “limited circumstances callbacks” may not be discovered as needing updating in time for PHP 9.0.

Discussion

Why is this important ?

Both the callable type declaration as well as is_callable() have basically got three “states”:

  1. Valid syntax, valid callback.
    $callable = is_callable('rtrim'); // returns `true`
  2. Valid syntax, invalid callback.
    $callable = is_callable('functionwhichdoesnotexist'); // returns `false`
  3. Invalid syntax
    $callable = is_callable('this can never be a valid callback'); // returns `false`

In PHP 9.0, for the now deprecated partially supported callables, the “state” will go from 1 or 2 (valid syntax, potentially valid callback) to 3 (invalid syntax).

Even for code which has been deliberately set up to expect a false return value from is_callable(), this state change is problematic as what the code was originally testing - “valid syntax, invalid callback” - is now no longer being tested, so in nearly all cases, the code would still need to be updated to allow the code to be considered equivalent in PHP 8.x and PHP 9.x.

Can't these situations be discovered via tests ?

While we all love to work on a code base with 100% test code coverage, we also know that in reality, that is the exception, not the rule.

Additionally, open source projects typically only have limited ability of controlling when users will start to run their code on new PHP versions.

Deprecation notices logged over time in error logs are often needed to discover all potential future points of failure and to fix them in time for PHP 9.0.

Code shouldn't be written like that

Thanks for your opinion, but the reality is that code like the above exists and can be found in a plenitude of projects.

Why wasn't this addressed in the original RFC ?

The original RFC was not accompanied by an impact analysis, which would have discovered these code patterns.

How were these code patterns discovered now ?

A limited scope impact analysis was done as part of the test cycle for a new PHPCompatibility sniff.

Analysis of the code flagged by the sniff discovered the pattern described for is_callable() as a relatively common code pattern, including in at least one package in the Packagist Top 10 and in popular CI tools.

Some examples:

is_callable() should be side-effects free

The deprecation notices will only be thrown for the deprecated callable syntaxes, not for any other invalid syntaxes.

Deprecation notices should not be thrown for behaviours which will not become a fatal error

Well, for the callable type, that will become a fatal error, so that argument does not apply.

As for is_callable(): there is precedent in the PHP project for throwing deprecation notices to warn users about an upcoming behavioural change.

Most recently, the Change of the precedence of the concatenation operator introduced a deprecation notice in PHP 7.4, before the actual change to the operator precedence was implemented in PHP 8.0.

Prior to that, PHP 7.3 introduced a deprecation notice for a behavioural change regarding String search functions with integer needles, see: https://3v4l.org/Iqo4N

And as pointed out by Rowan Tommins:

Another relevant precedent, since the original RFC talked about keeping things “side-effect free”, is that passing “99 red balloons” to an “int” parameter raised an E_NOTICE in PHP 7.x, so a “callable” parameter raising an E_DEPRECATED should be fine.

Also see: https://3v4l.org/spOiV

As for the choice between a deprecation notice or a E_NOTICE/E_WARNING: the original RFC is a deprecation, so a deprecation notice for these additional situations seems most appropriate.

Additionally, in contrast to E_NOTICE and E_WARNING error handlers often special case E_DEPRECATED errors as an “action list to be looked at later”, which is the appropriate handling for the notices being proposed in this RFC.

These additional deprecation notices will be very noisy

While for is_callable(), the deprecation notices can be silenced by using the @ operator, this is not the case for the notices coming from deprecated callables being used in places using the callable type.

While it is expected that callables using the syntaxes now deprecated are only a small subsection of the callables used in code bases, this can still be annoying.

For codebases which either don't intend to upgrade to PHP 9.0, or want to delay addressing these deprecation notices, there are three options:

  1. Fix the issues anyway. All deprecated syntaxes have cross-version compatible alternatives as per the conversion table in the original RFC.
  2. Set error_reporting to E_ALL & ~E_DEPRECATED to silence all deprecation notices.
  3. Register a custom error handler and filter out all, or a selection of, deprecation notices.

Backward Incompatible Changes

None. The original RFC contains the BC-break. This RFC only expands the scope where users will be warned about the upcoming BC-break in PHP 9.0.

Proposed PHP Version(s)

This change is targeted for PHP 8.2, the same version in which the original deprecation is introduced.

RFC Impact

This change will allow more deprecated partially supported callables to be discovered and fixed prior to PHP 9.0.

While in some cases, this means that multiple deprecation notices will now be thrown instead of one, in those cases, the same fix which was originally needed anyway, will remove all deprecation notices related to it in one go.

As all deprecated partially supported callables have an equivalent which is supported PHP cross-version - see the conversion table in the original RFC - these additional deprecation notices should not lead to any “unfixable” situations.

Unaffected PHP Functionality

The proposed deprecation notices will only be thrown for the deprecated callable syntaxes. The behaviour of the is_callable() function and the callable type when receiving a deprecated callable syntax will remain unchanged (until PHP 9.0).

The behaviour of the is_callable() function and the callable type when receiving anything other than a deprecated callable syntax will also remain unchanged and will not yield a deprecation notice.

Vote

As per the voting RFC a yes/no vote with a 2/3 majority is needed for this proposal to be accepted.

Voting started on 2022-05-31 10:30 UTC and ended on 2022-06-14 10:30 UTC.

Throw a deprecation notice when is_callable() receives one of the deprecated partially supported callables ?
Real name Yes No
aaronjunker (aaronjunker)  
asgrim (asgrim)  
ashnazg (ashnazg)  
cmb (cmb)  
crell (crell)  
danack (danack)  
derick (derick)  
galvao (galvao)  
girgias (girgias)  
imsop (imsop)  
jhdxr (jhdxr)  
kalle (kalle)  
marandall (marandall)  
mbeccati (mbeccati)  
mcmic (mcmic)  
nicolasgrekas (nicolasgrekas)  
ocramius (ocramius)  
petk (petk)  
pierrick (pierrick)  
ramsey (ramsey)  
reywob (reywob)  
sergey (sergey)  
svpernova09 (svpernova09)  
theodorejb (theodorejb)  
timwolla (timwolla)  
trowski (trowski)  
weierophinney (weierophinney)  
zeev (zeev)  
Final result: 28 0
This poll has been closed.

Throw a deprecation notice when type verification on the callable type detects one of the deprecated partially supported callables ?
Real name Yes No
aaronjunker (aaronjunker)  
asgrim (asgrim)  
ashnazg (ashnazg)  
cmb (cmb)  
crell (crell)  
danack (danack)  
derick (derick)  
galvao (galvao)  
girgias (girgias)  
imsop (imsop)  
kalle (kalle)  
lbarnaud (lbarnaud)  
mbeccati (mbeccati)  
mcmic (mcmic)  
nicolasgrekas (nicolasgrekas)  
ocramius (ocramius)  
petk (petk)  
pierrick (pierrick)  
ramsey (ramsey)  
reywob (reywob)  
sergey (sergey)  
svpernova09 (svpernova09)  
theodorejb (theodorejb)  
trowski (trowski)  
weierophinney (weierophinney)  
zeev (zeev)  
Final result: 25 1
This poll has been closed.

Patches and Tests

Rowan Tommins has kindly offered to prepare a patch to implement this proposal.

PR: https://github.com/php/php-src/pull/8823

Implementation

  1. Version 8.2.0

References