《Hack与HHVM权威指南》——1.3 类型标注语法

本节书摘来自华章出版社<Hack与HHVM权威指南>一书中的第1章,第1节,作者 Owen Yamauchi,更多章节内容可以访问"华章计算机"公众号查看. 第1章 类型检查 类型检查器是Hack语言的标志特性,它对Hack程序静态地进行分析(不用运行它们),并且能够检查很多种错误.这就能够在程序开发初期尽量避免bug,并且使程序更容易阅读和理解.为了增强类型检查器的能力,Hack语言允许编程人员显式地在程序体中标注某些变量值的类型,比如函数参数.函数返回值和属性值,类型检

本节书摘来自华章出版社<Hack与HHVM权威指南>一书中的第1章,第1节,作者 Owen Yamauchi,更多章节内容可以访问"华章计算机"公众号查看. 1.7.1 提炼nullable类型到non-nullable类型 null检查语句在从空值(nullable)的类型到非空值(non-nullable)类型的转变中经常用到.下面是个通过了类型检查器检查的示例. function takes_string(string $str) { // ... } functio

本节书摘来自华章出版社<Hack与HHVM权威指南>一书中的第1章,第1.7节,作者 Owen Yamauchi,更多章节内容可以访问"华章计算机"公众号查看. 1.7 类型提炼 假设你有个?string类型的值,而且准备把这个值传递给一个参数类型为string的函数.那么你怎么把一个类型(?string)转化为另外一个类型(string)呢?或者假设你有个object类型的值,它可能实现或没有实现Polarizable接口.同时,如果它实现了这个接口,你还希望调用这个ob

本节书摘来自华章出版社<Hack与HHVM权威指南>一书中的第1章,第1.4.1节,作者 Owen Yamauchi,更多章节内容可以访问"华章计算机"公众号查看. 1.4.1 类型检查器模式 Hack的类型检查器有三种模式:严格(strict).局部(partial)和耦合(decl).这些模式都基于一个个单独的文件,不同模式下的单独文件可以无缝地进行对接.每个文件可以单独声明它的类型检查模式,语法就是在文件的第一行使用一个双斜线的注释.如下面的代码所示:<?hh

本节书摘来自华章出版社<Hack与HHVM权威指南>一书中的第1章,第1.7节,作者 Owen Yamauchi,更多章节内容可以访问"华章计算机"公众号查看. 1.7 类型提炼 假设你有个?string类型的值,而且准备把这个值传递给一个参数类型为string的函数.那么你怎么把一个类型(?string)转化为另外一个类型(string)呢?或者假设你有个object类型的值,它可能实现或没有实现Polarizable接口.同时,如果它实现了这个接口,你还希望调用这个ob

本节书摘来自华章出版社<Hack与HHVM权威指南>一书中的第1章,第1.3.1节,作者 Owen Yamauchi,更多章节内容可以访问"华章计算机"公众号查看. 1.3.1 函数的返回类型 关于函数返回类型的语法是最简单的,在函数参数列表结束的圆括号后面,添加一个冒号和一个类型名称.你可以在函数或者方法中这样使用,甚至那些没有具体内容的接口和抽象类的方法声明中也可以这样使用.下面是范例:function returns_an_int(): int { // ...}fu

本节书摘来自华章出版社<Hack与HHVM权威指南>一书中的第1章,第1.6.2节,作者 Owen Yamauchi,更多章节内容可以访问"华章计算机"公众号查看. 1.6.2 未决的类型 事实上,如果一个变量没有类型定义的话,那就意味着类型检查器需要一个途径来处理下例中的代码: if (some_condition()) { $x = 10; } else { $x = 'ten'; } 这种模式在PHP中是比较常见的,所以它在Hack中也是合法的.然后问题来了:在这个情

本节书摘来自华章出版社<Hack与HHVM权威指南>一书中的第1章,第1.5.2节,作者 Owen Yamauchi,更多章节内容可以访问"华章计算机"公众号查看. 1.5.2 覆盖方法的类型 在Hack的代码之间,继承是更加复杂的相互关系中的一种.这复杂性主要来自于当继承关系被创建时,继承和被继承的代码之间的分离现象.举例来说,如果你有个类型标注为SomeClass的对象并可以调用这个对象的某个方法,那么你可以调用继承自SomeClass的任何类的某个方法.这个调用仍然需

本节书摘来自华章出版社<Hack与HHVM权威指南>一书中的第1章,第1.2节,作者 Owen Yamauchi,更多章节内容可以访问"华章计算机"公众号查看. 1.2 设置类型检查器 在正式学习Hack类型注解的语法以及语义之前,我们将首先学习如何设置类型检查器.你需要做的第一件事情就是建立一个.hhconfig文件,这个文件掌控着整个项目范围内的配置项目,它用来标记你的代码库的顶级目录,使得类型检查器能够知晓在它的分析过程中要包含哪些文件.目前来说,我们还不需要什么配置