· 2 min read


泛型函数是 TS 类型系统里复用率最高的特性——核心是 类型变量 T + 约束 extends 两个机制。
function id<T>(arg: T): T——比 any 安全<T>,TS 自动推断<T, U> 分别约束不同位置T extends Person 限定类型范围extends 和 implements 是两种完全不同的关系——前者是类型组合,后者是合同检查,混为一谈是新手最常踩的坑。
extends type,type 用 & 合并implements 不参与运行时Interface 是 TS 定义对象/数组结构的主力工具——核心是 形状契约,不是类继承。
interface Person { name; age } 限定对象必须有哪些字段