Flow 常用知识点整理

Flow是facebook出品的JavaScript静态类型检查工具。
由于JavaScript是动态类型语言，它的灵活性也会造成一些代码隐患，使用Flow可以在编译期尽早发现由类型错误引起的bug，这种方式非常有利于大型项目源码的开发和维护。

一、 Flow的安装
npm install --g flow-bin

创建一个项目文件夹./demo进入项目文件夹。

npm init -y创建package.json文件，在文件中的scripts中添加：

"scripts": {
    "flow": "flow"
}

这就完成了然后开始正式使用。

二、正式学习
1、通过npm run flow init命令会在项目文件夹的根目录创建一个.flowconfig文件。

2、通过npm run flow check命令可以在你的项目根目录以及任何子目录文件夹下进行专门的类型检查，但是，这并不是最高效的使用方式，因为每次Flow都会重新检查整个项目的所有文件，开发过程中，推荐启动Flow服务。

3、通过npm run flow命令启动Flow服务，Flow服务的工作方式是增量检查也就是说它只检查变化的部分，首次运行该命令时，服务启动并且显示最初类型检查结果，这保证了Flow更高效的增量式工作流，然后接下来每次想要知道检测结果，只要输入flow命令即可。开发结束之后，输入npm run flow stop停止服务。

Flow的类型检查是可选的，并不需要一次性检查所有代码。你可以选择你想要检查的文件，只要在对应的JavaScript文件最前面加上带有@flow标识的注释即可：

/*@flow*/
function foo(a) {
  return a;
}
fn(1);

三、类型推断
通常，类型检查分为以下两种方式：

1、通过注释：事先注释好我们期待的类型，Flow就会基于这些注释来评估

2、通过代码推断：通过变量的使用上下文来推断出变量类型，然后根据这些推断来检查类型

第一种方式，我们需要额外编写只在开发阶段起作用的代码，最后在代码编译打包的阶段被剔除。显然，这种额外添加类型注释的方式增加了工作量。

第二种方式，不需要任何代码修改即可进行类型检查，最小化开发者的工作量。它不会强制你改变开发习惯，因为它会自动推断出变量的类型。这就是所谓的类型推断，Flow最重要的特性之一。

/*@flow*/
function foo(x) {
  return x.split(' ');
}
foo(34);

当你在终端运行npm run flow命令的时候，上述代码会报错，因为函数foo()的期待参数是字符串，而我们输入了数字.

上述信息清楚地指出了出错位置和错误原因。我们只要将参数变成字符串，即可修正错误，如下所示：

/*@flow*/
function foo(x) {
    return x.split(' ');
}
foo("Hello World");

split()方法只适用于string类型的变量，所以x应该是string，这就是类型推断。

四、空类型
Flow处理null。它不会忽略null，这样可以防止，因为给变量传了null而导致程序崩溃的错误。

/*@flow*/
function stringLength(str) {
    return str.length;
}
var length = stringLength(null);
error_null

Flow会报错。为了防止出错，我们需要单独处理null。

/*@flow*/
function stringLength (str) {
  if (str !== null) {
    return str.length;
  }
  return 0;
}
var length = stringLength(null);

代码中我们引入对null的检查，确保代码能在任何情况下都正常且正确运行。上述代码可以通过Flow的类型检查。

五、类型注释
类型推断是Flow最有用的特性之一，不需要编写类型注释就能获取有用的反馈。但在某些特定的场景下，添加类型注释可以提供更好更明确的检查依据。

/*@flow*/
function foo(x, y){
  return x + y;
}
foo('Hello', 18);

Flow检查上述代码时检查不出任何错误，因为+即可以用在字符串上，也可以用在数字上，我们并没有明确指出foo()的参数必须为数字。

在这种情况下，我们可以借助类型注释来指明期望的类型。类型注释是以冒号:开头，可以在函数参数，返回值，变量声明中使用，如果我们在上段代码中添加类型注释，就会变成如下：

/*@flow*/
function foo(x : number, y : number) : number {
  return x + y;
}
foo('Hello', 18);

第一个和第二个number是x和y两个形参需要接收number类型的值，第三个number是foo()函数需要返回一个number的值

现在Flow就能检查出错误，因为函数参数的期待类型为数字，如果传入的参数是数字，就不会有错误。

1、函数的类型注释

/*@flow*/
function add(x : number, y : number) : number {
  return x + y;
}
add(3, 4);

上述代码展示了变量类型注释以及函数类型注释。函数add()的参数，以及函数的返回值，期待类型为数字。如果传入其他类型参数，Flow就会检测到错误。

2、数组的类型注释

/*@flow*/
var foo : Array<number> = [1,2,3];

数组类型注释的格式是Array，T表示数组中每项的数据类型。在上述代码中，foo是每项均为数字的数组。

3、类的类型注释
下面展示了类和对象的类型注释模型。唯一需要注意的是，可以在两个类型之间使用或逻辑，用|来间隔。变量bar1添加了必须为Bar类的类型注释。

/*@flow*/
class Bar {
    x: string;                  
    y: string | number;  
    constructor(x, y) {
        this.x = x;
        this.y = y;
    }
}
var bar1: Bar = new Bar("hello", 4);

4、对象字面量的类型注释
对象的类型注释，跟类的类型注释很像，指定对象属性的类型。

/*@flow*/
var obj: { a: string, b: number, c: Array<string>, d: Bar } = {
    a: "hello",
    b: 42,
    c: ["hello", "world"],
    d: new Bar("hello", 3)
}

5、null的类型注释
若想任意类型T可以为null或者undefined，只需类似如下写成?T的格式即可。

/*@flow*/
var foo: ?string = null;

此时，foo可以为字符串，也可以为null。

类型注释官方文档

查询手册

flow查询手册