TypeScript

TypeScript是微软开发的javascript加强版，就有带了type的javascript。

TS允许你以接口的形式定义复杂的类型，当你要在应用程序中使用复杂的对象或数组时，会进行严格的静态类型审查，增加分健壮性。

umi中内置了TypeScript的loader，可以直接创建.tsx或者.tx文件来写TypeScrpit代码。

1、首先安装依赖包

cnpm install tslint tslint-config-prettier tslint-react @types/react @types/react-dom --save

2、然后需要新建tsconfig.json和tslint.json文件

tsconfig.json来声明这是一个TypeScrpit项目，并进行配置。

tslint类似eslint是一个代码风格检查器。

编译上下文

1. tsconfig.json

你可以通过compilerOptions来定制你的编译选项:

{
  "compilerOptions": {

    /* 基本选项 */
    "target": "es5",                       // 指定 ECMAScript 目标版本: 'ES3' (default), 'ES5', 'ES2015', 'ES2016', 'ES2017', or 'ESNEXT'
    "module": "commonjs",                  // 指定使用模块: 'commonjs', 'amd', 'system', 'umd' or 'es2015'
    "lib": [],                             // 指定要包含在编译中的库文件
    "allowJs": true,                       // 允许编译 javascript 文件
    "checkJs": true,                       // 报告 javascript 文件中的错误
    "jsx": "preserve",                     // 指定 jsx 代码的生成: 'preserve', 'react-native', or 'react'
    "declaration": true,                   // 生成相应的 '.d.ts' 文件
    "sourceMap": true,                     // 生成相应的 '.map' 文件
    "outFile": "./",                       // 将输出文件合并为一个文件
    "outDir": "./",                        // 指定输出目录
    "rootDir": "./",                       // 用来控制输出目录结构 --outDir.
    "removeComments": true,                // 删除编译后的所有的注释
    "noEmit": true,                        // 不生成输出文件
    "importHelpers": true,                 // 从 tslib 导入辅助工具函数
    "isolatedModules": true,               // 将每个文件做为单独的模块 （与 'ts.transpileModule' 类似）.

    /* 严格的类型检查选项 */
    "strict": true,                        // 启用所有严格类型检查选项
    "noImplicitAny": true,                 // 在表达式和声明上有隐含的 any类型时报错
    "strictNullChecks": true,              // 启用严格的 null 检查
    "noImplicitThis": true,                // 当 this 表达式值为 any 类型的时候，生成一个错误
    "alwaysStrict": true,                  // 以严格模式检查每个模块，并在每个文件里加入 'use strict'

    /* 额外的检查 */
    "noUnusedLocals": true,                // 有未使用的变量时，抛出错误
    "noUnusedParameters": true,            // 有未使用的参数时，抛出错误
    "noImplicitReturns": true,             // 并不是所有函数里的代码都有返回值时，抛出错误
    "noFallthroughCasesInSwitch": true,    // 报告 switch 语句的 fallthrough 错误。（即，不允许 switch 的 case 语句贯穿）

    /* 模块解析选项 */
    "moduleResolution": "node",            // 选择模块解析策略： 'node' (Node.js) or 'classic' (TypeScript pre-1.6)
    "baseUrl": "./",                       // 用于解析非相对模块名称的基目录
    "paths": {},                           // 模块名到基于 baseUrl 的路径映射的列表
    "rootDirs": [],                        // 根文件夹列表，其组合内容表示项目运行时的结构内容
    "typeRoots": [],                       // 包含类型声明的文件列表
    "types": [],                           // 需要包含的类型声明文件名列表
    "allowSyntheticDefaultImports": true,  // 允许从没有设置默认导出的模块中默认导入。

    /* Source Map Options */
    "sourceRoot": "./",                    // 指定调试器应该找到 TypeScript 文件而不是源文件的位置
    "mapRoot": "./",                       // 指定调试器应该找到映射文件而不是生成文件的位置
    "inlineSourceMap": true,               // 生成单个 soucemaps 文件，而不是将 sourcemaps 生成不同的文件
    "inlineSources": true,                 // 将代码与 sourcemaps 生成到一个文件中，要求同时设置了 --inlineSourceMap 或 --sourceMap 属性

    /* 其他选项 */
    "experimentalDecorators": true,        // 启用装饰器
    "emitDecoratorMetadata": true          // 为装饰器提供元数据的支持
  }
}

可以显式指定需要编译的文件:

{
  "files": [
    "./some/file.ts"
  ]
}

或者, 可以使用include和exclude选项来指定需要包含的文件, 和排除的文件:

{
  "include": [
    "./folder"
  ],
  "exclude": [
    "./folder/**/*.spec.ts",
    "./folder/someSubFolder"
  ]
}

2. 声明空间

(1) 类型声明空间

类型声明空间包含用来当做类型注解的内容.

class Foo {}
interface Bar {}
type Bas = {};

你可以将Foo, Bar, Bas做为类型注解使用

let foo: Foo;
let bar: Bar;
let bas: Bas;

(2) 变量声明空间

在上文 中class Foo提供了一个类型Foo到类型声明空间, 此外它同样还提供了一个变量Foo到变量声明空间.

3. 模块

(1) 文件模块

如果在你的TypeScript文件的根级别位置含有import或者export, 它会在这个文件中创建一个本地的作用域.

export const foo = 123;

4. TypeScript类型系统

(1) 原始类型

JavaScript原始类型也同样适应于TypeScript的类型系统, 因此string, number, boolean也可以被用作类型注解.

(2)数组

后缀[]

(3) 接口

它能合并多类型声明至一个类型声明

interface Name {
  first: string;
  second: string;
}

let name: Name;

(4) 内联类型注解

:{/*Structure*/}

(5) 特殊类型

any: 它提供一个类型系统的后门, TypeScript将会把类型检查关闭.

null和undefined: 能被赋予给任意类型的变量.

void: 表示一个函数没有返回值

(6) 泛型

interface Array<T> {
  reverse(): T[];
}

(7) 联合类型

function formatCommandline(command: string[] | string) {
  let line = '';
  if (typeof command === 'string') {
    line = command.trim();
  } else {
    line = command.join(' ').trim();
  }

  // Do stuff with line: string
}