是否可以对联合类型进行更严格的类型检查？

Question

按照specification section 3.4，这并不编译：

let s: string | number; 
s = false; // not a string or a number 

所以，从逻辑上，给出类A，B和C，我也希望这不是编译，但它的作用：

let a: A | B; 
a = new C(); 
a = "hi"; 
a = {}; // a can be anything! 

有没有一些解决方法可以在这里获得更严格的类型检查？此外，这是一个错误或设计？如果是通过设计，我真的不明白这个设计选择。

Answer 1

你没有给定义为A，B，或C，但我可以推断他们是什么：

class A {} 
class B {} 
class C {} 
let a: A | B; 
a = new C(); 
a = "hi"; 
a = {}; // a can be anything! 

打字稿使用结构类型系统（read the FAQ），这些空类是可以互换的。
来自FAQ：

没有成员的类型可以被任何类型替换。 一般来说，你不应该发现自己声明一个没有属性的接口。

但是，如果将成员添加到您的课，就像你在现实生活中，你会收到错误消息：

class A { a: number } 
class B { b: string } 
class C { c: boolean } 
let a: A | B; 
a = new C(); // error 
a = "hi"; // error 
a = {}; // error