为什么TypeScript将对象内的[]推断为never[]而非any[]？

先看两个示例的类型推断差异：

// x 的类型为 any[]
const x = []

// x.a 的类型为 never[]
const x = {
  a: []
}

这是TypeScript针对不同场景设计的类型推断逻辑：

• 直接赋值空数组给变量：
  当你直接声明const x = []时，TypeScript无法预知这个数组后续会存入什么类型的元素。为了避免过早限制数组类型导致后续赋值报错，它会默认推断为any[]，给你足够的灵活性去添加任意类型的元素。

• 对象字面量中的空数组属性：
  对象字面量通常用于定义结构固定的数据。如果没有明确指定属性类型，TypeScript会默认假设这个数组不会被添加任何元素（既无初始值也无类型提示），因此推断为never[]——never代表永远不会存在的值的类型，never[]就意味着这个数组永远只能是空数组，一旦你尝试往其中添加任何值，TypeScript都会抛出错误，以此保障对象结构的类型安全性。

这种差异本质是TypeScript在灵活性与类型安全性之间的场景化权衡：单独的空数组优先保障使用灵活性，对象内的空数组优先保障结构的类型安全。

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