佳木斯湛栽影视文化发展公司

主頁 > 知識(shí)庫 > PHP7新特性之抽象語法樹(AST)帶來的變化詳解

PHP7新特性之抽象語法樹(AST)帶來的變化詳解

熱門標(biāo)簽:科大訊飛語音識(shí)別系統(tǒng) Mysql連接數(shù)設(shè)置 電子圍欄 團(tuán)購網(wǎng)站 Linux服務(wù)器 阿里云 服務(wù)器配置 銀行業(yè)務(wù)

本文分析了PHP7新特性之抽象語法樹(AST)帶來的變化。分享給大家供大家參考,具體如下:

這里大部分內(nèi)容參照 AST 的 RFC 文檔而成:https://wiki.php.net/rfc/abstractsyntaxtree,為了易于理解從源文檔中節(jié)選部分進(jìn)行介紹。

本文并不會(huì)告訴你抽象語法樹是什么,這需要你自己去了解,這里只是描述 AST 給 PHP 帶來的一些變化。

新的執(zhí)行過程

PHP7 的內(nèi)核中有一個(gè)重要的變化是加入了 AST。在 PHP5中,從 php 腳本到 opcodes 的執(zhí)行的過程是:

  1. Lexing:詞法掃描分析,將源文件轉(zhuǎn)換成 token 流;
  2. Parsing:語法分析,在此階段生成 op arrays。

PHP7 中在語法分析階段不再直接生成 op arrays,而是先生成 AST,所以過程多了一步:

  1. Lexing:詞法掃描分析,將源文件轉(zhuǎn)換成 token 流;
  2. Parsing:語法分析,從 token 流生成抽象語法樹;
  3. Compilation:從抽象語法樹生成 op arrays。

執(zhí)行時(shí)間和內(nèi)存消耗

從以上的步驟來看,這比之前的過程還多了一步,所以按常理來說這反而會(huì)增加程序的執(zhí)行時(shí)間和內(nèi)存的使用。但事實(shí)上內(nèi)存的使用確實(shí)增加了,但是執(zhí)行時(shí)間上卻有所降低。

以下結(jié)果是使用?。ùa大約 100 行)、中(大約 700 行)、大(大約 2800 行)三個(gè)腳本分別進(jìn)行測(cè)試得到的,測(cè)試腳本: https://gist.github.com/nikic/289b0c7538b46c2220bc.

每個(gè)文件編譯 100 次的執(zhí)行時(shí)間(注意文章的測(cè)試結(jié)果時(shí)間是 14 年,PHP7 還叫 PHP-NG 的時(shí)候):

php-ng php-ast diff
SMALL 0.180s 0.160s -12.5%
MEDIUM 1.492s 1.268s -17.7%
LARGE 6.703s 5.736s -16.9%

單次編譯中的內(nèi)存峰值:

php-ng php-ast diff
SMALL 378kB 414kB +9.5%
MEDIUM 507kB 643kB +26.8%
LARGE 1084kB 1857kB +71.3%

單次編譯的測(cè)試結(jié)果可能并不能代表實(shí)際使用的情況,以下是使用 PhpParser 進(jìn)行完整項(xiàng)目測(cè)試得到的結(jié)果:

php-ng php-ast diff
TIME 25.5ms 22.8ms -11.8%
MEMORY 2360kB 2482kB +5.1%

測(cè)試表明,使用 AST 之后程序的執(zhí)行時(shí)間整體上大概有 10% 到 15% 的提升,但是內(nèi)存消耗也有增加,在大文件單次編譯中增加明顯,但是在整個(gè)項(xiàng)目執(zhí)行過程中并不是很嚴(yán)重的問題。

還有注意的是以上的結(jié)果都是在沒有 Opcache 的情況下,生產(chǎn)環(huán)境中打開 Opcache 的情況下,內(nèi)存的消耗增加也不是很大的問題。

語義上的改變

如果僅僅是時(shí)間上的優(yōu)化,似乎也不是使用 AST 的充足理由。其實(shí)實(shí)現(xiàn) AST 并不是基于時(shí)間優(yōu)化上的考慮,而是為了解決語法上的問題。下面來看一下語義上的一些變化。

