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; // 兼容，因为它们的结构相同
在这个例子中，尽管 Car 和 Vehicle 的名称不同，但由于它们具有相同的结构，它们是兼容的。
五、总结
TypeScript 的结构类型系统通过类型的形状进行类型检查，使得类型检查更加灵活和强大。这种方式不仅提高了代码的可维护性和可读性，还减少了不必要的类型声明，促进了代码的重用和抽象。