今天在公司实现一个模块功能时写了如下代码:
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~~~