TypeScript类型推断疑问：为何这段代码无法赋值给Z类型？

先贴出你的代码：

type R<B> = (b: B | undefined) => {};
type W = (z: Z) => Z;
type Z = <B>(r: R<B>) => B;
interface BB {someKey: number}
const result: Z = (_r: R<BB>) => ({ someKey: 123 });

对应的错误信息：

Type '(_r: R<BB>) => { someKey: number; }' is not assignable to type 'Z'.
Types of parameters '_r' and 'r' are incompatible.
Types of parameters 'b' and 'b' are incompatible.
Type 'BB' is not assignable to type 'B'.

咱们一步一步拆解这个问题，核心是搞清楚Z类型的本质：

Z是一个泛型函数类型，它的定义 <B>(r: R<B>) => B 意味着：

这个函数必须能接受任意类型B作为泛型参数，接收一个R<B>类型的参数，最后返回一个B类型的值。

换句话说，Z类型的函数得是"通用"的——不管调用者指定B是什么（比如string、number、自定义类型），它都要能适配。

但你写的result函数是固定死了只处理BB类型：它只接受R<BB>类型的参数，返回的也是BB类型的对象。这就和Z的要求直接冲突了：

举个例子，如果有人按照Z类型的预期调用result：

result<string>(/* 这里需要传R<string>类型的参数 */);

你的result根本做不到——它只能接受R<BB>，返回的是{someKey: number}，完全不是string类型。

再看错误链的具体逻辑：

1. TypeScript检查result是否符合Z类型时，首先对比函数参数：Z的参数是R<B>（B是任意泛型），而你的参数是R<BB>。
2. R<B>的定义是(b: B | undefined) => {}，R<BB>是(b: BB | undefined) => {}。
3. 函数参数的兼容性是逆变的：也就是说，要让R<BB>能赋值给R<B>，必须满足BB | undefined能被B | undefined接受——换句话说，BB必须能赋值给任意的B类型，这显然不可能（比如B是string时，BB和string完全不相关）。
4. 这就导致了最后一层错误：Type 'BB' is not assignable to type 'B'。

怎么修复？ #

如果你本来就只想让result处理BB类型，有两种常见方式：

1. 把Z的泛型移到类型本身，而不是函数上：

type Z<B> = (r: R<B>) => B; // 泛型绑定在Z类型上
const result: Z<BB> = (_r: R<BB>) => ({ someKey: 123 }); // 现在完全符合类型要求

2. 让result保持泛型，适配任意B（如果业务逻辑允许的话）：

const result: Z = <B>(_r: R<B>) => {
  // 这里需要返回B类型的值，比如依赖B的构造逻辑或默认值
};

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