答案：通过泛型、条件类型和映射类型设计类型安全的合并函数，使TypeScript能精确推断合并后的对象结构。使用泛型T、U保留输入类型，结合Merge工具类型处理属性冲突与可选性，进一步可用DeepMerge实现嵌套合并，确保返回类型准确反映字段来源与结构，从而实现高效类型推导。
要设计一个支持 TypeScript 类型推断的通用工具函数，关键在于正确使用泛型、条件类型和类型映射，让编译器能尽可能保留原始输入的结构和类型信息。下面以一个常见的“合并对象”工具函数为例，说明如何实现类型安全且具备良好推断能力的设计。
1. 使用泛型保留输入类型
泛型是实现类型推断的基础。通过泛型参数，函数可以接收任意类型，并在返回值中引用这些类型。
示例：一个简单的 merge 工具函数
function merge
return { ...a, ...b };
}
这个函数接受两个对象，返回它们的交叉类型。TypeScript 能根据传入的实际值推断出 T 和 U 的具体类型，从而让返回值具有精确的字段信息。
2. 处理可选属性与联合类型
当合并的对象包含可选属性时，直接使用 & 可能导致类型不够精确。可以通过条件类型进一步优化。
例如，我们希望如果某个属性在两个对象中都存在，则取第二个的类型；如果只在一个中存在，则保留其可选性。
可以这样增强类型定义：
type Merge
[K in keyof T | keyof U]:
K extends keyof T & keyof U ? U[K] :
K extends keyof U ? U[K] :
T[K];
}
然后修改函数签名：
function merge
return { ...a, ...b } as any;
}
这样返回类型会更准确地反映合并后对象的结构。
3. 支持嵌套对象的深层合并（可选）
如果需要支持嵌套对象的合并，并保持深层类型推断，可以递归定义类型：
type DeepMerge
[K in keyof T | keyof U]:
K extends keyof T & keyof U
? T[K] extends object & {}
? U[K] extends object & {}
? DeepMerge
: 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 自动推断而不丢失信息。不复杂但容易忽略细节。
