本文分析了PHP7新特性之抽象语法树(AST)带来的变化。分享给大家供大家参考,具体如下:
这里大部分内容参照 AST 的 RFC 文档而成:PHP.net/rfc/abstractSyntaxtree,为了易于理解从源文档中节选部分进行介绍。
本文并不会告诉你抽象语法树是什么,这需要你自己去了解,这里只是描述 AST 给 PHP 带来的一些变化。
新的执行过程
PHP7 的内核中有一个重要的变化是加入了 AST。在 PHP5中,从 PHP 脚本到 opcodes 的执行的过程是:
PHP7 中在语法分析阶段不再直接生成 op arrays,而是先生成 AST,所以过程多了一步:
执行时间和内存消耗
从以上的步骤来看,这比之前的过程还多了一步,所以按常理来说这反而会增加程序的执行时间和内存的使用。但事实上内存的使用确实增加了,但是执行时间上却有所降低。
以下结果是使用小(代码大约 100 行)、中(大约 700 行)、大(大约 2800 行)三个脚本分别进行测试得到的,测试脚本:
每个文件编译 100 次的执行时间(注意文章的测试结果时间是 14 年,PHP7 还叫 PHP-NG 的时候):
单次编译中的内存峰值:
单次编译的测试结果可能并不能代表实际使用的情况,以下是使用 PHPParser 进行完整项目测试得到的结果:
测试表明,使用 AST 之后程序的执行时间整体上大概有 10% 到 15% 的提升,但是内存消耗也有增加,在大文件单次编译中增加明显,但是在整个项目执行过程中并不是很严重的问题。 还有注意的是以上的结果都是在没有 Opcache 的情况下,生产环境中打开 Opcache 的情况下,内存的消耗增加也不是很大的问题。 如果仅仅是时间上的优化,似乎也不是使用 AST 的充足理由。其实实现 AST 并不是基于时间优化上的考虑,而是为了解决语法上的问题。下面来看一下语义上的一些变化。 在 PHP5 的实现中,如果在一个表达式上下文(例如在一个赋值表达式的右侧)中使用 这种行为仅仅是因为 PHP5 的实现方式的限制,在 PHP7 中,括号不再是必须的了。所以下面这些写法也都是合法的: 当然了,还得遵循 在 PHP5 中, 但是在 PHP7 中,两种写法表示同样的意思。 同样,如果函数的参数被括号包裹,类型检查存在问题,在 PHP7 中这个问题也得到了解决: 以上代码在 PHP5 中不会告警,除非使用 PHP Strict standards: Only variables should be passed by reference ... list 关键字的行为改变了很多。list 给变量赋值的顺序(等号左右同时的顺序)以前是从右至左,现在是从左到右: 产生上面变化的原因正是因为在 PHP5 的赋值过程中,3 会最先被填入数组,1 最后,但是现在顺序改变了。 同样的变化还有: 这是因为在以前的赋值过程中
list 现在只会访问每个偏移量一次: 空的 list 成员现在是全部禁止的,以前只是在某些情况下: 引用赋值的顺序在 PHP5 中是从右到左的,现在时从左到右: 现在可以直接使用 Fatal error: Cannot call __clone() method on objects - use 'clone $obj' instead in ... AST 也解决了一些语法一致性的问题,这些问题是在另外一个 RFC 中被提出的:PHP.net/rfc/uniform_variable_Syntax. 在新的实现上,以前的一些语法表达的含义和现在有些不同,具体的可以参照下面的表格:
整体上还是以前的顺序是从右到左,现在从左到右,同时也遵循括号不影响行为的原则。这些复杂的变量写法是在实际开发中需要注意的。 更多关于PHP相关内容感兴趣的读者可查看本站专题:《》、《》、《》、《》及《PHP常见数据库操作技巧汇总》 希望本文所述对大家PHP程序设计有所帮助。
PHP-ngPHP-ast
PHP-ngPHP-ast
PHP-ngPHP-ast
语义上的改变
yield 不需要括号
yield
,你必须在 yield
申明两边使用括号:yield
的应用场景才行。括号不影响行为
($foo)['bar'] = 'baz'
和 $foo['bar'] = 'baz'
两个语句的含义不一样。事实上前一种写法是不合法的,你会得到下面这样的错误:byRef(func())
的方式调用,但是在 PHP7 中,不管 func()
两边有没有括号都会产生以下错误:list() 的变化
引用赋值的顺序
__clone 方法可以直接调用
$obj->__clone()
的写法去调用 __clone
方法。__clone
是之前唯一一个被禁止直接调用的魔术方法,之前你会得到一个这样的错误:变量语法一致性
PHP5PHP7$bar['baz']{$bar['baz']}$bar)['baz']$bar['baz'](){$bar['baz']}()$bar)['baz']()