TypeScript中受约束与不受约束类型参数的区别是什么？

不受约束类型参数 #

• 定义：泛型声明时未通过extends指定任何限制条件的类型参数，比如你代码里最初的<T, U>。这类参数可以匹配任意TypeScript类型，包括原始类型（string、number、boolean）、null、undefined，甚至never类型。
• 问题点：以你的merge函数为例，Object.assign的第一个参数要求是对象类型，但不受约束的T可能被传入非对象值（比如数字、字符串），这会导致代码运行时的行为不符合预期，同时TypeScript会抛出类型检查警告——也就是你看到的提示信息。

受约束类型参数 #

• 定义：通过extends关键字给泛型参数设定类型范围，强制参数必须满足指定的类型条件，比如你修改后的<T extends object, U>。这里T被约束为必须是object类型（包括普通对象、数组、函数等非原始类型）。
• 核心作用：
  • 类型安全：确保传入的参数符合函数内部操作的要求，比如约束T为object后，就不会允许传入原始类型，避免Object.assign的异常行为。
  • 精准推断：帮助TypeScript更准确地推断返回值类型，同时在开发过程中提供更贴合实际的代码提示。

结合你的代码对比 #

不受约束的版本（存在警告） #

function merge<T, U>(objA: T, objB: U) {
  return Object.assign(objA, objB);
}

这里T和U没有任何约束，TypeScript无法确保objA是对象类型，因此抛出警告提示你添加约束。

受约束的版本（解决警告） #

function merge<T extends object, U>(objA: T, objB: U) {
  return Object.assign(objA, objB);
}

通过extends object约束T，明确要求objA必须是对象类型，既满足了Object.assign的参数要求，也消除了类型检查警告。

内容的提问来源于stack exchange，提问作者Captainofthe9thdivision