《Hack与HHVM权威指南》——导读

在facebook公司的大部分发展历程中，每隔几个月就会举办“黑客马拉松（hackathons）”活动，活动的目的在于鼓励工程师们碰撞出好的想法，而这些好的想法并不是和他们的日常工作相关的，他们自由组队，然后在一两天的时间内做出一些非常有意思的事情。

在2007年11月的一次“黑客马拉松”活动上，诞生了一个非常有意思的实验：一个工具能够将php程序转化为c++程序，然后还能够用c++编译器进行编译。想法是c++程序将会比php原生的程序运行起来快很多，因为它可以得益于多年以来对c++编译器的大量优化工作。

对于facebook来说，这种可能性是非常有趣的，因为公司增加了大量新的用户，而支持更多新的用户需要耗费大量的cpu运算周期。所以当你耗尽所有可用的cpu运算周期后，除非你耗费大量财力购买更多的cpu，用来支持日益增多的用户所带来的cpu运算能力的需求，否则你必须寻找一个方法来降低每个用户的cpu消耗。由于facebook整个网站的前端都是用php语言编写的，所以任何使php代码耗费更少cpu运算周期的新技术都受到欢迎。

在接下来的7年时间里，这个项目的发展远远超出了最开始在“黑客马拉松”中的起点。php到c++的转换器称为hphpc， 在2009年的时候它成为支撑fackbook网页业务唯一的服务器端引擎。在2010年年初，它以“hiphop for php”的名字开源了。然后从2010年起，一个全新的方法用来执行——即时编译为机器代码，并没有c++牵扯其中——脱胎换骨于hphpc的代码库，并最终取代它。这个即时的编辑器称为“hiphop虚拟机”，简称为 hhvm，并且在2013年的早期彻底取代了facebook的网站服务器集群。早期的php到c++的转换器消失了，它没有在任何地方进行部署，同时它的代码都被删除了。

而hack的起源是完全分开的，其根源在于试图在php中使用静态分析以自动探测潜在的安全漏洞的一个项目。很快，事实证明，php的本质使得它在非常有用的静态分析方面很难有所进展。于是“严格模式（strictmode）”的想法就诞生了。对php进行修改，增加一些新的特性，比如引用、删除和添加一个补充的复杂类型系统。php代码的作者可以自由选择是否使用严格模式，在保持完整的互操作性同时，获得更加强大的代码检查能力。

hack的方向从那时开始就作为基于php的类型系统掩盖了其本质。它在构建hack编码的道路上获得了很多有重大影响的新特性，比如异步函数。它添加了很多包括集合在内的新特性，使得类型系统更加强大。本质上来说，它是一门和php不同的新语言，它已经在编程语言方面取得了自己的新位置。

以上就是hack的发展历程，目前hack是一门现代化的动态编程语言，它拥有鲁棒的静态类型检查能力，在hhvm上执行。hhvm是一个和php无缝兼容且具有互操作性的实时编译运行时引擎。

什么是hack和hhvm

hack和hhvm是紧密联系在一起的，所以对于这些术语到底指代的是什么会有一些混乱。

hack是一门编程语言。它基于php，继承了php中的很多语法，并且完全可以和php进行互操作。然而，很可能有人会认为hack只是在php的基础上略加了装饰修改。hack最核心的特色是鲁棒的静态类型检查，这已经足够把hack作为一门编程语言和php区分开了。对于现在已经从事已有php代码库开发方面工作的开发者来说，这是非常有益的。在这种情形下，将会给这些开发者很多的启迪，当然，对于新项目的底层开发也是一个非常不错的选择。

除了静态类型检查外，hack还拥有php没有的很多项新特性，本书将对这些新特性进行阐述：异步函数、xhp等。出于解决一些粗糙边界问题的目的，hack也故意缺失了对一些php特性的支持。

