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

今天在公司實現一個模塊功能時寫了以下代碼:

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~~~