flow JavaScript 静态类型检查工具

内置类型

flow

内置类型有

boolean, number, string, null, void, any, mixed, literal type

.

其中

boolean, number, string

均为小写, 并与 JavaScript 内置的类型

Boolean, Number, String

不同.

JavaScript 中

null

的类型为

null

,

undefined

类型为

void

.

any

是所有类型的父类或子类,

mixed

是所有类型的父类.

可以用任意的

boolean, number, string

类型的字面量表示类型. 这对表示枚举或联合体非常有用.

type Suit =
| "Diamonds"
| "Clubs"
| "Hearts"
| "Spades";
type Rank =
| 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10
| "Jack"
| "Queen"
| "King"
| "Ace";
type Card = {
suit: Suit,
rank: Rank,
}

数组和元组

数组

Array<T>

表示类型

T

的数组, 其简写为

T[]

.

元组

[<type1>, <type2>, <type3>, ...]

定义元组类型. 元组中的元素个数是类型的一部分, 因此不能用数组类型代替元组.

类

flow 支持 es6 中的类, 并部分支持原型类.

Class<T>

表示

T

类实例的类型.

T

表示实例的类型.

类是名义类型 (nominal typing, 类型判断根据名字), 对象和接口是结构类型 (struct typing, 类型判断根据内容).

this

可在类方法定义中作为输出值使用.

对象

对象类型通过对象字面量声明.

{ x1: T1; x2: T2; x3: T3;}

可选属性

var optObj: { a: string; b?: number } = { a: "hello" };

函数

协变

Maybe 类型

nullable

别名

Union 和 Intersection

Union

类型表示值可以是任意输入类型.

Intersection

类型表示值必须符合所有输入类型 (struct typing).

Union: <type 1> | <type 2> ... | <type n>
Intersection: <type 1> & <type 2> ... & <type n>

typeof

在

flow

中类型声明部分可以通过

typeof

来使用其他变量的类型.

声明