今天在公司實現一個模組功能時寫了如下程式碼:

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