TypeScript 中泛型约束（extends）必须在默认类型（=）之前，且默认类型须满足约束；正确示例包括字符串/数组长度处理、对象键安全访问及接口配置简化；错误写法如默认类型不满足约束或顺序颠倒将导致编译报错。

在 TypeScript 中，泛型约束（extends）和默认类型（=）可以一起使用，但必须遵守严格的语法顺序和语义规则：先写约束，再写默认值，且默认类型必须满足该约束。

语法格式必须是

这是硬性要求。TypeScript 不允许颠倒顺序，比如 会直接报错。

• 约束定义了 T 的“合法范围”，例如必须有 length 属性或实现某个接口
• 默认类型只在调用时未显式传入类型参数时生效，但它本身必须落在约束范围内
• 如果默认类型不满足约束，编译器会拒绝——不是运行时报错，而是编辑器里立刻标红

常见正确组合示例

这些写法经过验证，符合工程实践：

Java Development Man

Java开发手册规约集合，基于阿里巴巴Java开发手册（嵩山版）。 涵盖7大维度：编程规约、异常日志、单元测试、安全规约、MySQL数据库、工程结构、设计规约。

下载

• ✅ 安全的字符串/数组通用处理：
  function logLength(val: T): number { return val.length; }
  调用 logLength("hi") 自动用 string；logLength([1,2]) 显式推导为 number[]；logLength(42) 编译失败
• ✅ 对象键安全访问：
  function getProp, K extends keyof T = keyof T>(obj: T, key: K): T[K] { return obj[key]; }
  默认 K 是对象所有键的联合类型，调用时可省略，也能防止传入非法属性名
• ✅ 接口配置简化：
  interface ApiResponse { code: number; data: T; }
const res: ApiResponse = { code: 200, data: "ok" }; 或直接 ApiResponse 使用默认 unknown

容易出错的写法

这些看似合理，实则无法通过类型检查：

• ❌ 默认类型超出约束：
  

  interface User { name: string; }<br>function getUser<t extends user="{}">(u: T) { return u; }</t>

  
  {} 没有 name，不满足 User 约束
• ❌ 用 any 或 unknown 作默认值（除非约束本身宽松）：
  会报错，因为 any 不是 string 的子类型
• ❌ 多个泛型参数间约束混乱：
  是合法的，但 会报错——顺序不能换

实际开发中的建议

这类组合不是炫技，而是为高频场景降噪：

• 优先选具体、常用类型作默认值，比如 string、number、Record，避免用 any 或空对象
• 约束尽量用最小必要接口，例如只需 length 就别强制 ArrayLike，否则默认值难匹配
• 在泛型函数、接口、类中都支持该写法，但类构造器本身不参与类型推导，实例方法才真正受益

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南