A Look at Hack, the PHP Replacement in HHVM

看一下黑客，hhvm中的PHP替代品

您可以使用先前創建的Vagrant框來運行本文的代碼段。

鑰匙要點

HHVM中的PHP替換

hack介紹了一些改進PHP的功能，包括用戶屬性，這些功能是Facebook的註釋的實現和XHP，XHP是增強語言語法的PHP擴展程序，以使XML文檔片段成為有效的PHP表達式。儘管黑客和HHVM具有優勢，但他們的採用仍然存在障礙，包括缺乏對PECL擴展的支持以及HHVM僅由Facebook支持的事實。但是，Facebook的工具可以自動編譯HHVM目標的PHP擴展，並且據報導，HHVM的擴展比為PHP開發更容易。
為什麼類型？

> Facebook的代碼庫由數億行代碼組成，並在各處添加類型，然後才能切換到hack是一個真正的負擔。因此，它們具有“逐漸鍵入”：Hack期望類型僅處於“嚴格”模式。在非圖案模式中，只有在存在的地方考慮。

進入嚴格模式就像將hack start標籤從即使在嚴格的模式下，您也不必註釋所有變量。那是因為hack足夠聰明，可以推斷局部變量類型。類型註釋僅是類屬性，函數參數和返回值所必需的。否則，我建議在可以幫助您理解您的代碼的情況下註釋本地變量。讓我們看一個示例：

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

來查看其輸出。

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

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

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

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

>您現在應該確信類型系統效果很好，但是有什麼好處？它允許實時捕獲開發人員錯誤，生成更有效的代碼：PHP add（）函數首先必須檢查$ a和$ b的類型（即字符串，null，…）可能會轉換為數字，只有這樣執行加法。而使用hack上，上面的add（）函數添加了兩個非無效整數，這是彙編語言中非常快速的操作（由HHVM JIT生成）。

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

如果您主要使用PHP是由於其動態鍵入的性質，那麼您可能想堅持非圖案模式。

>用戶屬性

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

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

與許多其他語言不同，PHP沒有對註釋的內置支持。但是，學說註釋庫被廣泛用於從模仿中提取元數據。 RFC建議對PHP中註釋的內置支持已在2011年被拒絕。用戶屬性是註釋的Facebook實現。它們包含在>中，其語法與學說註釋有點不同：

<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訪問了用戶屬性。另請注意，仍將實現對類屬性註釋的支持。

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

來查看其輸出。