如何提升TypeScript类型提示严格性，避免变量被推断为any类型？

step被推断为any的核心原因是：声明let step时既没有初始化赋值，也没有显式标注类型，TypeScript在变量声明阶段无法推导其类型，默认判定为any，后续分支里的赋值操作不会反向更新变量的根类型，哪怕赋值的是带as const的精确类型也无效。

方案1：三元表达式直接赋值（最简洁） #

直接通过三元表达式做条件赋值，TypeScript可以自动推导step的精确联合类型，无需手动标注类型：

export function foo (isActive:boolean) {
  const step = isActive 
    ? ['1ICK750', '2IYE230', '3CI0320', '3CI0720', '4PGC938'] as const
    : ['are', 'by', 'sea', 'seashells', 'she', 'shore', 'the', 'zoo'] as const

  // 后续操作step时会自动识别为两个只读字符串数组的联合类型
  return step
}

该方案代码量最少，完全依靠TS自动类型推导就能得到严格的精确类型，函数返回值的类型也会自动推导为两个const数组的联合。

方案2：显式标注step的类型 #

如果你的业务逻辑比较复杂，没法合并为三元表达式，可以提前声明step的类型：

export function foo (isActive:boolean) {
  // 提前定义两个分支的常量类型
  const activeSteps = ['1ICK750', '2IYE230', '3CI0320', '3CI0720', '4PGC938'] as const
  const inactiveSteps = ['are', 'by', 'sea', 'seashells', 'she', 'shore', 'the', 'zoo'] as const
  // 显式标注step的类型为两个常量数组的联合
  let step: typeof activeSteps | typeof inactiveSteps

  if (isActive) {
    step = activeSteps
  } else {
    step = inactiveSteps
  }

  // ... 其他复杂逻辑
  return step
}

该方案适合分支逻辑复杂、需要在赋值前后做其他操作的场景，类型同样完全严格。

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