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

来查看其输出。