rfc:isset_ternary

PHP RFC: Null Coalesce Operator

Introduction

PHP is a web-focussed programming language, so processing user data is a frequent activity. In such processing it is common to check for something's existence, and if it doesn't exist, use a default value. Yet the simplest way to do this, something along the lines of isset($_GET['mykey']) ? $_GET['mykey'] : "", is unnecessarily cumbersome. The short ternary operator, ?: provides a way to do this much more conveniently: $_GET['mykey'] ?: "". However, this is not good practice, as if the value does not exist it will raise an E_NOTICE. Because of these issues, some sort of ifsetor() operator or a modification to ?:'s behaviour to make this common pattern easier has been a frequent request (See References).

Proposal

The coalesce, or ??, operator is added, which returns the result of its first operand if it exists and is not NULL, or else its second operand. This means the $_GET['mykey'] ?? "" is completely safe and will not raise an E_NOTICE. Some examples of its use:

// Fetches the request parameter user and results in 'nobody' if it doesn't exist
$username = $_GET['user'] ?? 'nobody';
// equivalent to: $username = isset($_GET['user']) ? $_GET['user'] : 'nobody';
 
// Calls a hypothetical model-getting function, and uses the provided default if it fails
$model = Model::get($id) ?? $default_model;
// equivalent to: if (($model = Model::get($id)) === NULL) { $model = $default_model; }
 
// Parse JSON image metadata, and if the width is missing, assume 100
$imageData = json_decode(file_get_contents('php://input'));
$width = $imageData['width'] ?? 100;
// equivalent to: $width = isset($imageData['width']) ? $imageData['width'] : 100;

It can even be chained:

$x = NULL;
$y = NULL;
$z = 3;
var_dump($x ?? $y ?? $z); // int(3)
 
$x = ["yarr" => "meaningful_value"];
var_dump($x["aharr"] ?? $x["waharr"] ?? $x["yarr"]); // string(16) "meaningful_value"

This example demonstrates the precedence relative to the ternary operator and the boolean or operator, which is the same as C#:

var_dump(2 ?? 3 ? 4 : 5);      // (2 ?? 3) ? 4 : 5        => int(4)
var_dump(0 || 2 ?? 3 ? 4 : 5); // ((0 || 2) ?? 3) ? 4 : 5 => int(4)

This example demonstrates how it is a short-circuiting operator:

function foo() {
    echo "executed!", PHP_EOL;
}
var_dump(true ?? foo()); // outputs bool(true), "executed!" does not appear as it short-circuited

Proposed PHP Version(s)

This proposed for the next PHP x, which at the time of this writing would be PHP 7.

Patches and Tests

A pull request with a working implementation and test, targeting master, is here: https://github.com/php/php-src/pull/824

The original patch was graciously provided by Nikita Popov.

Vote

As this is a language change, a 2/3 majority is required. A straight Yes/No vote is being held.

Voting started on 2014-09-20 and ended on 2014-09-27.

Approve Null Coalesce Operator RFC and merge patch into master?
Real name Yes No
aharvey (aharvey)  
ajf (ajf)  
amir (amir)  
auroraeosrose (auroraeosrose)  
ben (ben)  
brianlmoon (brianlmoon)  
bwoebi (bwoebi)  
daverandom (daverandom)  
derick (derick)  
dmitry (dmitry)  
duodraco (duodraco)  
fmk (fmk)  
frozenfire (frozenfire)  
guilhermeblanco (guilhermeblanco)  
gwynne (gwynne)  
hywan (hywan)  
irker (irker)  
jedibc (jedibc)  
jpauli (jpauli)  
jwage (jwage)  
kalle (kalle)  
klaussilveira (klaussilveira)  
krakjoe (krakjoe)  
leigh (leigh)  
levim (levim)  
mfischer (mfischer)  
nikic (nikic)  
philstu (philstu)  
pollita (pollita)  
ramsey (ramsey)  
rdohms (rdohms)  
reeze (reeze)  
stas (stas)  
weierophinney (weierophinney)  
Final result: 31 3
This poll has been closed.

Implementation

References

Rejected Features

Keep this updated with features that were discussed on the mail lists.

Errata

Changelog

  • (2016-03-13) Added Errata
  • v0.2.3 - Added short-circuit example
  • v0.2.2 - Added precedence example
  • v0.2.1 - Added chaining example
  • v0.2 - Overhauled proposal, proposing new operator ?? instead of an extension to ?:
  • v0.1 - Created
rfc/isset_ternary.txt · Last modified: 2016/03/13 03:04 by ajf