Sie können das zuvor erstellte Vagrant -Feld verwenden, um die Code -Snippets aus diesem Artikel auszuführen.
Im ersten Teil des Artikels haben wir gesehen, dass Hack tatsächlich statisch getippt wurde. Dies bedeutet, dass Sie Typen für alle Variablen in Ihrer Anwendung bereitstellen müssen. Zur Erinnerung wird PHP dynamisch eingegeben, damit Sie Ihre Variablen nie eingeben müssen, obwohl Sie den Typ verwenden können, der für Funktionsargumente angedeutet wird.
Aber warte, bedeutet das, dass Sie Typen für jede einzelne Variable Ihrer Anwendung bereitstellen müssen? Nicht genau, und wir werden die Details sehen.
Die Codebasis von Facebook besteht aus Hunderten von Millionen von Codezeilen und dem Hinzufügen von Typen überall, bevor sie zu Hack wechseln können, wäre eine echte Belastung gewesen. Sie sind also mit "schrittweise Tippen" geliefert: Hack erwartet nur Typen im "strengen" Modus. In Nicht-Streng-Modus würden Typen nur in Angemeldung aufgenommen, wo sie anwesend sind.
Eingeben in den strengen Modus ist so einfach wie das Umschalten des Hack -Start -Tags von Hh auf HH // strikt.
Auch im strengen Modus müssen Sie nicht alle Variablen kommentieren. Das liegt daran, dass Hack klug genug ist, um lokale variable Typen zu schließen. Typ -Annotationen sind immer nur für Klasseneigenschaften, Funktionsargumente und Rückgabeteile erforderlich. Ich würde sonst empfehlen, lokale Variablen zu kommentieren, wenn dies das Verständnis Ihres Codes beitragen könnte.
schauen wir uns ein Beispiel an:
<span><span><?hh // strict </span></span><span> </span><span><span>require "/vagrant/www/xhp/php-lib/init.php"; </span></span><span> </span><span><span>// ... </span></span><span> </span><span><span>function add(int $a, int $b): int { </span></span><span> <span>return $a + $b; </span></span><span><span>} </span></span><span> </span><span><span>// ERROR(calling "add()" on l.17) : Argument 2 passed to add() must be an </span></span><span><span>// instance of int, string given </span></span><span><span>echo <p>add(1, "a") = {add(1, "a")}</p>; </span></span><span> </span><span><span>// ERROR(calling "add()" on l.22) : Argument 2 passed to add() must be an </span></span><span><span>// instance of int, string given </span></span><span><span>function add_array(array<int> $a): int { </span></span><span> <span>return array_reduce($a, "add", 0); </span></span><span><span>} </span></span><span> </span><span><span>echo <p>add_array([1, "a"]) = {add_array([1, "a"])}</p>;</span></span>
Der Beispielcode für diesen Abschnitt befindet sich unter www/type-checker/index.php und Sie können den Ausgang sehen, indem Sie Ihren Browser auf http: // localhost: 8080/type-checker/.
verweisenDie erste Fehlermeldung ist nicht überraschend: Aufruf hinzufügen (1, "a") erzeugt einen Fehler, weil add () erwartet, dass das zweite Argument eine ganze Zahl ist.
Die zweite Fehlermeldung ist unerwarteter: Der Fehler wird nicht durch Aufrufen von add_array ([1, "a"] generiert. Es ist tatsächlich der Anruf, der (1, "a") in add_array () hinzugefügt wird, der den Fehler generiert! Man hätte erwarten können, dass das Bestehen [1, "a"] einen Fehler auslösen würde, da es sich nicht um ein Array
Die Sache ist, dass die HHVM -Laufzeitprüfung spärlich ist, um die Leistung nicht zu beeinflussen: Sie iteriert nicht über Objekte. An diesem Punkt würden Sie wahrscheinlich die Nützlichkeit des Hack -Typ -Systems in Frage stellen! Aber keine Sorge, es gibt eine einfache Antwort, die "Checker Type": Es würde alle Nichtpaare von Typen, einschließlich der aus dem vorherigen Beispiel, erfassen. Suchen Sie im HHVM -Repository nicht danach, es wurde noch nicht von Facebook veröffentlicht.
Der Typ -Checker wird als Server implementiert, auf dem Ihre Dateien nach Änderungen beobachtet werden. Immer wenn es eine Änderung erkennt, scannt die geänderte Datei zusammen mit ihren Abhängigkeiten auf Fehler. Die Fehler werden in Echtzeit gemeldet, sodass Sie den Code nicht einmal ausführen müssen. Es wurde so konzipiert, dass es auch im FB -Maßstab sehr schnell funktioniert.
Sie sollten jetzt davon überzeugt sein, dass das Typsystem großartig funktioniert, aber was sind die Vorteile? Es ermöglicht es, Entwicklerfehler in Echtzeit zu fangen und effizientere Code zu erzeugen: Eine Funktion add () müsste zunächst die Arten von $ A und $ B (d. H. String, Null,…) möglicherweise in Zahlen und nur dann in Zahlen umwandeln Führen Sie die Zugabe durch. Während mit Hack die obige Funktion add () zwei nicht-null-Ganzzahlen hinzufügt, ist dies eine sehr schnelle Operation in der Montagesprache (wie vom HHVM JIT erzeugt).
Wenn Sie als Entwickler bereits einen PHP-Typ-Hinweis und Anmerkungen von PHPDOC verwenden, sollte der Umschalten in den strengen Modus ein Kinderspiel sein. Ihr Code wird sicherer und schneller-Beachten Sie, dass einige vorhandene QA-Tools, wie beispielsweise Scrutinizer, den Typ-Inferenz verwenden, um Ihren Code zu überprüfen, obwohl diese keine Echtzeit sind.
Wenn Sie PHP hauptsächlich wegen seiner dynamisch typisierten Natur verwenden, möchten Sie wahrscheinlich am Nichtstreifenmodus festhalten.
Die Verwendung von Anmerkungen hat in den letzten Jahren in der PHP -Welt dramatisch zugenommen. Für diejenigen, die mit Anmerkungen nicht vertraut sind, sind sie Metadaten, die Sie zu Klassen, Schnittstellen, Merkmalen, Variablen und Funktionen/Methoden hinzufügen können.
Die Lehre ORM war wahrscheinlich eines der ersten PHP -Projekte, die eine umfassende Verwendung von Annotationen nutzen. Nachfolgend finden Sie ein Beispiel für eine Modellkonfiguration aus der Doktrin -Dokumentation:
<span><span><?hh // strict </span></span><span> </span><span><span>require "/vagrant/www/xhp/php-lib/init.php"; </span></span><span> </span><span><span>// ... </span></span><span> </span><span><span>function add(int $a, int $b): int { </span></span><span> <span>return $a + $b; </span></span><span><span>} </span></span><span> </span><span><span>// ERROR(calling "add()" on l.17) : Argument 2 passed to add() must be an </span></span><span><span>// instance of int, string given </span></span><span><span>echo <p>add(1, "a") = {add(1, "a")}</p>; </span></span><span> </span><span><span>// ERROR(calling "add()" on l.22) : Argument 2 passed to add() must be an </span></span><span><span>// instance of int, string given </span></span><span><span>function add_array(array<int> $a): int { </span></span><span> <span>return array_reduce($a, "add", 0); </span></span><span><span>} </span></span><span> </span><span><span>echo <p>add_array([1, "a"]) = {add_array([1, "a"])}</p>;</span></span>
PHP bietet im Gegensatz zu vielen anderen Sprachen keine integrierte Unterstützung für Anmerkungen. Die Lehre Annotationsbibliothek wird jedoch häufig verwendet, um Metadaten aus Docblocks zu extrahieren. Ein RFC, der integrierte Unterstützung für Anmerkungen in PHP vorschlägt, wurde 2011 zurückgegangen.
Benutzerattribute sind die Facebook -Implementierung von Annotationen. Sie sind in > eingeschlossen und ihre Syntax unterscheidet sich ein wenig von Lehreanmerkungen:
<span><span><?hh // strict </span></span><span> </span><span><span>require "/vagrant/www/xhp/php-lib/init.php"; </span></span><span> </span><span><span>// ... </span></span><span> </span><span><span>function add(int $a, int $b): int { </span></span><span> <span>return $a + $b; </span></span><span><span>} </span></span><span> </span><span><span>// ERROR(calling "add()" on l.17) : Argument 2 passed to add() must be an </span></span><span><span>// instance of int, string given </span></span><span><span>echo <p>add(1, "a") = {add(1, "a")}</p>; </span></span><span> </span><span><span>// ERROR(calling "add()" on l.22) : Argument 2 passed to add() must be an </span></span><span><span>// instance of int, string given </span></span><span><span>function add_array(array<int> $a): int { </span></span><span> <span>return array_reduce($a, "add", 0); </span></span><span><span>} </span></span><span> </span><span><span>echo <p>add_array([1, "a"]) = {add_array([1, "a"])}</p>;</span></span>
Sie sollten beachten, dass die Benutzerattribute nicht überraschend auf die Reflexions -API zugegriffen werden. Beachten Sie auch, dass die Unterstützung für die Annotation von Klasseneigenschaften noch implementiert werden muss.
Der Beispielcode für diesen Abschnitt befindet sich unter www/attribute/index.php und Sie können den Ausgang sehen, indem Sie Ihren Browser auf http: // localhost: 8080/Attribute/.
verweisenInzwischen sollten Sie ein Vorgesetzter darüber haben, was XHP so ist, wie wir es aus dem ersten Codebeispiel dieses Artikels verwendet haben. Lassen Sie mich Facebook für eine vollständigere Definition zitieren. „XHP ist eine PHP -Erweiterung, die die Syntax der Sprache so erweitert, dass XML -Dokumentfragmente zu gültigen PHP -Ausdrücken werden.“. Beachten Sie, dass XHP als PHP -Erweiterung verfügbar ist und dass HHVM native Unterstützung hat.
Mit XHP können Sie
Schauen wir uns ein Beispiel an:
<span><span><?php </span></span><span><span>/** @Entity */ </span></span><span><span>class Message </span></span><span><span>{ </span></span><span> <span>/** @Column(type="integer") */ </span></span><span> <span>private $id; </span></span><span> <span>/** @Column(length=140) */ </span></span><span> <span>private $text; </span></span><span> <span>/** @Column(type="datetime", name="posted_at") */ </span></span><span> <span>private $postedAt; </span></span><span><span>}</span></span>
Der vollständige Beispielcode für diesen Abschnitt befindet sich unter www/hhxhp/index.php und Sie können die Ausgabe sehen, indem Sie Ihren Browser auf http: // localhost: 8080/hhxhp/.
verweisen.In diesem Beispiel beginnen wir mit dem Definieren eines benutzerdefinierten
Das obige ist der detaillierte Inhalt vonEin Blick auf Hack, den PHP -Ersatz in HHVM. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!