类型{...}的TypeScript参数不能赋给类型为never的参数''

首先，这个例子没有真正的理由，你需要在函数中有三个generic个类型参数.不要使用Color作为某个类型的类型参数constrained，你可以直接使用该类型:

type ExampleFn = <
  K1 extends keyof ExampleType,
  K2 extends keyof ExampleType[K1]      
>(config: { name: K1, thing: K2 } & ColorArgs<(
    ExampleType[K1][K2] extends { color: infer C } ? C : never
 )>) => string;

然后，我们需要修复复杂的ColorArgs<( ExampleType[K1][K2] extends { color: infer C } ? C : never )>，使其成为实际工作的东西.您的ColorArgs类型函数是distributive conditional type，而那些always将never映射到never，以便与联合保持一致(参见Inferring nested value types with consideration for intermediate optional keys的答案以获取更多信息).由于你显然试图使用never作为一个符号来检测何时color不是输入的键，那么你得到的是never而不是你想要的类型.

因此，最好的方法是完全避免中间never，只是单独处理这两种情况. 我会这么做

type ExampleFn = <
  K1 extends keyof ExampleType,
  K2 extends keyof ExampleType[K1],
>(config:
  { name: K1, thing: K2, color?: unknown } &
  ColorArgs<ExampleType[K1][K2]>
) => string;

type ColorArgs<T> =
  "color" extends keyof T ? Pick<T, "color"> : { color?: never }

这里我把完整的ExampleType[K1][K2]传递给T，然后ColorArgs判断color是否是T的键.如果是，你得到Pick<T, "color">，给你T的部分，如果不是，你得到{color?: never}禁止这样的属性(它从技术上说使它成为never类型的optional property，这有点不同，但非常接近禁止).

我在config的类型中包含color?: unknown的原因只是为了确保编译器知道，无论K1和K2是什么泛型类型，用color索引到config总是安全的.否则你会遇到一个问题:

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

destruct 的color财产不会被识别为有效的.

现在我们可以判断它是否按预期工作:

exampleFn({ name: 'sally', thing: 'nail' }); // okay
exampleFn({ name: 'sally', thing: 'nail', color: "red" }); // error
exampleFn({ name: "jane", thing: "screwdriver", color: "red" }); // okay
exampleFn({ name: "jane", thing: "screwdriver" }); // error

看起来不错

Playground link to code