为什么 a = null ？永不[]类型的[]？

Question

为什么我在这里得到不同的数组类型推断？

const a = []; // any[]
const b = null ?? []; // never[] 

Demo here

Answer 1

“正确”的做法是为空数组字面量[] 推断never[]，因为数组字面量的类型是其元素类型的连接，而never 是连接一个空集。

然而，由于推断never[]通常不是用户在编写const a = []时想要的，所以这个特殊情况收到了very special treatment in the compiler，现在它首先隐式推断any[]，然后根据后续的控制流程。

它背后似乎没有任何更深层次的含义：它只是在大多数情况下被证明是最有用的。