Typescript怎么理解协变和逆变

　　首先协变（Covariance）和逆变（contravariance），这俩概念不是TS特有的，很多有类型系统的语言都有一样的概念，比如C，JAVA等。要理解这两个概念，让我们先建立几个类，然后再详细说明，如下：
　　代码很直观，建立了3个类，动物，狗，黄狗，它们之间的继承关系是，动物（Animal）类是基类，狗（Dog）继承自动物类，黄狗（YellowDog）继承自狗类。AnimalDogYellowDog它们每个类都有各自特有的属性。
　　接下来，我们来为每个类创建一个实例对象：
　　协变（Covariance）
　　根据微软的解释：协变是使您能够使用比最初指定更多的派生类型。这是什么意思？其实就是指，派生类型的值可以安全的赋给基类型（继承自的类型），而反过来就不行。
　　比如本例中，黄狗的实例，就可以赋值给类型为狗或动物的变量，狗的实例可以赋值给动物类型的变量，但反过来，狗的实例，就不可以赋值给黄狗类型的变量，如下：
　　我觉得这也可以理解，因为这样的赋值是安全的。属性多的实例，赋值给属性少的类型，不会丢失数据。黄狗类包含了动物类所有的成员，所以当黄狗对象赋值给动物类型时，动物类型的每个字段属性都可以被正常赋值，如果反过来，用动物实例对象给黄狗类型赋值，那动物对象中就不存在黄狗对象所需要的字段，视为不安全赋值，所以编译报错。
　　逆变（contravariance）
　　也是根据微软的解释：跟协变正好相反，逆变使您能够使用比最初指定的更通用（较少派生）的类型。
　　这通常发生在函数类型的参数中，看下面的代码：
　　我们定义了三个函数类型，然后为每个函数类型定义了一个函数的实例。
　　接下来，我们定义了一个函数，它的参数是一个FuncDog的函数类型。让我们看看把每个函数传进来会有什么结果，
　　现在反而是funYellowDog参数报错了，因为它是继承自Dog，跟协变相反，所以它会报错。那要怎么理解这个呢？为啥会这样，我是这么理解的，
　　让我们改一下这个函数，让它做点事：
　　因为传入的函数参数终究还是要被调用的，按理它是需要一个狗的对象，所以我们实例化一个dog对象，然后调用func（dog），这时如果使用FuncAnimal类型的函数，没有问题，因为它需要的参数是Animal类型，所以dog可以赋值给它。正好又符合了协变。
　　但如果这里允许传入FuncYellowDog类型的函数，那当它调用的时候，dog就想当于要赋值给YellowDog类型的变量，这就又是不安全的赋值。跟协变里面的错误是一样的。所以就禁止这样做了。
　　总结
　　这里有点饶啊，最好大家可以自己上手试试，我觉得可以想明白的。感谢阅读，发现错误请指正。