您好,登錄后才能下訂單哦!
小編給大家分享一下PHP7的抽象語法樹是什么,相信大部分人都還不怎么了解,因此分享這篇文章給大家參考一下,希望大家閱讀完這篇文章后大有收獲,下面讓我們一起去了解一下吧!
什么是抽象語法樹?
抽象語法樹(abstract syntax tree,AST)是源代碼的抽象語法結構的樹狀表示,樹上的每個節點都表示源代碼中的一種結構,這所以說是抽象的,是因為抽象語法樹并不會表示出真實語法出現的每一個細節,比如說,嵌套括號被隱含在樹的結構中,并沒有以節點的形式呈現。抽象語法樹并不依賴于源語言的語法,也就是說語法分析階段所采用的上下文無文法【文法是用于描述語言的語法結構的形式規則。任何一種語言都有它自己的文法,不管它是機器語言還是自然語言。】,因為在寫文法時,經常會對文法進行等價的轉換(消除左遞歸,回溯,二義性等),這樣會給文法分析引入一些多余的成分,對后續階段造成不利影響,甚至會使合個階段變得混亂。因些,很多編譯器經常要獨立地構造語法分析樹,為前端,后端建立一個清晰的接口
PHP-Parser的項目主頁是https://github.com/nikic/PHP-Parser。可以對多版本的PHP進行完美解析,生成一顆抽象語法樹。
新的執行過程
PHP7 的內核中有一個重要的變化是加入了 AST。在 PHP5中,從 php 腳本到 opcodes 的執行的過程是:
1.Lexing:詞法掃描分析,將源文件轉換成 token 流;
2.Parsing:語法分析,在此階段生成 op arrays。
PHP7 中在語法分析階段不再直接生成 op arrays,而是先生成 AST,所以過程多了一步:
1.Lexing:詞法掃描分析,將源文件轉換成 token 流;
2.Parsing:語法分析,從 token 流生成抽象語法樹;
3.Compilation:從抽象語法樹生成 op arrays。
執行時間和內存消耗
從以上的步驟來看,這比之前的過程還多了一步,所以按常理來說這反而會增加程序的執行時間和內存的使用。但事實上內存的使用確實增加了,但是執行時間上卻有所降低。
以下結果是使用小(代碼大約 100 行)、中(大約 700 行)、大(大約 2800 行)三個腳本分別進行測試得到的,測試腳本: https://gist.github.com/nikic/289b0c7538b46c2220bc.
每個文件編譯 100 次的執行時間(注意文章的測試結果時間是 14 年,PHP7 還叫 PHP-NG 的時候):
單次編譯中的內存峰值:
單次編譯的測試結果可能并不能代表實際使用的情況,以下是使用 PhpParser 進行完整項目測試得到的結果:
測試表明,使用 AST 之后程序的執行時間整體上大概有 10% 到 15% 的提升,但是內存消耗也有增加,在大文件單次編譯中增加明顯,但是在整個項目執行過程中并不是很嚴重的問題。
還有注意的是以上的結果都是在沒有 Opcache 的情況下,生產環境中打開 Opcache 的情況下,內存的消耗增加也不是很大的問題。
語義上的改變
如果僅僅是時間上的優化,似乎也不是使用 AST 的充足理由。其實實現 AST 并不是基于時間優化上的考慮,而是為了解決語法上的問題。下面來看一下語義上的一些變化。
yield 不需要括號
在 PHP5 的實現中,如果在一個表達式上下文(例如在一個賦值表達式的右側)中使用 yield,你必須在 yield 申明兩邊使用括號:
<?php $result = yield fn(); // 不合法的 $result = (yield fn()); // 合法的
這種行為僅僅是因為 PHP5 的實現方式的限制,在 PHP7 中,括號不再是必須的了。所以下面這些寫法也都是合法的:
<?php $result = yield; $result = yield $v; $result = yield $k => $v;
當然了,還得遵循 yield 的應用場景才行。
括號不影響行為
在 PHP5 中,
<?php ($foo)['bar'] = 'baz'; # PHP Parse error: Syntax error, unexpected '[' on line 1
但是在 PHP7 中,兩種寫法表示同樣的意思。
同樣,如果函數的參數被括號包裹,類型檢查存在問題,在 PHP7 中這個問題也得到了解決:
<?php function func() { return []; } function byRef(array &$a) { } byRef((func()));
以上代碼在 PHP5 中不會告警,除非使用 byRef(func()) 的方式調用,但是在 PHP7 中,不管 func() 兩邊有沒有括號都會產生以下錯誤:
PHP Strict standards: Only variables should be passed by reference ...
list() 的變化
list 關鍵字的行為改變了很多。list 給變量賦值的順序(等號左右同時的順序)以前是從右至左,現在是從左到右:
<?php list($array[], $array[], $array[]) = [1, 2, 3]; var_dump($array); // PHP5: $array = [3, 2, 1] // PHP7: $array = [1, 2, 3] # 注意這里的左右的順序指的是等號左右同時的順序, # list($a, $b) = [1, 2] 這種使用中 $a == 1, $b == 2 是沒有疑問的。
產生上面變化的原因正是因為在 PHP5 的賦值過程中,3 會最先被填入數組,1 最后,但是現在順序改變了。
同樣的變化還有:
<?php $a = [1, 2]; list($a, $b) = $a; // PHP5: $a = 1, $b = 2 // PHP7: $a = 1, $b = null + "Undefined index 1"
這是因為在以前的賦值過程中 $b 先得到 2,然后 $a 的值才變成1,但是現在 $a 先變成了 1,不再是數組,所以 $b 就成了null。
list 現在只會訪問每個偏移量一次
<?php list(list($a, $b)) = $array; // PHP5: $b = $array[0][1]; $a = $array[0][0]; // PHP7: // 會產生一個中間變量,得到 $array[0] 的值 $_tmp = $array[0]; $a = $_tmp[0]; $b = $_tmp[1];
空的 list 成員現在是全部禁止的,以前只是在某些情況下:
<?php list() = $a; // 不合法 list($b, list()) = $a; // 不合法 foreach ($a as list()) // 不合法 (PHP5 中也不合法)
引用賦值的順序
引用賦值的順序在 PHP5 中是從右到左的,現在時從左到右:
<?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 方法可以直接調用
現在可以直接使用 $obj->__clone() 的寫法去調用 __clone 方法。 __clone 是之前唯一一個被禁止直接調用的魔術方法,之前你會得到一個這樣的錯誤:
Fatal error:Cannot call __clone() method on objects -use 'clone $obj' instead in...
變量語法一致性
AST 也解決了一些語法一致性的問題,這些問題是在另外一個 RFC 中被提出的:https://wiki.php.net/rfc/uniform_variable_syntax.
在新的實現上,以前的一些語法表達的含義和現在有些不同,具體的可以參照下面的表格:
整體上還是以前的順序是從右到左,現在從左到右,同時也遵循括號不影響行為的原則。這些復雜的變量寫法是在實際開發中需要注意的。
以上是PHP7的抽象語法樹是什么的所有內容,感謝各位的閱讀!相信大家都有了一定的了解,希望分享的內容對大家有所幫助,如果還想學習更多知識,歡迎關注億速云行業資訊頻道!
免責聲明:本站發布的內容(圖片、視頻和文字)以原創、轉載和分享為主,文章觀點不代表本網站立場,如果涉及侵權請聯系站長郵箱:is@yisu.com進行舉報,并提供相關證據,一經查實,將立刻刪除涉嫌侵權內容。