TypeScript 是 Javascript 的一个超集，提高了代码的可读性和可维护性。Typescript 官网提供的文档已经相当完善，但完整地看一遍需要一定的时间，本文试将 TypeScript 中要点提出，缩略为一文，用于浏览要点、快速复习。1. 类型1.1 原始类型定义boolean/number/string/null/undefined其中 null/undefined 是 TypeScript 中任何类型的子类型。1.2 空值、任意值、枚举、Nevervoid/any/enum/nevervoid 指空值，若用于变量，则该变量只能赋值为 null/undefined；若用于函数，则该函数返回值为 空/null/undefined。any 指任意值。TypeScript 中变量赋值后类型是无法改变的，但 any 类型的变量可以改变为任意值。（声明变量且无法类型推论时默认为 any 类型）enum 指枚举类型，取值可以枚举出来。enum Color {Red, Green, Blue}let c: Color = Color.Green;never 指不存在的值的类型，例如异常，函数无限循环无法返回等。1.3 数组类型定义TypeScript 中数组类型有多种定义方式，罗列如下：1.类型 + 方括号let list: number[] = [1, 2, 3];2.数组泛型 Array<元素类型>let list: Array<number> = [1, 2, 3];3.元组 Tuple 表示一个已知元素数量和类型的数组let x: [string, number] = [‘1’, 2]4.接口定义类型interface NumberArray { [index: number]: number;}let x: NumberArray = [1, 1, 2, 3, 5];1.4 函数类型TypeScript 中函数类型有多种定义方式，罗列如下：1.函数声明中类型定义function add(x: number, y: number): number { return x + y;}2.函数表达式中类型定义let myAdd = function(x: number, y: number): number { return x + y;}3.箭头函数中类型定义let myAdd = (x: number, y: number): number => { return x + y;}4.接口定义类型interface Add { (x: number, y: number): number;}let myAdd: Add = function(num1, num2) { return num1 + num2;}1.5 对象类型TypeScript 中对象类型有多种定义方式，罗列如下：1.objectlet obj: object = {test: 1};2.接口定义类型interface SquareConfig { color: string; width: number;}let newSquare: SquareConfig = { color: “white”, width: 100};1.6 联合类型联合类型表示值为多种类型中的一种，用 | 进行类型联合1.7 泛型泛型指在定义函数、接口、类时，不预先指定类型，在使用时再指定。泛型通过在函数、接口、类变量名后使用 <> 定义。（类型断言中 <> 位于变量名前）function identity<T>(arg: T): T { return arg;}identity<string>(‘myString’)2. 类型操作2.1 类型推论在没有指定类型时，Typescript 会根据类型推论推断出类型。// 推论类型为 numberlet x = 1;// 推论类型为 anylet y;2.2 类型断言类型断言指对变量指定一个比现在类型更明确的类型。类型断言有两种形式。 1.“尖括号"语法：// 声明 someValuelet someValue: any = “this is a string”;// 对 someValue 类型断言，类型为 string，比原先 any 类型更明确let strLength: number = (<string>someValue).length;2.“as” 语法（在 tsx 中只能使用 as 语法，因为 jsx 中 <> 会和"尖括号"语法混淆）let someValue: any = “this is a string”;let strLength: number = (someValue as string).length;2.3 类型别名类型别名不会新建类型，是通过新建名字来引用已有类型。通过 type 进行别名定义。type Name = string;let x: Name = ‘1’;3. 类和接口3.1 类类的概念是 ES6 中提出的，类的本质是构造函数的语法糖，通过 class 来创建。TypeScript 中提供了 public、private 和 protected 三种修饰符，分别代表属性或方法是共有的、私有的、受保护的。TypeScript 中 static 修饰符修饰属性或方法，代表属性或方法是静态的，即无需实例化，可以直接通过类调用。TypeScript 中 readonly 修饰符修饰属性，代表属性只读，即初始化之后不可修改。3.2 抽象类抽象类指对类或类中部分方法进行抽象，作为其他类继承的基类，不能直接实例化。派生类必须实现抽象类中的抽象方法。通过 abstract 关键字定义抽象类和抽象类内部定义的抽象方法，extends 来继承类。abstract class Animal { // 必须在派生类中实现 abstract makeSound(): void; // 无须在派生类中实现 move(): void { console.log(‘roaming the earch…’); }}class Dog extends Animal { makeSound (): void { console.log(‘barking’); }}3.3 接口接口和抽象类有些类似，接口是对属性和方法的抽象，不能直接实例化。接口和抽象类的区别如下：接口是 100% 的抽象，不能含有具体的实现。抽象类可以包括具体实现一个类只能继承一个类，但是可以实现多个接口。接口可以继承接口、类。接口通过 interface 定义，implements 实现。interface ClockInterface { alert(): void;}class Clock implements ClockInterface { alert() { console.log(‘Clock alert’); }}4. 其他4.1 内置对象TypeScript 根据 JavaScript 提供了相关的内置对象，如 Date、Document、HTMLElement、Event、NodeList 等。具体可参考定义文件。4.2 声明文件以 npm 包为例，将第三方包安装到 TypeScript 项目时，需要声明文件，声明该第三方包中导出内容的相关类型，这样 TypeScript 才能进行编译检查。声明文件以 .d.ts 结尾的文件，有以下3个来源：1.@types TypeScript 2.0 默认查看 ./node_modules/@types 文件夹，获取模块的类型定义。例如可以通过安装 npm install –save-dev @types/node 获取 node 类型相关声明。该开源项目 DefinitelyTyped 目前由社区进行维护。2.第三方包已有声明文件 第三方包已有声明文件，则不需要再额外安装包，可以直接使用。通常通过 package.json 中的 types 字段，或者 index.d.ts 声明文件进行声明。3.书写声明文件 当前面两种方法都无效时，可以在项目中书写声明文件，如创建 types 目录，用来管理声明文件。声明文件写法可以参考 DefinitelyTyped 中相关示例，如下为其中一个示例：// 声明 createABigTriangle 方法declare function createABigTriangle(gl: WebGLRenderingContext): void;// 第三方库是 commonjs 规范的，导出声明使用 export= 这种语法// 第三方库是 ES6 规范的，导出声明使用 export default 和 export 这种语法export = createABigTriangle;本文首发于个人博客：https://www.aquatalking.com/b…（完）