yield 不需要括號(hào)

在 PHP5 的實(shí)現(xiàn)中,如果在一個(gè)表達(dá)式上下文(例如在一個(gè)賦值表達(dá)式的右側(cè))中使用 yield,你必須在 yield 申明兩邊使用括號(hào):

?php
$result = yield fn(); // 不合法的
$result = (yield fn()); // 合法的

這種行為僅僅是因?yàn)?PHP5 的實(shí)現(xiàn)方式的限制,在 PHP7 中,括號(hào)不再是必須的了。所以下面這些寫法也都是合法的:

?php
$result = yield;
$result = yield $v;
$result = yield $k => $v;

當(dāng)然了,還得遵循 yield 的應(yīng)用場(chǎng)景才行。

括號(hào)不影響行為

在 PHP5 中,($foo)['bar'] = 'baz'$foo['bar'] = 'baz' 兩個(gè)語句的含義不一樣。事實(shí)上前一種寫法是不合法的,你會(huì)得到下面這樣的錯(cuò)誤:

?php
($foo)['bar'] = 'baz';
# PHP Parse error: Syntax error, unexpected '[' on line 1

但是在 PHP7 中,兩種寫法表示同樣的意思。

同樣,如果函數(shù)的參數(shù)被括號(hào)包裹,類型檢查存在問題,在 PHP7 中這個(gè)問題也得到了解決:

?php
function func() {
 return [];
}
function byRef(array $a) {
}
byRef((func()));

以上代碼在 PHP5 中不會(huì)告警,除非使用 byRef(func()) 的方式調(diào)用,但是在 PHP7 中,不管 func() 兩邊有沒有括號(hào)都會(huì)產(chǎn)生以下錯(cuò)誤:

PHP Strict standards:  Only variables should be passed by reference ...

list() 的變化

list 關(guān)鍵字的行為改變了很多。list 給變量賦值的順序(等號(hào)左右同時(shí)的順序)以前是從右至左,現(xiàn)在是從左到右:

?php
list($array[], $array[], $array[]) = [1, 2, 3];
var_dump($array);
// PHP5: $array = [3, 2, 1]
// PHP7: $array = [1, 2, 3]
# 注意這里的左右的順序指的是等號(hào)左右同時(shí)的順序,
# list($a, $b) = [1, 2] 這種使用中 $a == 1, $b == 2 是沒有疑問的。

產(chǎn)生上面變化的原因正是因?yàn)樵?PHP5 的賦值過程中,3 會(huì)最先被填入數(shù)組,1 最后,但是現(xiàn)在順序改變了。

同樣的變化還有:

?php
$a = [1, 2];
list($a, $b) = $a;
// PHP5: $a = 1, $b = 2
// PHP7: $a = 1, $b = null + "Undefined index 1"

這是因?yàn)樵谝郧暗馁x值過程中 $b 先得到 2,然后 $a 的值才變成 1,但是現(xiàn)在 $a 先變成了 1,不再是數(shù)組,所以 $b 就成了 null

list 現(xiàn)在只會(huì)訪問每個(gè)偏移量一次:

?php
list(list($a, $b)) = $array;
// PHP5:
$b = $array[0][1];
$a = $array[0][0];
// PHP7:
// 會(huì)產(chǎn)生一個(gè)中間變量,得到 $array[0] 的值
$_tmp = $array[0];
$a = $_tmp[0];
$b = $_tmp[1];

空的 list 成員現(xiàn)在是全部禁止的,以前只是在某些情況下:

?php
list() = $a;   // 不合法
list($b, list()) = $a; // 不合法
foreach ($a as list()) // 不合法 (PHP5 中也不合法)

引用賦值的順序

引用賦值的順序在 PHP5 中是從右到左的,現(xiàn)在時(shí)從左到右:

?php
$obj = new stdClass;
$obj->a = $obj->b;
$obj->b = 1;
var_dump($obj);
// PHP5:
object(stdClass)#1 (2) {
 ["b"] => int(1)
 ["a"] => int(1)
}
// PHP7:
object(stdClass)#1 (2) {
 ["a"] => int(1)
 ["b"] => int(1)
}

