文章浏览阅读4.7k次，点赞2次，收藏8次。在看C#的时候看到了协变与逆变，百度一下发现原来C++, java里早就有了协变与逆变.首先说明协变与逆变的含义：逆变与协变用来描述类型转换（type transformation）后的继承关系，其定义：如果A、B表示类型，f(⋅)表示类型转换，≤表示继承关系（比如，A≤B表示A是由B派生出来的子类）f(⋅)是逆变（contravariant）的，当A≤B时有f(B)≤f(A)成立；f(⋅..._c++ 协变 逆变