TypeScript能否自动推断数组类型，省略声明时的显式类型标注？

核心结论 #

TypeScript 目前没有官方配置可以实现「通过后续数组 push 内容、函数返回值反向推导空数组类型」的能力，这是 TS 类型推断的固有设计逻辑决定的。

原因说明 #

TS 的类型推断是按照代码书写顺序正向执行的：当你执行 const arr = [] 这行代码时，编译器还未解析到后续的 push 操作和 return 逻辑，只能基于当前赋值的空数组推断类型为 never[]，自然不会关联后续操作、函数返回值做反向推导。
如果要支持这类反向推导，会大幅提升类型推断的复杂度，甚至会在多分支操作数组的场景下出现推导结果不稳定、循环依赖报错等问题，因此 TS 官方目前没有提供相关配置开关。

可行替代方案 #

你可以通过以下几种方式简化代码，避免重复编写冗长的类型标注：

• 用类型断言简化写法：可以把 const arr : VeryLongOrComplexType[] = [] 替换为 const arr = [] as VeryLongOrComplexType[]，效果完全一致，代码书写更顺畅，不会把变量声明和赋值逻辑拆得过长。
• 用泛型构造函数声明：也可以写成 const arr = Array<VeryLongOrComplexType>()，和上述写法效果相同。
• 改用函数式写法避免中间数组声明：如果你的数组生成逻辑可以从命令式的 for 循环改为 map/filter 等函数式 API，直接返回运算结果即可，不需要单独声明空数组变量，TS 会自动推导返回值类型，示例：

// 原 for 循环写法
function f() : VeryLongOrComplexType[] {
  const arr = [] as VeryLongOrComplexType[]
  for (const item of originList) {
    arr.push(convertToTargetType(item))
  }
  return arr
}

// 优化后写法，无需单独声明数组
function f() : VeryLongOrComplexType[] {
  return originList.map(item => convertToTargetType(item))
}

• （不推荐）关闭 noImplicitAny 配置：你猜测的关联点是正确的，如果把 tsconfig.json 中的 noImplicitAny 设为 false，空数组会被推断为 any[]，push 操作不会报错，但你会丢失所有该数组相关的类型校验能力，非常不推荐在生产项目中使用该方案。

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