isset在php5.6-和php7.0+的一些差异

Posted 2020-08-18

今天在公司实现一个模块功能时写了如下代码:

class ProductCategory
{
    const TYPES = [
        1 => 'type1',
        2 => 'type2',  
    ];
    
    public function getType()
    {
        return isset(self::TYPES[$this->type]) ? self:TYPES[$this->type] : 'unrecognized_type';
    }
}

居然报错, 在编译阶段就通不过了.

Fatal error: Cannot use isset() on the result of an expression (you can use "nul
l !== expression" instead)

错误信息意思很明显, 但我的代码isset里面并不是一个表达式啊，这让我百思不得其解.
我带着疑惑在家里重新敲下了如上代码，编译通过, 正常运行.
php -v查看版本, 7.1. 而公司的开发机上运行的是php5.6

那么，为什么会造成这样的差异呢？只能翻看源码看isset的底层实现.

众所周知, isset不是函数, 而是语法结构, 那么如果发生错误, 在编译阶段就会出错.

对比一下php5.6和php7.0+版本的zend_language_parse.y

在php5.6版本中的zend_language_parse.y的1283行

isset_variable:
        variable                { zend_do_isset_or_isempty(ZEND_ISSET, &$$, &$1 TSRMLS_CC); }
    |    expr_without_variable    { zend_error_noreturn(E_COMPILE_ERROR, "Cannot use isset() on the result of an expression (you can use \"null !== expression\" instead)"); }
;

很明显，在词法解析的时候, 类常量被定义成非变量了

看一看expr_without_variable的定义, 在该文件的776行到858行, 我们找到了这样一个定义:

    |    combined_scalar_offset { zend_do_end_variable_parse(&$1, BP_VAR_R, 0 TSRMLS_CC); }

再看combined_scalar_offset 的定义:

general_constant '[' dim_offset ']' { zend_do_begin_variable_parse(TSRMLS_C); fetch_array_dim(&$$, &$1, &$3 TSRMLS_CC); }

再看general_constant 的定义:

class_constant { $$ = $1; }

恍然大悟, 类常量被定义为非变量, 所以抛出编译错误.

而在php7.0+版本

combined_scalar_offset { zend_do_end_variable_parse(&$1, BP_VAR_R, 0 TSRMLS_CC); }

是被去掉了的. 所以编译通过, 并成功运行.

也不知道这个算是bug, 还是5.6的feature~~~

原文地址：https://segmentfault.com/a/1190000016097997