PHP7添加非空合并語法糖

我們知道從 PHP 5.3 起三元運算符 ? : 有一個寫法簡潔寫法是這樣的：

<?php
$a = 0;
$b = $a ?: 1; # $b === 1

這實際上相當于：

<?php
$a = 0;
$b = $a ? $a : 1; # $b === 1

在 PHP5 中，語法分析是這樣寫的：

|   expr '?' { zend_do_begin_qm_op(&$1, &$2 TSRMLS_CC); }
    expr ':' { zend_do_qm_true(&$4, &$2, &$5 TSRMLS_CC); }
    expr     { zend_do_qm_false(&$$, &$7, &$2, &$5 TSRMLS_CC); }
|   expr '?' ':' { zend_do_jmp_set(&$1, &$2, &$3 TSRMLS_CC); }
    expr     { zend_do_jmp_set_else(&$$, &$5, &$2, &$3 TSRMLS_CC); }

在 PHP7 中，由于 AST（抽象語法樹）的引入，語法分析有些簡化：

|   expr '?' expr ':' expr
        { $$ = zend_ast_create(ZEND_AST_CONDITIONAL, $1, $3, $5); }
|   expr '?' ':' expr
        { $$ = zend_ast_create(ZEND_AST_CONDITIONAL, $1, NULL, $4); }

PHP7 中語法分析之后都是寫到 AST 的節點上。從上面可以看出，簡化的 ?: 和完整的三元表達式的區別就是節點中間的值為 NULL。

PHP7 添加了一個合并操作符（T_COALESCE），用于簡化 isset 的條件判斷：

<?php
$b = $a ?? 1;

它相當于：

<?php
$b = isset($a) ? $a : 1;

僅僅是 isset 判斷，在 為等值時還是會返回b 的值還是為 0 。

這個操作符的語法分析語句是：

|   expr T_COALESCE expr
        { $$ = zend_ast_create(ZEND_AST_COALESCE, $1, $3); }

如果想將 isset 換成 empty 的效果，也就是說在變量不存在或轉換成 boolean 后為 false 都賦予其他值，需要這樣寫：

<?php
$b = $a ?? 1 ?: 1;

顯然上面的表達式中中間一部分稍微有些多余，那么做些簡化呢？

現在我想添加一個語法 ??: ，它的作用是對變量做 empty 的判斷。也就是說達到上面 $a ?? 1 ?: 1 的效果：

<?php
$b = $a ??: 1;

改起來很簡單，只需要將 ?: 和 ?? 的分析合并一下（注意這里和上面所有的地方 $1 $2 等符號的數字表示的都是變量或者常量出現的位置順序）：

|   expr T_COALESCE ':' expr
        { $$ = zend_ast_create(ZEND_AST_CONDITIONAL,
            zend_ast_create(ZEND_AST_COALESCE, $1, $4), NULL, $4); }

僅僅只有兩句，因為并沒有在詞法分析器中添加 Token，所以只能算是個語法糖。

重新編譯一下之后就能看到效果啦。測試：

$ /usr/local/php/bin/php -r "\$a = 0; echo \$a ?? 1, PHP_EOL;"
0
$ /usr/local/php/bin/php -r "\$a = 0; echo \$a ??: 1, PHP_EOL;"
1

以上就是給 PHP7 添加一個“非空合并”語法糖的詳細內容，更多請關注億速云其它相關文章！