条件类型中的TypeScript类型推断

Question

我对以下示例中的类型推断方式感到困惑

type RetType<T> = T extends (...args: (infer I)[]) => infer R ? [I, R] : any;
type X = (a: number, b: string) => void;
type Q = RetType<X>;

如果您将鼠标悬停在操场上的Q类型上，您将获得[number & string, void] 。 这令人困惑，因为我希望I被推断为number | string number | string （union）而不是number & string （intersection）。

有没有人理解为什么输入参数被推断为交集而不是联合？

Answer 1

TL; DR：因为无论I是什么，它都必须可以赋值给函数类型T 所有参数。

---

这是因为函数参数是反变量的 。 这只是意味着对于一个函数来代替另一个函数，它的参数类型必须与其他函数相同或更通用。 当你看一个例子时，这是非常明显的：

type f: (arg: string) => string;
type g: (arg: "foo") => string;

// f is assignable to g, since a function expecting
// to receive any string should have no problem accepting
// the specific string "foo".

// However, the reverse isn't true. You can't assign g to f,
// since g expects to receive exactly the string "foo" for its
// argument, but if it's used in place of f, it can receive any string.

换句话说， f可赋值给g因为g的参数可赋值给f 。 这种逆转是对立面 。

因此，如果T是一些神秘功能类型的子类型(...args: I[]) => R ，参数禁忌方差告诉我们， I必须是可分配给参数类型的T 。

因此， T extends (...args: (infer I)[]) => infer R告诉typescript推断某些单一类型I这样I就可以用来代替T的任何参数。

所以对于你的类型X ，无论I是什么，它都应该是真的，它必须可以分配给两个参数。 由于参数类型分别是number和string ，我们会问： 这两种类型都可分配哪种类型？

好吧， number & string 。

---

*有关更多信息，您可能有兴趣阅读co和contra-variance 。

Answer 2

这可能不是您正在寻找的答案或解释，但这在文档中提到 ：

同样，反变量位置中相同类型变量的多个候选者会导致交叉类型被推断：

 type Bar<T> = T extends { a: (x: infer U) => void, b: (x: infer U) => void } ? U : never; type T20 = Bar<{ a: (x: string) => void, b: (x: string) => void }>; // string type T21 = Bar<{ a: (x: string) => void, b: (x: number) => void }>; // string & number