Typescript中的逆变与协变

逆变(contravariant): 逆转了子类型序关系 协变(covariant): 保持了子类型序关系 双向协变(bivariant): 可以相互分配 不变(invariant): 无法相互分配