TypeScript 5.8.2类型守卫函数编译异常问题咨询

第一个示例：泛型推断严格化导致类型缩小失效 #

第一个示例的核心问题是TS 5.8.2对泛型参数的推断逻辑变得更严格，导致类型守卫未正确缩小变量类型。

代码还原：

function assertIsNotNull<T>(p: T | null): asserts p is T {
  if (p === null) throw new Error("p is null");
}

function test(p: string | null) {
  assertIsNotNull(p);
  console.log(p.toUpperCase()); // 报错：p is possibly null
}

当调用assertIsNotNull(p)时，TS 5.8.2会将泛型T推断为string | null——因为T | null需要匹配传入的参数类型string | null，此时T本身包含null，断言p is T并没有排除null的可能性，后续代码自然认为p仍可能为null。

旧版本TS会宽松地将T推断为string，但5.8.2严格遵循泛型定义的字面约束，不再做额外的“善意”推断。

第二个示例：联合类型下的泛型断言逻辑问题 #

第二个示例的报错本质同样源于泛型推断的严格化，尽管逻辑看似正确，但类型缩小未生效：

代码还原：

function assertIsDefined<T>(value: T): asserts value is NonNullable<T> {
  if (value === undefined || value === null) {
    throw new Error(`Expected value to be defined, but received ${value}`);
  }
}

function processUser(user: { name: string } | null) {
  assertIsDefined(user);
  console.log(user.name); // 报错：Object is possibly 'null'
}

传入{ name: string } | null时，T被推断为{ name: string } | null，NonNullable<T>确实是{ name: string }，但TS 5.8.2在处理联合类型的泛型断言时，未正确排除null分支。这是因为新版本对泛型断言的类型缩小逻辑要求更明确的约束。

修复方案 #

针对这两个问题，需调整断言函数的泛型定义，明确约束边界：

• 修复第一个示例：

  // 方式1：明确断言排除null
  function assertIsNotNull<T>(p: T | null): asserts p is Exclude<T, null> {
    if (p === null) throw new Error("p is null");
  }
  
  // 方式2：约束泛型不能为null/undefined
  function assertIsNotNull<T extends NonNullable<unknown>>(p: T | null): asserts p is T {
    if (p === null) throw new Error("p is null");
  }
  

• 修复第二个示例：

  // 方式1：调用时显式指定泛型参数
  function processUser(user: { name: string } | null) {
    assertIsDefined<{ name: string }>(user);
    console.log(user.name);
  }
  
  // 方式2：调整断言函数参数类型，直接处理null/undefined
  function assertIsDefined<T>(value: T | null | undefined): asserts value is T {
    if (value === undefined || value === null) {
      throw new Error(`Expected value to be defined, but received ${value}`);
    }
  }
  

版本变更背景 #

TS 5.8对泛型类型推断和断言函数的类型检查做了严格化调整，目的是减少模糊推断导致的潜在类型错误。旧版本中宽松的推断可能让有缺陷的断言函数“侥幸”通过，新版本则严格遵循泛型定义的字面逻辑，暴露了原本隐藏的类型问题。

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