TypeScript中的interface与type：揭开它们的神秘面纱

2023-09-17 12:17:48

在TypeScript的浩瀚世界中，interface和type扮演着至关重要的角色，为我们提供了定义和对象的强大工具。它们之间既有相似之处，又有微妙的差别，熟练掌握这两种概念对于写出健壮且可维护的TypeScript代码至关重要。

interface与type：相识于起点

interface和type本质上都是用来对象的类型，为编译器提供有关对象结构和行为的必要信息。然而，在实现方式上却略有不同。interface是一种语法结构，而type则是一种类型别名。

interface：一种对象契约

interface就像一份对象契约，它规定了对象必须拥有的属性和方法。它使用interface来声明，后面跟一个标识符，其中包含了对象的结构。interface中的每个成员都是一个类型注解，指定了该属性或方法的类型。

interface Person {
  name: string;
  age: number;
  greet(): void;
}

在上面的例子中，Person interface定义了一个对象，它必须具有name（string类型）和age（number类型）属性，以及一个名为greet的无返回类型（void）的方法。

type：类型别名的灵活性

type关键字允许我们为现有类型创建一个别名。它可以引用基础类型，也可以引用其他type或interface。type别名的主要好处是它提供了更简洁的语法，尤其是在需要定义复杂的或经常重复使用的类型时。

type Name = string;
type Age = number;

type Person = {
  name: Name;
  age: Age;
  greet(): void;
};

在这个例子中，我们使用type别名Name和Age来表示string和number类型。然后，我们使用这些别名来定义Person type，这与前面使用interface定义Person的效果相同。

interface与type：微妙的差异

尽管interface和type在功能上相似，但它们在某些方面存在着微妙的差异：

可扩展性： interface可以被扩展，这意味着我们可以创建新的interface来继承现有interface的结构和行为。type别名则没有可扩展性。
合并： 当使用相同名称声明多个interface时，它们会被合并成一个单一的interface。type别名则不会合并，而是会覆盖以前的声明。
类型检查： interface和type在类型检查方面的行为不同。interface用于结构类型检查，这意味着它检查对象的结构是否与interface定义匹配。type别名则用于名称类型检查，这意味着它检查对象的类型是否与type别名所引用的类型匹配。

揭开谜团：何时使用interface与type

那么，何时使用interface，何时使用type呢？这里有一些指导原则：

优先使用interface： 对于需要定义复杂对象结构或需要可扩展性的情况，优先使用interface。
选择type别名： 对于需要创建类型别名以简化语法或重用类型定义的情况，选择type别名。
遵循约定： 在团队项目中，遵循既定的约定以确保代码一致性。

实例探究：揭示实际应用

为了进一步阐明interface和type之间的差异，让我们看一个实例：

interface User {
  username: string;
  password: string;
  isAdmin: boolean;
}

type UserWithoutPassword = Omit<User, "password">;

const user: User = {
  username: "johndoe",
  password: "secret",
  isAdmin: false,
};

const userWithoutPassword: UserWithoutPassword = {
  username: "johndoe",
  isAdmin: false,
};

在这个例子中，User interface定义了一个具有username、password和isAdmin属性的对象。UserWithoutPassword type别名使用Omit<User, "password">语法从User interface中排除了password属性，创建了一个不包含密码的新类型。然后，我们创建了两个对象：user（符合User interface）和userWithoutPassword（符合UserWithoutPassword type）。