阿夸漫谈

一篇文章带你过一遍 TypeScript

发表于 2019-03-12

TypeScript 是 Javascript 的一个超集,提高了代码的可读性和可维护性。Typescript 官网提供的文档已经相当完善,但完整地看一遍需要一定的时间,本文试将 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];
  1. 数组泛型 Array<元素类型>
let list: Array<number> = [1, 2, 3];
  1. 元组 Tuple
    表示一个已知元素数量和类型的数组
let x: [string, number] = ['1', 2]
  1. 接口定义类型
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;
}
  1. 函数表达式中类型定义
let myAdd = function(x: number, y: number): number {
  return x + y;
}
  1. 箭头函数中类型定义
let myAdd = (x: number, y: number): number => {
  return x + y;
}
  1. 接口定义类型
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};
  1. 接口定义类型
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;
  1. “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 中提供了 publicprivateprotected 三种修饰符,分别代表属性或方法是共有的、私有的、受保护的。

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 接口

接口和抽象类有些类似,接口是对属性和方法的抽象,不能直接实例化。接口和抽象类的区别如下:

  1. 接口是 100% 的抽象,不能含有具体的实现。抽象类可以包括具体实现
  2. 一个类只能继承一个类,但是可以实现多个接口。接口可以继承接口、类。

接口通过 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;

(完)

目录