协变、逆变是在继承、重载、高阶类型构造中，调整（变量的）继承体系类型信息时，对应的映射能否保持同构和满足编译器条件的问题。

本体：基类、原始函数，由基类构造的高阶类型；

映射：子类、调整参量和返回值类型的变体（重载）函数，由子类构造的高阶类型。