TypeScript 定义类型用 Types 还是 Interfaces？

Types 和 Interfaces 是什么？

Types 和 Interfaces 是 TypeScript 中两种用于定义数据结构的工具。它们可以帮助开发者在编写代码时约束变量和对象的类型，从而减少错误并提高代码的可读性。

Types：Types 允许你定义各种类型，包括基本类型（如字符串、数字）、对象类型、联合类型、交叉类型等。它们非常灵活，可以通过组合不同的类型来创建复杂的数据结构。

示例：

type UserID = string | number;
type User = {
    id: UserID;
    name: string;
    age: number;
}

Interfaces：Interfaces 主要用于定义对象的结构，包括对象的属性及其类型。它们更注重描述对象形状，可以通过 extends 关键字实现接口的继承，从而增强代码的可复用性。

示例：

interface User {
    id: string;
    name: string;
    age: number;
}

为什么建议优先使用 Types？

在 TypeScript 中，关于使用 Types 还是 Interfaces 进行类型定义一直存在争论。尽管两者都可以用于创建变量、函数参数和返回值等可重用的结构，但在大多数情况下，我们应该优先使用 Types。以下是四个主要原因：

1. Types 支持联合类型

Types 可以定义联合类型，这意味着它们可以在单个定义中包含多个原始类型或对象。例如：

type ID = string | number;

然而，使用 Interfaces 是无法实现这一点的：

// 会报错！
interface ID = string | number;

2. Types 支持字符串字面量类型

Types 允许定义字符串字面量类型，即可以指定变量或参数的确切字符串值。而 Interfaces 则不支持这一特性。例如：

type Status = "pending" | "in-progress" | "completed";

而使用 Interfaces 则会报错：

// 会报错！
interface Status = "pending" | "in-progress" | "completed";

3. Types 是不可变的

在 TypeScript 中，Interfaces 可以多次声明并合并，这可能会导致意外的行为。例如：

interface User {
    email: string;
}

interface User {
    password: string;
}

上述代码将合并两个声明，最终的 User 接口包含 email 和 password 两个属性。然而，Types 是不可变的，这类似于 JavaScript 中使用 const 关键字声明变量：

type User = {
    email: string;
}

// 会报错，因为不能重复声明
type User = {
    password: string;
}

4. Types 支持条件类型

Types 支持条件类型，允许根据条件选择类型。例如：

type Check<T> = T extends string ? string : number;

let result1: Check<string>; // result1 的类型是 string
let result2: Check<number>; // result2 的类型是 number

结语

虽然 Interfaces 在某些特定情况下（如需要继承时）更为合适，但在大多数情况下，Types 提供了更多的灵活性和强大的功能。因此，我们应该尽可能优先使用 Types。