TypeScript调用窄化函数与内联代码时类型校验表现不一致问题

这不是TypeScript的固有bug，属于对TypeScript类型收窄机制的理解偏差。

TypeScript的控制流类型分析遵循作用域边界限制规则，默认不会跨函数做深度的类型推导，这是为了平衡编译性能、保证类型推导结果可预测做的设计取舍：

• 当你直接在narrowUnknownTostring内联写typeof判断+抛错的逻辑时，类型分析完全发生在当前函数作用域内，TS可以逐行追踪执行分支：识别到不满足string类型的路径会直接抛错终止，因此后续代码中rawParam必然是string类型，收窄正常生效。
• 当你把校验逻辑封装到castString中时，TS不会穿透函数边界扫描castString的内部实现，来推导外层传入的rawParam的类型变化。你写的castString仅标注了返回值为string类型，这个类型信息只绑定在返回值上，不会对外层的原始参数产生收窄效果；哪怕你把返回值重新赋值给同名的rawParam参数，TS对参数类型的追踪也不会自动覆盖初始的unknown类型，因此会报类型错误。

如果要封装通用的类型校验窄化逻辑，有两种标准写法可以让TS正确识别收窄效果：

1. 使用TS原生的断言签名（asserts），显式声明函数的类型收窄作用，调用后不需要重新赋值，原变量会自动收窄类型：

   // 断言签名：调用该函数后，value类型会被收窄为string
   function assertString(value: unknown): asserts value is string {
     if (typeof value !== "string") {
       throw new Error(`Expected ${value} to be string, got ${typeof value}`);
     }
   }
   
   function narrowUnknownTostring(rawParam: unknown): void {
     assertString(rawParam);
     // 此处rawParam已被收窄为string，无类型错误
     const narrowedParamOk: string = rawParam;
   }
   

2. 保留返回转换后值的写法，将返回值赋值给新变量，不复用原参数名，TS可以直接通过返回值标注识别新变量的类型：

   function castString(value: unknown): string {
     if (typeof value !== "string") {
       throw new Error(`Expected ${value} to be string, got ${typeof value}`);
     }
     return value;
   }
   
   function narrowUnknownTostring(rawParam: unknown): void {
     const narrowedParam = castString(rawParam);
     // narrowedParam类型为string，无类型错误
     const narrowedParamOk: string = narrowedParam;
   }
   

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