TypeScript无法推断处理后parsedValue为string类型的原因咨询

这是TypeScript控制流类型窄化的正常规则表现，不是你的写法存在逻辑错误，核心原因如下：

• 当你用let声明parsedValue并初始化为value时，TS会为其标记初始类型为联合类型StoreDataValue（即string | Record<PropertyKey, any>）。
• 当你基于parsedValue本身做typeof类型判断时，TS只会在对应的分支代码块内部临时窄化parsedValue的类型；但由于你在分支内重新对parsedValue做了赋值，TS不会在if/else分支结束后，自动合并两个分支的赋值结果来收窄parsedValue的最终类型，而是会将其类型回退到最初声明的StoreDataValue，因此传入只接受string类型参数的AsyncStorage.setItem时会报类型错误。
• 而当你把判断条件改为基于入参value做判断时，由于value是函数入参且全程没有被重新赋值，TS可以稳定追踪它的类型窄化结果：非string分支下JSON.stringify(value)返回string，string分支下value本身就是string，因此能正确推断出最终parsedValue的类型为string。

你可以任选以下几种符合TS类型推断规则的写法，都能消除类型错误：

• 保留你已经验证过的、基于原始入参value做类型判断的写法
• 初始化时显式标注parsedValue的类型为string，让TS从声明阶段就明确变量的最终类型：

let parsedValue: string;
if (typeof value !== "string") {
  parsedValue = JSON.stringify(value);
} else {
  parsedValue = value;
}

• 用const配合三元表达式直接赋值，由于const声明的变量不可重新赋值，TS可以直接计算表达式的返回类型为string：

const parsedValue = typeof value !== "string" ? JSON.stringify(value) : value;

注：TS之所以不对分支内被重新赋值的let变量做跨块的类型合并，本质是为了避免后续代码再次修改变量带来的类型误判，属于类型系统的保守设计，不是bug。

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