TypeScript：类型谓词与断言函数结合的类型推断失效问题

问题代码 #

interface ValidateFunction<T = unknown> {
    (data: unknown): data is T;
}

declare const test: ValidateFunction<string>;

declare function assertIsTrue(b: boolean): asserts b is true;

function f(s: unknown): string {
  const isValid = test(s);
  assertIsTrue(isValid);
  return s;
}

报错信息 #

Type 'unknown' is not assignable to type 'string'.

直接用if (!isValid) throw new Error();替换断言函数调用时，编译器不会报错。这不是TypeScript的bug，原因如下：

原因分析 #

TypeScript对断言函数和if条件判断的类型收缩逻辑存在差异：

• test(s)返回的isValid是独立布尔变量，它和s的类型关联仅存在于test(s)执行的瞬间。
• 调用assertIsTrue(isValid)时，TypeScript只能确认isValid为true，但无法回溯这个布尔值与s类型的关联——它不会把isValid为真的信息，反向映射到s满足data is string这个类型谓词上。
• 而if (!isValid) throw ...是直接基于test(s)的结果做分支判断，TypeScript会直接执行类型收缩：当分支抛出错误终止执行后，剩余代码中s会被自动推断为string。

解决方法 #

1. 定义直接收缩类型的断言函数

   declare function assertIsString(data: unknown): asserts data is string;
   
   function f(s: unknown): string {
     assertIsString(s);
     return s;
   }
   

2. 让断言函数关联校验器与原数据

   interface ValidateFunction<T = unknown> {
       (data: unknown): data is T;
   }
   
   declare const test: ValidateFunction<string>;
   
   declare function assertValid<T>(data: unknown, validator: ValidateFunction<T>): asserts data is T;
   
   function f(s: unknown): string {
     assertValid(s, test);
     return s;
   }
   

3. 直接使用if判断抛出错误
   这是最直接的方式，也是TypeScript类型收缩逻辑最容易处理的场景。

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