什么是抽象語法樹？

抽象語法樹（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 = 

當然了，還得遵循 yield 的應用場景才行。

括號不影響行為

在 PHP5 中，

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

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

同樣，如果函數的參數被括號包裹，類型檢查存在問題，在 PHP7 中這個問題也得到了解決：

 ?phpfunction 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 給變量賦值的順序（等號左右同時的順序）以前是從右至左，現在是從左到右：

 ?phplist($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 現在只會訪問每個偏移量一次

 ?phplist(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 成員現在是全部禁止的，以前只是在某些情況下：

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

引用賦值的順序

引用賦值的順序在 PHP5 中是從右到左的，現在時從左到右：

 ?php$obj = new stdClass;$obj- a = $obj- $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.

在新的實現上，以前的一些語法表達的含義和現在有些不同，具體的可以參照下面的表格：

整體上還是以前的順序是從右到左，現在從左到右，同時也遵循括號不影響行為的原則。這些復雜的變量寫法是在實際開發中需要注意的。

相關推薦：《PHP教程》

以上就是PHP7 的抽象語法樹（AST）帶來的變化的詳細內容，PHP教程

鄭重聲明：本文版權歸原作者所有，轉載文章僅為傳播更多信息之目的，如作者信息標記有誤，請第一時間聯系我們修改或刪除，多謝。