面向JS程序员的TypeScript

定义类型

你可以在 JavaScript 中使用多种设计模式。 但是，某些设计模式使得自动推断类型变得困难（例如，使用动态编程的模式）。 为了涵盖这些情况，TypeScript 支持 JavaScript 语言的扩展，它为你提供了告诉 TypeScript 类型应该是什么的地方。

例如，要创建一个包含 name: string 和 id: number 的推断类型的对象，你可以编写：

const user = {
	name: "Kevin",
	id: 0,
}
1
2
3
4

你可以使用interface声明明确描述此对象的形状：

interface User {
    name: string,
    id: number
}
1
2
3
4

然后，你可以在变量声明后使用类似: TypeName的语法来声明 JavaScript 对象符合新interface的形状：

const user: User = {
    name: "Kevin",
    id: 0,
}
1
2
3
4

如果你提供的对象与你提供的接口不匹配，TS会警告你

由于JS支持类和面向对象编程，因此TS也支持：

interface User {
    name: string,
    id: number
}

class UserAccount {
    name: string;
    id: number;

    constructor(name: string, id: number) {
        this.name = name;
        this.id = id;
    }
}

const user2: User = new UserAccount("Book", 1)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

组合类型

使用 TypeScript，你可以通过组合简单类型来创建复杂类型。 有两种流行的方法可以做到这一点： 联合和泛型。

联合

使用联合，你可以声明一个类型可以是多种类型之一。 例如，你可以将 boolean 类型描述为 true 或 false：

type MyBool = true | false;
1

注意： 如果将鼠标悬停在上面的 MyBool 上，你会看到它被归类为 boolean。 这是结构类型系统的一个属性。 更多内容请见下文。

联合类型的一个流行用例是描述允许值是的string或number字面 的集合：

type WindowStates = "open" | "closed" | "minimized";
type LockStates = "locked" | "unlocked";
type PositiveOddNumbersUnderTen = 1 | 3 | 5 | 7 | 9;
1
2
3

联合也提供了一种处理不同类型的方法。 例如，你可能有一个接受 array 或 string 的函数：

function getLength(obj: string | string[]) {
  return obj.length;
}
1
2
3

泛型

泛型为类型提供变量。 一个常见的例子是数组。 没有泛型的数组可以包含任何东西。 具有泛型的数组可以描述数组包含的值。

type StringArray = Array<string>;
type NumberArray = Array<number>;
type ObjectWithNameArray = Array<{ name: string }>;
1
2
3