Änderungen an PHP7 durch den neuen Abstract Syntax Tree (AST)

Der Großteil des Inhalts dieses Artikels basiert auf dem RFC-Dokument von AST: https://wiki.php.net/rfc/abstract_syntax_tree Zum besseren Verständnis werden Auszüge aus dem Quelldokument eingeführt.

In diesem Artikel erfahren Sie nicht, was ein abstrakter Syntaxbaum ist. Sie müssen ihn selbst verstehen. Hier finden Sie nur eine Beschreibung einiger Änderungen, die AST an PHP mit sich bringt.

Neuer Ausführungsprozess

Eine wichtige Änderung im Kern von PHP7 ist die Hinzufügung von AST. In PHP5 ist der Ausführungsprozess von PHP-Skripten zu Opcodes:

1 in dieser Phase generiert.

3. In PHP7 werden Op-Arrays nicht mehr direkt während der Syntaxanalysephase generiert, sondern AST wird zuerst generiert, daher gibt es einen weiteren Schritt im Prozess:

4. lexikalische Scanning-Analyse, Konvertieren der Quelldatei in Token-Stream;

5. Syntaxanalyse, Erstellung eines abstrakten Syntaxbaums aus dem Token-Stream; Baum.

Ausführungszeit und Speicherverbrauch

Von den oben genannten Schritten ist dies ein Schritt mehr als der vorherige Prozess, sodass dies nach gesundem Menschenverstand die Programmausführung erhöht Zeit- und Speicherverbrauch. Tatsächlich hat sich jedoch die Speichernutzung erhöht, die Ausführungszeit jedoch abgenommen. Die folgenden Ergebnisse werden durch das Testen von drei Skripten erzielt: klein (ca. 100 Zeilen Code), mittel (ca. 700 Zeilen) und groß (ca. 2800 Zeilen):

https ://gist.github.com/nikic/289b0c7538b46c2220bc

Ausführungszeit für das 100-fache Kompilieren jeder Datei (beachten Sie, dass die Testergebniszeit des Artikels 14 Jahre beträgt, PHP7 wird auch aufgerufen PHP-NG ):

Speicherspitze in einer einzelnen Kompilierung:

+71,3%

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%	php-ng	php-ast	diff
SMALL	378kB	414kB	+9,5%
MITTEL	507kB	643kB	+26,8%
GROSS	1084kB	1857kB

Die Testergebnisse einer einzelnen Kompilierung spiegeln möglicherweise nicht die tatsächliche Verwendung wider. Im Folgenden sind die Ergebnisse eines vollständigen Projekttests mit PhpParser aufgeführt ：

	php-ng	php-ast	diff
ZEIT	25,5ms	22,8ms	- 11,8 %
SPEICHER	2360 kB	2482 kB	+5,1 %

Tests zeigen, dass sich nach der Verwendung von AST die Gesamtausführungszeit des Programms um etwa 10 bis 15 % verbessert, der Speicherverbrauch jedoch auch zunimmt. Der Anstieg ist bei einer einzelnen Zusammenstellung großer Dateien offensichtlich, nicht jedoch bei gesamter Projektausführungsprozess. Sehr ernstes Problem.

Beachten Sie außerdem, dass die oben genannten Ergebnisse alle ohne Opcache gelten. Wenn Opcache in einer Produktionsumgebung aktiviert ist, stellt der Anstieg des Speicherverbrauchs kein großes Problem dar.

Semantische Änderungen

Wenn es sich nur um eine Zeitoptimierung handelt, scheint dies kein ausreichender Grund für die Verwendung von AST zu sein. Tatsächlich basiert die Implementierung von AST nicht auf Überlegungen zur Zeitoptimierung, sondern auf der Lösung von Syntaxproblemen. Werfen wir einen Blick auf einige Änderungen in der Semantik.

Yield erfordert keine Klammern

Wenn Sie Yield in der PHP5-Implementierung in einem Ausdruckskontext verwenden (z. B. auf der rechten Seite eines Zuweisungsausdrucks), werden Sie Sie müssen auf beiden Seiten der Yield-Deklaration Klammern verwenden:

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

