我們知道從 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
更多學習內容請訪問：
騰訊T3-T4標準精品PHP架構師教程目錄大全，只要你看完保證薪資上升一個臺階（持續更新）?
轉載請註明出處，本文鏈接：https://www.uj5u.com/houduan/43168.html
標籤：PHP
上一篇：安裝docker