TypeScript函数参数类型问题：根据前参控制第三参必填性

你遇到的问题是泛型约束与交叉类型的处理逻辑导致，当目标路径不存在color字段时，参数类型被错误推断为never。要实现根据前两个参数的路径决定color参数是否必填（甚至禁止传入），可以通过调整类型判断逻辑解决：

问题分析 #

原代码中，当name: 'sally'且thing: 'nail'时，Color被推断为never，ColorArgs<never>生成{ color?: never }，但TypeScript处理这类交叉类型时会将整个参数类型判定为never，从而抛出赋值错误。同时原逻辑允许color?: never，但这并不等同于禁止传入color参数——我们需要的是无color路径时完全不允许该字段存在。

解决方案 #

重新设计函数参数类型，通过条件类型区分两种场景：

1. 目标对象存在color字段时，强制要求传入对应类型的color参数
2. 目标对象不存在color字段时，禁止传入color参数（通过color?: never实现，任何传入值都会触发类型错误）

修改后的完整代码：

type ExampleType = {
  john: {
    toolbox: { color: string }
  },
  jane: {
    screwdriver: { color: string }
  },
  sally: {
    hammer: { color: string },
    nail: {}
  }
}

// 判断类型是否包含color字段，并提取color的类型
type ExtractColor<T> = T extends { color: infer C } ? C : never;

type ExampleFn = <
  Name extends keyof ExampleType,
  Thing extends keyof ExampleType[Name]
>(
  config: ExtractColor<ExampleType[Name][Thing]> extends never 
    ? { name: Name; thing: Thing; color?: never } 
    : { name: Name; thing: Thing; color: ExtractColor<ExampleType[Name][Thing]> }
) => string;

export const exampleFn: ExampleFn = ({ name, thing, color }) => {
  console.log(name, thing, color);
  return 'hello';
};

// 测试用例
exampleFn({ name: 'sally', thing: 'nail' }); // 正常，不允许传color
// exampleFn({ name: 'sally', thing: 'nail', color: 'red' }); // 报错：color字段不允许传入
exampleFn({ name: 'sally', thing: 'hammer', color: 'blue' }); // 正常
// exampleFn({ name: 'john', thing: 'toolbox' }); // 报错：缺少必填属性color

关键改进点 #

• 用ExtractColor类型直接提取目标路径的color类型，或返回never
• 通过条件类型生成两种参数结构，严格实现“无color路径禁止传参、有color路径强制传参”的逻辑
• 规避了原代码中泛型约束导致的类型推断异常问题

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