Dieses Verhalten ist nur auf die Implementierungsbeschränkungen von PHP5 zurückzuführen. In PHP7 sind Klammern nicht mehr erforderlich. Folgende Schreibmethoden sind also ebenfalls zulässig:

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

Natürlich müssen Sie sich dabei an die Anwendungsszenarien von yield halten.

Klammern haben keinen Einfluss auf das Verhalten

In PHP5 ist ($foo)['bar'] = 'baz' und $foo['bar'] = 'baz „Die Bedeutung der beiden Aussagen ist unterschiedlich. Tatsächlich ist die frühere Schreibweise illegal und Sie erhalten die folgende Fehlermeldung:

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

Aber in PHP7 bedeuten die beiden Schreibweisen dasselbe.

Wenn die Parameter der Funktion in Klammern stehen, gibt es ebenfalls ein Problem mit der Typprüfung. Dieses Problem wurde auch in PHP7 gelöst:

<?php
function func() {
    return [];
}

function byRef(array &$a) {
}

byRef((func()));

Der obige Code wird nicht angezeigt PHP5, sofern byRef nicht verwendet wird (func())-Methode, aber in PHP7 tritt der folgende Fehler auf, unabhängig davon, ob auf beiden Seiten von func() Klammern vorhanden sind:

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

Änderungen in der Liste( )

<🎜 Das Verhalten des Schlüsselworts >list hat sich stark verändert. Die Reihenfolge, in der die Liste Variablen Werte zuweist (die Reihenfolge auf der linken und rechten Seite des Gleichheitszeichens gleichzeitig), war früher von rechts nach links, jetzt jedoch von links nach rechts:

<?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 是没有疑问的。

Der Grund für die obige Änderung liegt genau darin, dass im Zuweisungsprozess von PHP5 3 zuerst und 1 zuletzt in das Array eingefügt werden, aber jetzt hat sich die Reihenfolge geändert.

Die gleichen Änderungen sind:

<?php
$a = [1, 2];
list($a, $b) = $a;

// PHP5: $a = 1, $b = 2
// PHP7: $a = 1, $b = null + "Undefined index 1"

Dies liegt daran, dass $b im vorherigen Zuweisungsprozess zuerst 2 bekam und dann der Wert von $a 1 wurde, aber jetzt ändert sich $a zuerst wird 1 und ist kein Array mehr, sodass $b null wird.

Auf die Liste wird jetzt nur einmal pro Offset zugegriffen:

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

Leere Listenmitglieder sind jetzt vollständig verboten, bisher nur in bestimmten Fällen:

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

Die Reihenfolge der Referenz Zuweisung

Die Reihenfolge der Referenzzuweisung erfolgt in PHP5 von rechts nach links und die Gegenwartsform von links nach rechts:

<?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-Methode kann <🎜 direkt aufrufen >Sie können jetzt direkt $obj->__clone() verwenden, um die __clone-Methode aufzurufen. __clone war die einzige magische Methode, deren direkter Aufruf zuvor verboten war:

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

Variable Syntaxkonsistenz

AST hat auch einige Syntaxfehler behoben Konsistenzprobleme, diese Probleme wurden in einem anderen RFC angesprochen:

https://wiki.php.net/rfc/uniform_variable_syntax. In der neuen Implementierung die Bedeutung Einige frühere grammatikalische Ausdrücke unterscheiden sich etwas von der aktuellen. Einzelheiten finden Sie in der folgenden Tabelle:

Im Großen und Ganzen ist die vorherige Reihenfolge von rechts nach links, jetzt von links nach links richtig, und folgt gleichzeitig dem Grundsatz, dass Klammern keinen Einfluss auf das Verhalten haben. Diesen komplexen Variablenschreibmethoden muss in der tatsächlichen Entwicklung Aufmerksamkeit geschenkt werden.

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']()

Empfohlenes Tutorial: „

PHP7

“

Das obige ist der detaillierte Inhalt vonÄnderungen an PHP7 durch den neuen Abstract Syntax Tree (AST). Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!