TypeScript泛型T&{}无法赋值给Exclude<T,null>问题及求解

为什么会出现 T & {}？ #

当你在泛型函数中通过 if (rawValue !== null) 判断值非空时，TypeScript 对泛型 T 的类型收窄逻辑是：它会将类型过滤为满足 rawValue !== null 的子集。而 {} 在 TypeScript 里是一个特殊类型——它可以匹配所有非 null、非 undefined 的值（因为 null 和 undefined 无法赋值给 {}）。因此，TypeScript 会把收窄后的类型推断为 T & {}，表示「属于 T 且兼容非空对象的类型」。

但 T & {} 和 Exclude<T, null> 并不会被 TypeScript 自动判定为等价类型：虽然在实际值层面两者是一致的，但在类型系统中，泛型的收窄逻辑无法直接推导两者完全匹配，因此会抛出类型不兼容的错误。

不用类型断言的解决方案 #

方案1：自定义类型守卫收窄类型 #

编写一个类型守卫函数，明确告诉 TypeScript 过滤后的值属于 Exclude<T, null> 类型：

function isNotNull<T>(value: T): value is Exclude<T, null> {
  return value !== null;
}

function handleNull<T extends string | number | null>(
  rawValue: T,
  format: (val: Exclude<T, null>) => string
) {
  if (isNotNull(rawValue)) {
    return format(rawValue); // 类型匹配，无报错
  }
  return 'default';
}

这个方案能保留泛型的灵活性，比如当 T 是具体的联合类型（如 "foo" | null）时，format 的参数类型会被推断为 "foo"，而非宽泛的 string。

方案2：使用函数重载 #

通过定义重载签名，明确区分 null 和非 null 场景的参数类型，让 TypeScript 直接匹配正确的分支：

// 重载：处理 null 输入
function handleNull(rawValue: null, format: (val: string | number) => string): string;
// 重载：处理非 null 输入
function handleNull(rawValue: string | number, format: (val: string | number) => string): string;
// 函数实现
function handleNull(
  rawValue: string | number | null,
  format: (val: string | number) => string
) {
  if (rawValue !== null) {
    return format(rawValue);
  }
  return 'default';
}

这种方式完全不需要断言，且类型推导清晰直观。

方案3：利用条件类型约束返回值 #

通过条件类型明确函数的返回逻辑，让 TypeScript 自动识别非 null 分支的类型：

function handleNull<T extends string | number | null>(
  rawValue: T,
  format: (val: Exclude<T, null>) => string
): T extends null ? string : string {
  if (rawValue !== null) {
    // 这里的断言是安全的，条件类型已确保当前分支值属于目标类型
    return format(rawValue as Exclude<T, null>);
  }
  return 'default';
}

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