hhvm是一个执行引擎，它同时支持php和hack。它让两种语言可以互操作：php书写的代码能够调用hack代码，反之亦然。当执行php的时候，它的目标在于对php.net提供的php标准解释器进行替换。本书中有些章节的内容是关于hhvm的：如何配置并部署它，如何使用它调试和配置代码。

最后，我们要介绍的就是从hhvm中分离出来的hack类型检查器：这是一个能够分析hack代码（而不是php代码）然后报告类型错误的程序。在它能够接受的代码方面，类型检查器目前要比hhvm严格一些。当然，在未来的发行版本中，hhvm应该比类型检查器更加严格。目前，除了你在命令行里面启动它的命令“hh_client”外，类型检查器还没有个定型的名字，我更倾向于叫它“hack类型检查器”（hack typechecker）或者就叫做“类型检查器”（typechecker）。

到目前为止，hhvm是运行hack的唯一执行引擎，这也是有时它们会混为一谈的原因。

序

前言

<a href="https://yq.aliyun.com/articles/89623">第1章 类型检查</a>

<a href="https://yq.aliyun.com/articles/89627">1.1 为什么使用类型检查器</a>

<a href="https://yq.aliyun.com/articles/89630">1.2 设置类型检查器</a>

<a href="https://yq.aliyun.com/articles/89636">1.3 类型标注语法</a>

<a href="https://yq.aliyun.com/articles/89660">1.4 hack的类型系统</a>

<a href="https://yq.aliyun.com/articles/89675/">1.5 规则</a>

<a href="https://yq.aliyun.com/articles/89715">1.6 类型推理</a>

<a href="https://yq.aliyun.com/articles/89725">1.7 类型提炼</a>

<a href="https://yq.aliyun.com/articles/90161">1.8 运行环境中的类型标注的执行</a>

第2章 泛型

<a href="https://yq.aliyun.com/articles/90163">2.1 入门实例</a>

<a href="https://yq.aliyun.com/articles/90170">2.2 其他泛型实体</a>

<a href="https://yq.aliyun.com/articles/90171">2.3 类型消除</a>

<a href="https://yq.aliyun.com/articles/90175">2.4 约束</a>

<a href="https://yq.aliyun.com/articles/90177">2.5 重温未决的类型</a>

<a href="https://yq.aliyun.com/articles/90182">2.6 泛型和亚型</a>

<a href="https://yq.aliyun.com/articles/90185">2.7 进阶：协变和逆变</a>

第3章 hack的其他特性

3.1 枚举

3.2 类型别名

3.3 数组形状

3.4 拉姆达表达式

3.5 构造函数参数升级

3.6 属性

3.7 加强的自动加载

3.8 整数算术溢出

3.9 nullsafe方法调用操作

3.10 trait和接口的必要条件

3.11 隐藏类型检查器错误

第4章 在hack中不支持的php特性

4.1 引用

4.2 旧式风格构造器

4.3 不区分大小写的名称查找

4.4 可变变量

4.5 动态属性

4.6 混合方法调用语法

4.7 isset、empty和unset

4.8 其他

第5章 集合

5.1 为什么使用集合

5.2 集合拥有引用语义

5.3 使用集合

5.4 集合类型标注

5.5 与数组互操作

第6章 异步

6.1 入门实例

6.2 异步细节

6.3 构建异步代码

6.4 其他类型的等待

6.5 常见错误

6.6 异步扩展

第7章 xhp

7.1 为什么使用xhp

7.2 如何使用xhp

7.3 创建你自己的xhp类

7.4 xhp最佳实践

7.5 迁移到xhp

7.6 xhp内部原理

第8章 配置和部署hhvm

8.1 指定配置选项

8.2 服务器模式

8.3 jit热身

8.4 repo-authoritative模式

8.5 管理服务器

第9章 hphpd：交互式调试器

9.1 开始入门

9.2 代码执行

9.3 执行环境

9.4 使用断点

9.5 查看代码和文档

9.6 宏

9.7 配置hphpd

第10章 hack工具

10.1 检查代码库

10.2 迁移php代码到hack

10.3 编译hack代码到php代码