为什么 TypeScript 条件类型对于可选参数不能正常工作？

Question

我想知道函数的第一个参数是可选的，所以我写了这个：

type F1 = (payload?: number) => null;
type Res1 = F1 extends (a?: any) => any ? 1 : 2; // got 1
type Res2 = F1 extends (a: any) => any ? 1 : 2; // got 1, but 2 expected

type F2 = (payload: number) => null;
type Res3 = F2 extends (a?: any) => any ? 1 : 2; // got 1, but 2 expected
type Res4 = F2 extends (a: any) => any ? 1 : 2; // got 1

它们都等于1 ，为什么？ 我该怎么做？

Answer 1

您可以将“扩展”阅读为“可分配给”。

type F1 = (payload?: number) => null;
type Res2 = F1 extends (a: any) => any ? 1 : 2; // got 1, but 2 expected

(payload?: number) => null分配给(a: any) => any吗？ 让我们检查：

// Works
const res2: (a: any) => any = (payload?: number) => null;

(a: any) => any接受a任何值，包括 undefined 或有效负载指定的数字，因此我们可以看到(payload?: number) => null是可分配的，因此F1 extends (a: any) => any应该评估为 true 并返回 1。

相反，您可以使用 Partial 使 function 的 arguments 测试可选，并检查生成的 arguments 是否可分配给原始 ZDBC11CAABD8BDA99F77E6FB4DABD882E7DZ

type ArgumentType<F extends (...args: any) => any> = F extends (...args: infer A) => any ? A : never;

type FirstArgumentOptional<F extends (...args: any) => any> =
    Partial<ArgumentType<F>> extends ArgumentType<F>
        ? true 
        : false


type T1 = FirstArgumentOptional<(a: any) => any>; // false
type T2 = FirstArgumentOptional<(a?: any) => any>; // true
type T3 = FirstArgumentOptional<() => any>; // true