__clone 方法可以直接調(diào)用

現(xiàn)在可以直接使用 $obj->__clone() 的寫法去調(diào)用 __clone 方法。__clone 是之前唯一一個(gè)被禁止直接調(diào)用的魔術(shù)方法,之前你會(huì)得到一個(gè)這樣的錯(cuò)誤:

Fatal error: Cannot call __clone() method on objects - use 'clone $obj' instead in ...

變量語法一致性

AST 也解決了一些語法一致性的問題,這些問題是在另外一個(gè) RFC 中被提出的:https://wiki.php.net/rfc/uniform_variable_syntax.

在新的實(shí)現(xiàn)上,以前的一些語法表達(dá)的含義和現(xiàn)在有些不同,具體的可以參照下面的表格:

Expression PHP5 PHP7
$$foo['bar']['baz'] ${$foo['bar']['baz']} ($$foo)['bar']['baz']
$foo->$bar['baz'] $foo->{$bar['baz']} ($foo->$bar)['baz']
$foo->$bar['baz']() $foo->{$bar['baz']}() ($foo->$bar)['baz']()
Foo::$bar['baz']() Foo::{$bar['baz']}() (Foo::$bar)['baz']()

整體上還是以前的順序是從右到左,現(xiàn)在從左到右,同時(shí)也遵循括號(hào)不影響行為的原則。這些復(fù)雜的變量寫法是在實(shí)際開發(fā)中需要注意的。

更多關(guān)于PHP相關(guān)內(nèi)容感興趣的讀者可查看本站專題:《PHP擴(kuò)展開發(fā)教程》、《php面向?qū)ο蟪绦蛟O(shè)計(jì)入門教程》、《php+mysql數(shù)據(jù)庫操作入門教程》、《PHP網(wǎng)絡(luò)編程技巧總結(jié)》及《php常見數(shù)據(jù)庫操作技巧匯總》

希望本文所述對(duì)大家PHP程序設(shè)計(jì)有所幫助。

您可能感興趣的文章:
  • 簡(jiǎn)述PHP7.4 新特性和廢棄的功能
  • php5.6.x到php7.0.x特性小結(jié)
  • php7新特性的理解和比較總結(jié)
  • php7函數(shù),聲明,返回值等新特性介紹
  • PHP7新特性簡(jiǎn)述
  • PHP7 新特性詳細(xì)介紹
  • PHP7新特性foreach 修改示例介紹
  • 淺談php7的重大新特性
  • PHP7中新添特性整理

標(biāo)簽:衢州 衡水 江蘇 大理 廣元 棗莊 蚌埠 萍鄉(xiāng)

巨人網(wǎng)絡(luò)通訊聲明:本文標(biāo)題《PHP7新特性之抽象語法樹(AST)帶來的變化詳解》,本文關(guān)鍵詞  ;如發(fā)現(xiàn)本文內(nèi)容存在版權(quán)問題,煩請(qǐng)?zhí)峁┫嚓P(guān)信息告之我們,我們將及時(shí)溝通與處理。本站內(nèi)容系統(tǒng)采集于網(wǎng)絡(luò),涉及言論、版權(quán)與本站無關(guān)。
  • 相關(guān)文章
  • 收縮
    • 微信客服
    • 微信二維碼
    • 電話咨詢

    • 400-1100-266
    从化市| 灵台县| 洛扎县| 吉林省| 唐山市| 广安市| 绵竹市| 曲松县| 区。| 云霄县| 鸡东县| 清徐县| 汝阳县| 双流县| 临江市| 噶尔县| 耿马| 元朗区| 翁牛特旗| 南汇区| 常熟市| 黄浦区| 颍上县| 青冈县| 晋中市| 射阳县| 开鲁县| 高清| 姚安县| 平塘县| 富民县| 聊城市| 朔州市| 历史| 新乡市| 游戏| 吕梁市| 双城市| 绩溪县| 松滋市| 陆丰市|