Sind Union-Typen nicht erzwungen?

Question

Sollte das nicht scheitern?

class Animal { } 
class Person { } 

type MyUnion = Number | Person; 

var list: Array<MyUnion> = [ "aaa", 2, new Animal() ]; // Shouldn't this fail? 

var x: MyUnion = "jjj"; // Shouldn't this fail? 

Gibt es eine Möglichkeit, die Typprüfung in diesem Fall zu erzwingen?

Answer 1

TypeScript verarbeitet Typkompatibilität basierend auf structural subtyping.

Strukturelle Typisierung ist eine Art und Weise Arten beziehen sich nur auf ihre Mitglieder

Insbesondere für Klassen:

Wenn zwei Objekte einer Klasse-Typ zu vergleichen, nur Mitglieder der Instanz werden verglichen. Statische Member und Konstruktoren wirken sich nicht auf die Kompatibilität aus.

Mehr Infos unter https://www.typescriptlang.org/docs/handbook/type-compatibility.html#classes

Answer 2

Es wird fehlschlagen, wenn Animal oder Person etwas definieren:

class Animal { name: string; } 
class Person { age: Number; } 

type MyUnion = Number | Person; 

var list: Array<MyUnion> = [ "aaa", 2, new Animal() ]; // Fails now 

var x: MyUnion = "jjj"; // Fails now 

Da Sie nichts in Animal oder Person definiert haben, eine Zeichenfolge (oder irgendetwas, tatsächlich), erfüllt der Vertrag Sie fragen zum.