结构化类型 - Typescript 中的鸭子类型理论

2023-12-04 11:47:53

理解 TypeScript 中的结构类型兼容性

概述

在编程领域，类型兼容性是指不同类型的变量可以相互赋值。在 TypeScript 中，类型兼容性由类型的结构决定，而不是类型的名称。本文将深入探讨 TypeScript 中基于结构的兼容性，包括接口、派生类型、类型定义和类型推断。

接口和派生类型

接口在 TypeScript 中定义了类型的结构，它们可以用来约束对象的数据结构。当一个类实现了接口时，这意味着该类具有与接口相同的属性和方法。例如：

interface Person {
  name: string;
  age: number;
}

class Student implements Person {
  name: string;
  age: number;
  studentId: number;
}

在这个例子中，Student 类实现了 Person 接口。这意味着 Student 具有与 Person 相同的结构，因此 Student 类型的值可以赋值给 Person 类型的变量。

类型定义和类型推断

在 TypeScript 中，我们可以显式地定义变量的类型，也可以使用类型推断。显式类型定义使用 : 语法，例如：

let person: Person = {
  name: "John",
  age: 30
};

类型推断是 TypeScript 根据变量的值自动推断类型的过程，例如：

let person = {
  name: "John",
  age: 30
};

在第二个例子中，TypeScript 会推断出 person 变量的类型为 Person。

结构类型与名义类型

传统的名义类型系统中，类型的兼容性由类型的名称决定。而在结构类型系统中，类型的兼容性由类型的结构决定。这意味着即使类型名称不同，只要结构相同，它们也可以兼容。例如：

interface Person {
  name: string;
  age: number;
}

interface Student {
  name: string;
  age: number;
}

const p: Person = {
  name: "John",
  age: 30
};

const s: Student = {
  name: "Jane",
  age: 25
};

if (p === s) {
  // 兼容，因为它们具有相同的结构
}