本节书摘来自华章出版社《Hack与HHVM权威指南》一书中的第1章,第1.6节,作者 Owen Yamauchi,更多章节内容可以访问云栖社区“华章计算机”公众号查看。
1.6 类型推理
类型推理对于Hack的静态类型检查来说是核心内容。就像PHP中一样,本地变量不会被声明为某个类型。然而,得到足够数量的有效覆盖率的关键就在于能够对本地变量的操作进行类型检查。
Hack能够无间隙地进行类型推理。类型检查器从一小组从标注或者字面量上的已知类型入手,然后通过操作符和函数调用进行有效的跟踪,然后顺势对一切进行推断和检查。
Hack的类型推理方式并不是一眼就能看懂的。让我们仔细阅读如下的内容来获得更多的细节。