PHP7 の新機能の抽象構文ツリー (AST) についてのいくつかの紹介-PHPチュートリアル-php.cn

この記事では、PHP7 の新機能の抽象構文ツリー (AST) について説明します。内容は非常に優れています。困っている友人は参照してください。すべての人に役立つことを願っています。

この記事では、PHP7 の新機能である抽象構文ツリー (AST) によってもたらされた変更を分析します。次のように、参照用に全員と共有してください。

ここでの内容のほとんどは、AST の RFC 文書 https://wiki.php.net/rfc/abstractsyntaxtree に基づいています。理解を容易にするためにソースドキュメントのセクションが導入されています。

この記事では、抽象構文ツリーが何であるかについては説明しません。これについては各自で理解する必要があります。この記事では、AST が PHP にもたらすいくつかの変更についてのみ説明します。

新しい実行プロセス

PHP7 のコアにおける重要な変更は、AST の追加です。 PHP5 では、php スクリプトからオペコードまでの実行プロセスは次のとおりです:

字句解析: 字句スキャン分析、ソースファイルをトークンストリームに変換します;
解析: 構文解析、op 配列がこの段階で生成されます。

PHP7 では、op 配列は構文分析フェーズ中に直接生成されなくなりましたが、AST が最初に生成されるため、プロセスにはもう 1 つのステップがあります。

上記の手順から、これは前のプロセスよりも 1 つの手順が多いため、常識的には、これによりプログラムの実行時間が増加します。時間とメモリの使用量。しかし実際には、メモリ使用量は確かに増加していますが、実行時間は減少しています。

次の結果は、小規模 (約 100 行のコード)、中規模 (約 700 行)、および大規模 (約 2800 行) の 3 つのスクリプトをテストして得られたものです。テストスクリプト: https://gist.github .com/nikic/289b0c7538b46c2220bc.

各ファイルを 100 回コンパイルした場合の実行時間 (記事のテスト結果は、PHP7 がまだ PHP-NG と呼ばれていた 14 年間のものであることに注意してください):

php-astdiff SMALL0.180s0.160s-12.5%MEDIUM1.492s1.268s-17.7%大6.703s5.736s- 16.9% 単一コンパイルでのメモリピーク:

#php-ng

php-astdiffSMALL378kB414kB 9.5 %#MEDIUM507kB643kB 26.8%LARGE1084kB1857kB 71.3%##単一コンパイルのテスト結果は、実際の使用を表すものではない可能性があります。以下のとおりです。以下は、PhpParser を使用した完全なプロジェクトテストの結果です:

php- ng

##php-ngdiffTIME25.5ms22.8ms-11.8%メモリ2360kB2482kB 5.1%

テストによると、AST を使用した後、プログラムの全体的な実行時間は約 10% ～ 15% 改善されましたが、メモリ消費量も増加しました。この増加は、大きなファイルの 1 回のコンパイルでは明らかですが、実行中はそうではありません。プロジェクトの実行プロセス全体が非常に深刻な問題です。

また、上記の結果はすべて 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 では、($foo)['bar'] = 'baz' および $foo['bar'] = 'baz' 2 つのステートメントは異なる意味を持ちます。実は、前者の書き方は違法であり、次のようなエラーが発生します。

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

ログイン後にコピー

しかし、PHP7 では、2 つの書き方は同じ意味になります。

同様に、関数のパラメータが括弧で囲まれている場合、型チェックに問題があります。この問題は PHP7 でも解決されています:

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

ログイン後にコピー

上記のコードは、次の場合には警告しません。 ##byRef(func()) を使用しない限り、PHP5 では ##byRef(func()) が使用されますが、PHP7 では、func() の両側に括弧があるかどうかに関係なく、次のエラーが発生します。

PHP の厳格な標準: 変数のみが参照によって渡される必要があります...

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 はオフセットごとに 1 回だけアクセスされるようになりました:

<?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];

ログイン後にコピー

以前は特定の状況下でのみ空のリストメンバーがすべて禁止されました:

<?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 は、以前は直接呼び出すことが禁止されていた唯一のマジックメソッドです。以前は、次のようなエラーが発生していました: 致命的エラー: オブジェクトに対して __clone() メソッドを呼び出すことができません - ' を使用してくださいclone $ obj' の代わりに...

変数構文の一貫性

AST は、別の RFC: https://wiki.php.net/rfc/ で提起されたいくつかの構文の一貫性の問題も解決します。 uniform_variable_syntax.

新しい実装では、以前の一部の文法表現の意味が現在のものと多少異なります。詳細については、次の表を参照してください:

php-ast

#式PHP5PHP7${ $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']()
		全体的には、以前の順序は右から左でしたが、現在は左から右です。また、括弧は動作に影響を与えないという原則に従います。このような複雑な変数の書き方は、実際の開発では注意が必要です。