本節(jié)的示例代碼位于www/type-checker/index.php上，您可以通過將瀏覽器指向http：// localhost：8080/type-checker/。

第一個錯誤消息并不奇怪：呼叫add（1，a”）會生成錯誤，因為add（）期望第二個參數(shù)是整數(shù)。

第二個錯誤消息更出乎意料：通過調用add_array（[1，“ a”]），不會生成錯誤。實際上，這是添加（1，“ a”）在add_array（）內部產生錯誤的調用！可以預期通過[1，“ a”]會觸發(fā)錯誤，因為它不是數(shù)組。

是，HHVM運行時檢查稀疏，以免影響性能：它不會迭代對象。在這一點上，您可能會質疑黑客類型系統(tǒng)的有用性！但是不用擔心，有一個簡單的答案，即“類型的檢查器”：它將捕獲任何類型的不匹配，包括上一個示例中的一個。不要在HHVM存儲庫中尋找它，它尚未由Facebook發(fā)布。

類型檢查器被實現(xiàn)為觀察文件以進行更改的服務器。每當檢測到更改時，它將掃描修改后的文件以及其依賴項中的錯誤。這些錯誤是實時報告的，因此您甚至不必運行代碼。它被設計為即使在FB的尺度上也很快工作。

>您現(xiàn)在應該確信類型系統(tǒng)效果很好，但是有什么好處？它允許實時捕獲開發(fā)人員錯誤，生成更有效的代碼：PHP add（）函數(shù)首先必須檢查$ a和$ b的類型（即字符串，null，…）可能會轉換為數(shù)字，只有這樣執(zhí)行加法。而使用hack上，上面的add（）函數(shù)添加了兩個非無效整數(shù)，這是匯編語言中非?？焖俚牟僮鳎ㄓ蒆HVM JIT生成）。

作為開發(fā)人員，您已經在使用PHP類型提示和PHPDOC注釋，則切換到嚴格的模式應該是不明智的。您的代碼將變得更安全，更快 - 請注意，盡管不是實時的，例如審查器已經使用了類型推理來檢查代碼，但已有一些現(xiàn)有的QA工具已經使用了類型。

如果您主要使用PHP是由于其動態(tài)鍵入的性質，那么您可能想堅持非圖案模式。

在過去幾年中，PHP世界中注釋的使用急劇增加。對于那些不熟悉注釋的人，它們是元數(shù)據，您可以添加到類，界面，特征，變量和函數(shù)/方法/方法中。

>該學說ORM可能是最早使用注釋的PHP項目之一。以下是學說文檔中模型配置的示例：>

<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>

>您應該注意，毫不奇怪的是，從反射API訪問了用戶屬性。另請注意，仍將實現(xiàn)對類屬性注釋的支持。

本節(jié)的示例代碼位于www/attributes/index.php上，您可以通過將瀏覽器指向http：// localhost：8080/attributes/。

> xhp

>使用XHP，您可以使用

{$ hello}

$ hello

>它提供了一定程度的上下文逃逸 - 當引擎意識到您的渲染內容時，它可以逃脫HTML并適當?shù)貙傩灾?，以防止XSS攻擊，>
• >您可以通過擴展或包裝現(xiàn)有標簽來編寫自己的標簽。>
• 讓我們看一個示例：
本節(jié)的完整示例代碼位于www/hhxhp/index.php上，您可以通過將瀏覽器指向http：// localhost：8080/hhxhp/。

<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>