《Hack与HHVM权威指南》——1.7 类型提炼

本节书摘来自华章出版社《Hack与HHVM权威指南》一书中的第1章,第1.7节,作者 Owen Yamauchi,更多章节内容可以访问“华章计算机”公众号查看。

1.7 类型提炼

假设你有个?string类型的值,而且准备把这个值传递给一个参数类型为string的函数。那么你怎么把一个类型(?string)转化为另外一个类型(string)呢?或者假设你有个object类型的值,它可能实现或没有实现Polarizable接口。同时,如果它实现了这个接口,你还希望调用这个object的方法polarize()。那么类型检查器如何才能知道polarize()调用是合法的?
在一个良好组织的代码中,实现一个值是一个类型同时又是另外一个类型的任务情况非常常见。这些看起来非常琐碎的事情是你必须拿来安抚类型检查器的关键所在。这是Hack能够在开发前期就捕获问题的关键。这也是Hack能够避免像调用一个不存在的方法、在不恰当的地方找到了一个空值,以及其他一些在PHP代码库开发调试中常见的恼人错误这些情况的原因。
你有三种类型检查器使用的方式对这些类型进行提炼转化,它们是:是否为空检查、类似is_integer()的内置类型查询函数,以及instanceof 。当这些语句在流程控制语句(比如循环语句、条件语句)中被使用时,类型推理引擎将会明确知晓:在不同的流程控制路径下,类型值也不同。

时间: 2024-08-19 14:43:21

《Hack与HHVM权威指南》——1.7 类型提炼的相关文章

《Hack与HHVM权威指南》——第1章 类型检查

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

《Hack与HHVM权威指南》——1.7.1 提炼nullable类型到non-nullable类型

本节书摘来自华章出版社<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 类型提炼

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

《Hack与HHVM权威指南》——1.4.1 类型检查器模式

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

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

本节书摘来自华章出版社<Hack与HHVM权威指南>一书中的第1章,第1.3节,作者 Owen Yamauchi,更多章节内容可以访问"华章计算机"公众号查看. 1.3 类型标注语法 本节解释了可以使用类型注解语法的三个地方.当然,我们还没有看到Hack所支持的全部类型,这些内容将会在1.4节进行讲述.现在,你需要知晓的就是int和string是有效的类型标注类型.可以使用类型标注的三个地方分别是函数的返回类型.函数的参数和属性值.

《Hack与HHVM权威指南》——1.3.1 函数的返回类型

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

《Hack与HHVM权威指南》——1.6.2 未决的类型

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

《Hack与HHVM权威指南》——1.5.2 覆盖方法的类型

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

《Hack与HHVM权威指南》——1.2 设置类型检查器

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