TypeScript中基于带默认值的参数推导返回类型及泛型参数类型不兼容报错解决

这个报错本质是TypeScript的泛型约束和默认参数的类型推导逻辑冲突了。你给泛型T加上了extends boolean的约束，同时设置默认参数为false，但TS没法确定T到底是boolean的字面量子类型（比如true/false）还是boolean联合类型，当T被实例化为true时，false自然没法赋值给T，就出现了这个类型不兼容的错误。

下面给你两种可行的解决办法：

方法一：用函数重载（推荐，可读性更高） #

函数重载可以直接给TS明确不同调用场景下的参数与返回类型映射，完全避开泛型默认参数的冲突问题：

// 先定义三个重载签名，对应三种调用场景
function test(): number | null;
function test(def: true): number;
function test(def: false): number | null;

// 再写具体的实现逻辑
function test(def: boolean = false): number | null {
  if (def) {
    return 1;
  } else {
    return null;
  }
}

const x = test(true); // 类型正确推导为number
const x1 = test(false); // 类型正确推导为number | null
const x2 = test(); // 类型正确推导为number | null

这种方式逻辑清晰，TS的类型推导也会非常准确，后续维护起来也更方便。

方法二：调整泛型并使用类型断言（适合必须用泛型的场景） #

如果一定要保留泛型的写法，可以给泛型设置默认类型，同时通过类型断言解决赋值和返回值的类型问题：

const test = <T extends boolean = false>(def: T = false as T): true extends T ? number : number | null => {
  if (def) {
    return 1 as true extends T ? number : number | null;
  } else {
    return null as true extends T ? number : number | null;
  }
};

const x = test(true); // number
const x1 = test(false); // number | null
const x2 = test(); // number | null

这里我们给泛型T指定了默认类型false，然后把默认参数false断言为T，同时返回值也做了对应的类型断言，告诉TS返回值符合条件类型的推导结果。不过这种方式代码可读性稍差，除非有特殊需求，否则更推荐第一种方法。

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