TS 类型兼容性核心是 结构化类型——多的可以赋值给少的，duck typing 是关键。

• 核心规则：成员多的类型可以赋值给成员少的，反之不行
• 特殊类型：any 万能，never 万不能
• 函数参数：默认双变，开 strictFunctionTypes 后变逆变
• Class：私有成员相互不兼容（除继承外）
• Generic：未实例化的泛型可以互相兼容

泛型函数是 TS 类型系统里复用率最高的特性——核心是 类型变量 T + 约束 extends 两个机制。

• 基础用法：function id<T>(arg: T): T——比 any 安全
• 类型推断：调用时不用显式 <T>，TS 自动推断
• 多类型变量：<T, U> 分别约束不同位置
• 约束语法：T extends Person 限定类型范围
• 避坑：泛型里访问属性前必须 narrow 或约束

extends 和 implements 是两种完全不同的关系——前者是类型组合，后者是合同检查，混为一谈是新手最常踩的坑。

• extends：接口继承接口，支持多继承
• implements：类实现接口，必须实现所有成员，可以多加
• 合并 vs 验证：extends 合并成员；implements 只做编译期结构验证
• 现代写法：interface 能 extends type，type 用 & 合并
• 关键差异：implements 不参与运行时

Interface 是 TS 定义对象/数组结构的主力工具——核心是 形状契约，不是类继承。

• 对象类型：interface Person { name; age } 限定对象必须有哪些字段
• 可选字段：name?: string 表示可有可无
• 只读字段：readonly age 防止外部修改
• 索引签名：[key: string]: any 描述动态字段
• Duck typing：TS 是结构化类型，多余字段传入不报错