溫馨提示×

您好,登錄后才能下訂單哦!

密碼登錄×
登錄注冊(cè)×
其他方式登錄
點(diǎn)擊 登錄注冊(cè) 即表示同意《億速云用戶服務(wù)條款》

PHP7新特性之抽象語法樹AST帶來的變化有哪些

發(fā)布時(shí)間:2021-08-17 11:03:45 來源:億速云 閱讀:117 作者:小新 欄目:開發(fā)技術(shù)

這篇文章將為大家詳細(xì)講解有關(guān)PHP7新特性之抽象語法樹AST帶來的變化有哪些,小編覺得挺實(shí)用的,因此分享給大家做個(gè)參考,希望大家閱讀完這篇文章后可以有所收獲。

新的執(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-ngphp-astdiff
SMALL0.180s0.160s-12.5%
MEDIUM1.492s1.268s-17.7%
LARGE6.703s5.736s-16.9%

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


php-ngphp-astdiff
SMALL378kB414kB+9.5%
MEDIUM507kB643kB+26.8%
LARGE1084kB1857kB+71.3%

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


php-ngphp-astdiff
TIME25.5ms22.8ms-11.8%
MEMORY2360kB2482kB+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)在有些不同,具體的可以參照下面的表格:

ExpressionPHP5PHP7
$$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)于“PHP7新特性之抽象語法樹AST帶來的變化有哪些”這篇文章就分享到這里了,希望以上內(nèi)容可以對(duì)大家有一定的幫助,使各位可以學(xué)到更多知識(shí),如果覺得文章不錯(cuò),請(qǐng)把它分享出去讓更多的人看到。

向AI問一下細(xì)節(jié)

免責(zé)聲明:本站發(fā)布的內(nèi)容(圖片、視頻和文字)以原創(chuàng)、轉(zhuǎn)載和分享為主,文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng),如果涉及侵權(quán)請(qǐng)聯(lián)系站長郵箱:is@yisu.com進(jìn)行舉報(bào),并提供相關(guān)證據(jù),一經(jīng)查實(shí),將立刻刪除涉嫌侵權(quán)內(nèi)容。

AI