Разве это не должно потерпеть неудачу?
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?
Есть ли способ принудительно проверить тип в этом случае?
TypeScript обрабатывает совместимость типов на основе structural subtyping.
Структурная типизация — это способ связывания типов, основанный исключительно на их членах.
В частности, для занятий:
При сравнении двух объектов типа класса сравниваются только члены экземпляра. Статические члены и конструкторы не влияют на совместимость.
Дополнительные сведения см. на странице https://www.typescriptlang.org/docs/handbook/type-compatibility.html#classes
structural subtyping. В Википедии есть хорошее объяснение утиной печати и машинописного текста en.wikipedia.org/wiki/Duck_typing#In_Typescript< /а>
- person shusson; 05.01.2017
Это не удастся, если Animal или Person что-нибудь определят:
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
Поскольку вы ничего не определили в Animal или Person, строка (или вообще что-то еще) выполняет контракт, о котором вы просите.
