TypeScript泛型双向推断与约束实现方案咨询

核心思路 #

要实现T可选，显式传参时约束parts结构，隐式调用时自动推断T，必须打破原代码的循环依赖，将泛型逻辑拆分为两种独立场景：

• 显式指定T：强制partA/partB/partC为Partial<T>的子集
• 未指定T：自动将T推断为三个part的类型交集

实现方案 #

方案1：函数重载（可读性优先） #

通过重载明确区分两种调用场景，类型检查逻辑清晰直观：

// 重载1：显式传入T，约束parts的每个属性必须是Partial<T>
function Func<T>(parts: { partA: Partial<T>, partB: Partial<T>, partC: Partial<T> }): T;
// 重载2：未传入T，自动推断T为三个part的类型交集
function Func<PartA, PartB, PartC>(parts: { partA: PartA, partB: PartB, partC: PartC }): PartA & PartB & PartC;
// 函数实现体（类型检查由重载逻辑保障，用any兼容两种场景）
function Func(parts: any) {
  return { ...parts.partA, ...parts.partB, ...parts.partC };
}

方案2：单泛型结合条件推断（简洁性优先） #

借助infer和条件类型，用单个泛型参数实现需求：

const Func: <T = never>(
  parts: T extends never 
    ? { partA: infer A, partB: infer B, partC: infer C } 
    : { partA: Partial<T>, partB: Partial<T>, partC: Partial<T> }
) => T extends never ? A & B & C : T = (parts) => {
  return { ...parts.partA, ...parts.partB, ...parts.partC };
};

效果验证 #

• 显式指定T场景：

interface User {
  name: string;
  age: number;
  email: string;
}

// 若part属性超出Partial<User>范围，TypeScript会直接报错
const user = Func<User>({
  partA: { name: "Alice" },
  partB: { age: 25 },
  partC: { email: "alice@example.com" }
});
// user类型为User

• 隐式推断T场景：

const obj = Func({
  partA: { x: 1 },
  partB: { y: "hello" },
  partC: { z: true }
});
// obj类型自动推断为 {x: number} & {y: string} & {z: boolean}

原写法问题解析 #

原代码中T extends PartA & PartB & PartC与PartA extends Partial<T>形成循环依赖：TypeScript无法确定先推导T还是先推导PartA/B/C的类型，导致类型推断失败或抛出循环约束错误。上述方案通过拆分场景，彻底避免了这种循环依赖。

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