在 TypeScript 里，泛型约束（extends）和默认类型（=）的写法顺序不能搞反：必须先写约束，再写默认类型，而且这个默认类型本身也得满足约束条件。

常见的正确用法，通常出现在字符串或数组长度处理、对象键的安全访问，以及基于接口做配置简化这些场景。

反过来，如果默认类型不符合约束，或者把两者顺序写颠倒了，编译阶段就会直接报错。

在 TypeScript 里，泛型约束（extends）和默认类型（=）确实可以配合使用。

但这里有一套不能乱的语法和语义规则：顺序上，必须先声明约束，再补上默认值；同时，默认类型本身也得符合这个约束条件。

语法格式必须是

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

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

常见正确组合示例

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

• 安全的字符串/数组通用处理：
  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; }
  function getUser(u: T) { return u; }

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

实际开发中的建议

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

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

《夸克》非常好用的免费AI浏览器

下载APP查看