一篇文章带你过一遍 TypeScript
1. 类型
1.1 原始类型定义
boolean/number/string/null/undefined
其中 null/undefined 是 TypeScript 中任何类型的子类型。
1.2 空值、任意值、枚举、Never
void/any/enum/never
void 指空值，若用于变量，则该变量只能赋值为 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.object
let 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 会根据类型推论推断出类型。
// 推论类型为 number let x = 1; // 推论类型为 any let y;
2.2 类型断言
类型断言指对变量指定一个比现在类型更明确的类型。
类型断言有两种形式。
1."尖括号"语法：
// 声明 someValue let 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...
（完）