类型兼容性
typscript中的类型兼容是基于结构子类型的（子类型兼容和赋值兼容），即只使用其成员来判定是兼容，这是根据JavaScript的特性设计的，因为js中有很多匿名对象，只要y的所有成员都能在对象x中能找到，那么y=x就能成立，在强类型语言如Java中就不行。
比较对象兼容
比如在一个interface和一个class，只要interface的变量p的成员都能在class或者一个匿名对象中能找到，那么就能把这个class实例或匿名对象赋值给p,如果是对象字面量会触发严格检查操作，需要将对象字面量赋值给一个变量y，再赋值给变量p
interface Named {
name: string;
}
class Person {
name: string;
}
let p:Named
p = new Person()
p = {
name:'xxxx'}
// 此时会报错 age 不兼容 Named，因为对象字面量会触发严格类型检查，可以通过 as 断言或者 中间变量y
p = {
name:'xxxx',age:10}
函数参数兼容
函数参数也是一样，实参要兼容形参类型
两个函数兼容性
参数列表数量
判断函数x是否能赋值给函数y，一是从参数数量和参数类型上，函数x参数数量少的，且对应参数类型兼容的能赋值给函数 y
函数返回值类型,协变
一是从函数的返回值类型上，函数 x 的返回值类型必须是函数 y 的返回值类型的子类，否则报错
函数参数双向协变（老版本ts）
函数的参数既能赋值父类也能赋值子类
函数参数逆变
当函数 x 的参数是 函数 y 的参数的时，函数 x 也能赋值给 y ，因为函数 y 将来调用时传入的时子类如 Dog 类，那么如果此时用函数 x 替换 函数 y ，相当于函数 x 接收了 Dog 类，而函数 x 的参数类型时 Animal 父类，那么也是兼容的。
interface Animal{
name:string
}
interface Dog extends Animal{
bark:()=>void
}
let x = (a:Animal)=>{
}
let y = (d:Dog)=>{
}
y = x // 函数参数逆变
x = y // 报错
// 因为存在这种情况
function test(fn:(d:Dog)=>void){
const dog = {
name:'dog',bark(){
}}
fn(dog) // 当传入的fn是 (a:Animal)=>void 类型时，Animal类也能接收Dog子类，所以逆变的意义就在于此
}
test(x)
枚举与数字之间的兼容
enum Status {
Ready, Waiting };
enum Color {
Red, Blue, Green };
let s = Status.Ready;
s = 1 // enum 数字类型兼容
s = Color.Green; // Error
类
类和对象字面和接口差不多，主要区别在于类具有静态部分和实例部分，两个类实例对象之间能否赋值不在于其类是否一直，这与Java等语言不同，A 类和 B 类的实例成员只要一致，那么就能相互赋值。但是类的私有成员和受保护成员会影响兼容性，如果目标类型包含一个私有成员，那么源类型必须包含来自同一个类的这个私有成员。 同样地，这条规则也适用于包含受保护成员实例的类型检查。 这允许子类赋值给父类，但是不能赋值给其它有同样类型的类。
class Animal {
feet: number=0;
constructor(name: string, numFeet: number) {
}
}
class Size {
feet: number=0;
constructor(numFeet: number) {
}
}
let a: Animal = new Animal('',0)
let s: Size = new Size(0);
a = s; // OK
s = a; // OK
泛型
泛型其实对于兼容性的影响在于影响其结果类型，然后在结果类型再去比较类型兼容性
如下，经过泛型推导后的类型是{}，那么 x ， y 的类型比较就是最终的类型比较
interface Empty<T> {
}
let x: Empty<number>;
let y: Empty<string>;
x = y; // OK, because y matches structure of x
