Warum können „void“ und „{}“ nicht als „never type“ in TypeScript abgeleitet werden?

Question

Ich erhalte unterschiedliche Ergebnisse, wenn ich den void-Typ von TypeScript mit Kreuztypisierung mit anderen Typen verwende. typeA=void&{}//A ist void&{}typeB=void&'1'//B ist nevertypeC=void&1//C ist nevertypeD=void&string//D ist nevertypeE=void&String//E ist void&Stringt

P粉285587590 · Answer

{} 和 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 没有存在的理由。如果你认为你需要它，我会问你为什么需要它，并尝试重构代码以不需要它。

Warum können „void“ und „{}“ nicht als „never type“ in TypeScript abgeleitet werden?

Antworte allen(1)Ich werde antworten