协变与逆变 协变与逆变Covariance and contravariance是在计算机科学中描述具有父子型别关系的多个型别通过型别构造器构造出的多个复杂型别之间是否有父子型别关系的用语