WHAT - Typescript 中 structural-type-system 结构类型系统

一、结构类型系统与名义类型系统

TypeScript 中的结构类型系统（Structural Type System）是 TypeScript 的核心特性之一，它与传统的名义类型系统（Nominal Type System）不同，主要通过**类型的形状（structure）**来进行类型检查，而不是通过类型的名称（name）。

在结构类型系统中，如果两个类型具有相同的形状，即使它们的名字不同，编译器也会认为它们是兼容的。具体来说，只要一个对象具有所需的属性和方法，它就可以被认为是符合特定类型的。

二、结构类型系统的基本概念

鸭子类型（Duck Typing）：
- “如果它走路像鸭子，叫声像鸭子，那么它就是鸭子。”这句话很好地描述了 TypeScript 的类型系统。如果一个对象具有特定类型的所有属性和方法，那么这个对象就被认为是这种类型。
兼容性：
- TypeScript 检查两个类型是否兼容，不是通过类型名，而是通过它们的结构。这意味着只要一个类型的属性和方法是另一个类型的子集，那么这两个类型就是兼容的。

示例：

interface Person {name: string;age: number;
}
function greet(person: Person) {console.log(`Hello, ${person.name}`);
}const john = { name: "John", age: 25 };
const jane = { name: "Jane", age: 30, address: "123 Main St" };greet(john);  // 正常运行
greet(jane);  // 也正常运行，因为 jane 拥有 name 和 age 属性

在上面的例子中，greet 函数要求一个 Person 类型的参数。虽然 jane 对象有一个额外的 address 属性，但它仍然具有 name 和 age 属性，因此它被认为是兼容的。

三、泛型和结构类型系统

结构类型系统在处理泛型时也非常有用，因为它允许在不显式声明类型的情况下推断类型。

function logIdentity<T>(arg: T): T {console.log(arg);return arg;
}logIdentity("Hello");
logIdentity(42);
logIdentity({ name: "Alice", age: 28 });

在这个例子中，logIdentity 函数可以接受任何类型的参数，并返回相同类型的值。TypeScript 会根据传入的参数推断出具体类型。

四、类型别名和接口的兼容性

type Car = {make: string;model: string;
};
interface Vehicle {make: string;model: string;
}let myCar: Car = { make: "Toyota", model: "Camry" };
let myVehicle: Vehicle = myCar;  // 兼容，因为它们的结构相同