Never在 TypeScript 中，never 本质就是一个空集。事实上，在另一个流行的 JavaScript 类型系统 Flow 中，作用完全一样的类型直接被命名为 empty。 由于集合中没有值，never 类型字面意义地永远不会（双关）有任何值，包括 any 类型的也不在 never 这个空集中。这就是为什么 never 有时也被称为 uninhabited 类型或 Bottom ...