TypeScript结构化类型系统的基本规则是，如果x要兼容y，那么y至少具有与x相同的属性。比如：
interface Named {
name: string
}
let x: Named
let y = { name: "zhangsan", age: 12 }
x = y; //OK
x 的每个参数在 y 中都能找到对应的参数，所以可以把y赋值给x。但如果反过来，y并没有兼容 x，因为 y的属性比 x多了一个。
函数类型的兼容性
x是否能赋值给y，首先要看它们的参数列表。x的每个参数如果能在y里找到对应类型的参数，就可以赋值。 注意参数的名字相同与否无所谓，只看它们的类型。
let x = (a: string) => a;
let y = (a: string, b: number) => a;
x = y; //Error
y = x; //OK
如果函数中出现了可选参数，如果你在tsconfig.json 默认配置下兼容性是没问题的，但是当我们设置了strictNullChecks为true：
let x = (a?: string) => a;
let y = (a: string, b: number) => a;
x = y; //Error
y = x; //Error
image.png
因为可选类型的参数有可能是
undefined，在这种情况下不能兼容。
枚举
枚举类型与数字类型兼容，并且数字类型与枚举类型兼容。不同枚举类型之间是不兼容的：
enum Color1 {
Red,
Green,
Blue
}
enum Color2{
Black,
White
}
let num: number = Color1.Red;//OK
let enum1: Color1 = 10;//OK
类
比较两个类类型的对象时，只有实例的成员会被比较。 静态成员和构造函数不在比较的范围内：
class Animal{
feet: number;
constructor(name: string, numFeet: number) {
this.feet = numFeet;
}
}
class Size {
feet: number;
constructor(meters: number) {
this.feet = meters
}
}
let a: Animal = new Animal("name1",4);
let s: Size = new Size(8);
a = s; //OK
s = a; //OK
类的私有成员和受保护成员：
class Animal {
protected name: string
}
class Dog extends Animal{}
let animal: Animal ;
let dog: Dog;
animal = dog; //OK
dog = animal; //OK
class Person {
protected name:string
}
let p: Person;
animal = p;//Error 属性“name”受保护，但类型“Person”并不是从“Animal”派生的类
