TypeScript数组方法中变量类型为何变更？是Bug还是认知疏漏？

你遇到的是TypeScript控制流分析的设计限制，而非Bug：

• 控制流分析（比如通过if(!variable)赋值后缩窄类型为string）仅在当前函数作用域内有效。
• 传给map的回调是独立的函数作用域，TypeScript无法保证从当前作用域赋值到回调执行期间，variable不会被其他代码修改（比如异步操作、外部作用域的赋值），因此不会保留之前的类型缩窄结果，会退回到变量的原始类型string | undefined。

可行的解决方案 #

• 改用const声明变量（如果后续不需要修改变量值）：

  const fn = (arg: string) => {}
  
  const variable = 'asd'; // 类型固定为string
  
  fn(variable); 
  
  [].map(() => {
      fn(variable) // 类型正确识别为string
  })
  

• 将变量复制到回调作用域内：

  const fn = (arg: string) => {}
  
  let variable: undefined | string
  
  if(!variable) {
      variable = 'asd'
  }
  
  fn(variable); 
  
  [].map(() => {
      const localVar = variable; // 继承当前作用域的缩窄类型string
      fn(localVar)
  })
  

• 非空断言/类型断言（仅在能确保变量不会为undefined时使用）：

  // 非空断言
  [].map(() => {
      fn(variable!)
  })
  
  // 类型断言
  [].map(() => {
      fn(variable as string)
  })
  

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