为何TypeScript变量赋值string后类型又变回unknown？

function example(): boolean {
  let value: unknown = 'something' // 此处可能是返回unknown类型的函数调用

  if (!(typeof value === 'string') && !(typeof value === 'number')) {
    return false
  }

  value // string | number

  value = 'test'

  value // unknown

  return true
}

原因解析 #

这是因为你给value显式声明了unknown类型注解，TypeScript对let声明的变量会保留其原始类型注解作为变量的基础类型：

• 类型守卫（if判断）只是临时将value的类型收窄到string | number，这个收窄仅在当前代码路径的该位置生效；
• 执行value = 'test'时，是给unknown类型的变量重新赋值——unknown可以接受任意类型的值，因此TypeScript会将变量类型重置回原始的unknown，而非保留之前的收窄结果。

解决方案 #

如果希望赋值后保持更具体的类型，可尝试以下方式：

1. 改用const声明（适合无需再次赋值的场景）
   const声明的变量类型会被TypeScript自动推导为更精确的类型，且不会因赋值重置：

   function example(): boolean {
     const value: unknown = 'something'
     if (!(typeof value === 'string') && !(typeof value === 'number')) {
       return false
     }
     // value 始终为 string | number，无法重新赋值
     return true
   }
   

2. 重新执行类型守卫
   在赋值后再次检查类型，重新完成类型收窄：

   function example(): boolean {
     let value: unknown = 'something'
     if (!(typeof value === 'string') && !(typeof value === 'number')) {
       return false
     }
     value = 'test'
     if (typeof value === 'string') {
       value // string
     }
     return true
   }
   

3. 将新值存入新的const变量
   若需要重新赋值，可把新值存入新常量，让TypeScript自动推导其类型：

   function example(): boolean {
     let value: unknown = 'something'
     if (!(typeof value === 'string') && !(typeof value === 'number')) {
       return false
     }
     const newValue = 'test' // 类型自动推导为 string
     value = newValue
     // 此时 value 仍是 unknown，但 newValue 为 string
     return true
   }
   

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