为什么在TypeScript中，void和{}无法被推断为never类型？

Question

当我在使用TypeScript的void类型与其他类型使用交叉类型时，我得到了不同的结果。

type A = void & {} // A 是 void & {}
type B = void & '1' // B 是 never
type C = void & 1 // C 是 never
type D = void & string // D 是 never
type E = void & String // E 是 void & String

type A = void & {} 
type E = void & String

它们也应该是never类型，对吗？

Answer 1

{} 和 String 都是对象类型，而 string 和 '1' 都是原始类型。你可以将 void 与对象类型相交，因为对象类型通过添加属性来相交：

type A = { foo: number } & { bar: string } // { foo: number, bar: string }

相反，原始类型通过减少可能的值集合来相交：

type B = string & 'abc' // 'abc'

而通过将原始类型与对象类型相交，你可以为原始类型添加新属性：

type C = string & { foo: number }
declare const c: C
c.foo // number

但是一个原始类型永远不能成为另一个原始类型。因此，相交两个不同的原始类型将导致 never

type D = string & number // never
type E = 1 & 2 // never

最后，void 是一个原始类型。

---

所以，这意味着 void & { foo: number } 意味着原始类型 void 也将具有属性 foo。

然而，void & string 将产生 never，因为它们是两种不同的原始类型。

但是，void & String 是 void 加上 String 的属性，因为 String 是一个对象类型（通过 new String() 创建）。

---

然而，这一切都没有什么意义。你不能给 void 分配除了 undefined 之外的任何东西，而 undefined 不能有属性。所以我认为在你的代码库中 void & Type 没有存在的理由。如果你认为你需要它，我会问你为什么需要它，并尝试重构代码以不需要它。