如何设计一个支持TypeScript类型推断的通用工具函数？

答案：通过泛型、条件类型和映射类型设计类型安全的合并函数，使TypeScript能精确推断合并后的对象结构。使用泛型T、U保留输入类型，结合Merge工具类型处理属性冲突与可选性，进一步可用DeepMerge实现嵌套合并，确保返回类型准确反映字段来源与结构，从而实现高效类型推导。

要设计一个支持 TypeScript 类型推断的通用工具函数，关键在于正确使用泛型、条件类型和类型映射，让编译器能尽可能保留原始输入的结构和类型信息。下面以一个常见的“合并对象”工具函数为例，说明如何实现类型安全且具备良好推断能力的设计。

1. 使用泛型保留输入类型

泛型是实现类型推断的基础。通过泛型参数，函数可以接收任意类型，并在返回值中引用这些类型。

function merge<T, U>(a: T, b: U): T & U {
  return { ...a, ...b };
}

这个函数接受两个对象，返回它们的交叉类型。TypeScript 能根据传入的实际值推断出 T 和 U 的具体类型，从而让返回值具有精确的字段信息。

2. 处理可选属性与联合类型

当合并的对象包含可选属性时，直接使用 & 可能导致类型不够精确。可以通过条件类型进一步优化。

例如，我们希望如果某个属性在两个对象中都存在，则取第二个的类型；如果只在一个中存在，则保留其可选性。

可以这样增强类型定义：

type Merge<T, U> = {
  [K in keyof T | keyof U]:
    K extends keyof T & keyof U ? U[K] :
    K extends keyof U ? U[K] :
    T[K];
}

然后修改函数签名：

function merge<T, U>(a: T, b: U): Merge<T, U> {
  return { ...a, ...b } as any;
}

这样返回类型会更准确地反映合并后对象的结构。

Favird No-Code Tools

无代码工具的聚合器

下载

3. 支持嵌套对象的深层合并（可选）

如果需要支持嵌套对象的合并，并保持深层类型推断，可以递归定义类型：

type DeepMerge<T, U> = {
  [K in keyof T | keyof U]:
    K extends keyof T & keyof U
      ? T[K] extends object & {}
        ? U[K] extends object & {}
          ? DeepMerge<T[K], U[K]>
          : U[K]
        : U[K]
    : K extends keyof U ? U[K] : T[K];
}

注意：深层递归类型可能触发 TypeScript 的深度限制，需谨慎使用。

4. 实际使用示例

const a = { name: "Alice", age: 25 };
const b = { age: 30, city: "Beijing" };
const result = merge(a, b);

此时 result 的类型会被推断为：

{ name: string; age: number; city: string }

并且 result.age === 30，类型系统知道 age 来自 b。

基本上就这些。核心是利用泛型接收输入，用映射类型和条件类型构造精确输出，让 TypeScript 自动推断而不丢失信息。不复杂但容易忽略细节。