Typescript里的类型兼容性是基于结构子类型的。
结构类型是一种只使用其成员来描述类型的方式
规则：如果x要兼容y，那么y至少具有与x相同的属性（x是y的子集）
interface Named {
name: string;
}let x: Named;let y = { name: 'Alice', location: 'Seattle' };
x = y;函数//比较两个函数let x = (a: number) => 0;let y = (b: number, s: string) => 0; y = x; // OKx = y; // Error枚举
枚举类型与数字类型兼容，并且数字类型与枚举类型兼容。
不同枚举类型之间是不兼容的
enum Status { Ready, Waiting };enum Color { Red, Blue, Green };
let status = Status.Ready;
status = Color.Green; //error类比较两个类类型的对象时，只有实例的成员会被比较。 静态成员和构造函数不在比较的范围内
class Animal {
feet: number; constructor(name: string, numFeet: number) { }
}class Size {
feet: number; constructor(numFeet: number) { }
}let a: Animal;let s: Size;
a = s; //OKs = a; //OK类的私有成员私有成员会影响兼容性判断。 当类的实例用来检查兼容时，如果目标类型包含一个私有成员，那么源类型必须包含来自同一个类的这个私有成员。 这允许子类赋值给父类，但是不能赋值给其它有同样类型的类。
泛型对于没指定泛型类型的泛型参数时，会把所有泛型参数当成any比较
interface NotEmpty{ data: T; } let x: NotEmpty ; let y: NotEmpty ; x = y; // error, x and y are not compatible
作者：大富_大贵
链接：https://www.jianshu.com/p/1112a7de0491
