TypeScript泛型：extends约束与类型参数

理解泛型类型参数与 extends 约束

泛型类型参数的核心作用是让函数、接口或类在定义时不绑定具体类型，而是在调用时动态接收类型，从而实现代码复用与类型安全。在 TypeScript 中，extends 关键字用于泛型时并非面向对象中的继承，而是约束（Constraint）。它要求传入的类型参数必须满足指定的结构或基类型，否则编译器将直接拦截。例如，定义 function logLength<T extends { length: number }>(arg: T): number { return arg.length; } 时，T 可以是数组、字符串或任何包含 length 属性的对象，但不能是纯数字。这种约束机制在编译期划定了类型边界，既保留了泛型的灵活性，又避免了在函数体内访问未知属性导致的运行时错误。理解这一点的关键在于明确：extends 在此处是类型层面的子集关系声明，而非类或接口的实现与派生。

掌握 extends 约束的写法与类型推断

在实际开发中，extends 常与 keyof 结合使用，以实现对对象属性的安全访问。典型写法如 function getProperty<T extends object, K extends keyof T>(obj: T, key: K): T[K] { return obj[key]; }。此处 K extends keyof T 确保传入的键名必须是对象 T 实际存在的属性，从而在编译期杜绝拼写错误或越界访问。调用该函数时，TypeScript 的类型推断引擎会自动根据传入的实参推导 T 与 K 的具体类型，例如传入 { name: "Alice" } 和 "name" 时，返回值类型会被精确推断为 string。然而，当类型推断结果不符合预期或需要处理复杂条件类型时，开发者可显式传递类型参数，如 getProperty<{ id: number; name: string }, "id" | "name">(user, "id")。显式指定适用于推断链断裂或需要收窄类型边界的场景，但需注意保持约束一致性，避免引发类型冲突。

验证约束效果并避开常见陷阱

验证泛型约束是否生效的最直接方式是观察 TypeScript 编译器的报错提示。若传入类型不满足 extends 条件，IDE 会立即标红并提示类型不满足约束条件。开发中常见陷阱包括：一是过度约束，如要求 T extends { a: string; b: number } 却只传入 { a: string }，导致合法调用被误杀；二是约束与返回类型不匹配，例如函数声明返回 T，但内部逻辑实际返回了 Partial<T>，此时需调整签名或使用类型断言；三是将 extends 误解为运行时的值判断，误写 if (arg extends SomeType)，实际上 extends 仅作用于类型系统，运行时判断应使用 instanceof 或 typeof。排查思路应遵循先看约束定义是否过严，再查函数体内类型流转是否一致，最后确认是否混淆了类型层与值层操作。通过严格遵循类型推导规则与约束边界，可显著提升泛型代码的健壮性。