C++中的协变与逆变是什么_C++泛型编程与类型系统中的变体概念

协变保持类型转换方向，如D可转为B，引用和虚函数返回指针支持协变；逆变反转方向，C++函数参数不支持；模板默认不变，需手动处理类型转换。

在C++的泛型编程与类型系统中，协变（Covariance）和逆变（Contravariance）是描述类型转换关系如何影响复杂类型（如指针、引用、函数参数或模板）行为的概念。它们源自类型系统的“变体”（variance）理论，用于判断当一个类型T可以转换为U时，由T构造出的复杂类型（比如T*、std::function<void(T)>等）是否也能安全地转换为对应的U构造类型。

协变：保持方向的类型转换

如果某种构造方式在子类型关系下保持相同的方向，就称为协变。例如，假设类D公有继承自类B（即D*可以隐式转为B*），那么：

• D* 可以转换为 B* —— 这是C++内置支持的指针协变。
• 同样，D& 可以转换为 B& —— 引用也具有协变性。

再看容器或智能指针的情况：

虽然D → B是合法的，但unique_ptr不是默认协变的。不过我们可以通过自定义转换构造函数或使用支持协变设计的接口来实现这种语义。例如，某些工厂函数或接口设计会显式支持从派生类智能指针到基类智能指针的转换。

立即学习“C++免费学习笔记（深入）”；

逆变：反转方向的类型转换

如果类型转换方向被反转，则称为逆变。这在函数参数中较为典型。

考虑以下场景：

这里func接受的是基类指针，而目标函数指针期待的是派生类指针。实际上，这是不安全的——因为调用fp时传入D*，但func可能操作不属于D的B实例，所以C++不允许这样的赋值。

然而，在函数参数位置，如果我们把参数类型变得更“宽”（即更通用），反而更安全。因此，对于函数参数而言，理想情况下应支持逆变：若 D → B，则 void(*)(B*) 可赋给 void(*)(D*) 的变量（即更具体的参数类型能接受更通用的函数）。遗憾的是，C++函数指针不支持这种逆变，但在仿函数或std::function配合多态时，可通过包装逻辑模拟类似效果。

泛型模板中的不变性为主

C++的模板默认是不变的（invariant），意味着即使两个类型间存在继承关系，其模板实例也不能相互转换。

ExcelFormulaBot

在AI帮助下将文本指令转换为Excel函数公式

129

查看详情

例如：

尽管Derived*可转为Base*，但vector<Derived*>和vector<Base*>是完全不同的类型，没有继承或转换关系。这是为了保证类型安全，防止通过base_vec插入非Derived对象。

要实现类似协变行为，必须手动处理，比如遍历复制指针，或使用支持运行时多态的容器（如vector<unique_ptr<Base>>），并通过基类指针持有派生对象。

函数返回值的协变：C++的实际应用

最实用的协变例子出现在虚函数重写中。C++允许派生类虚函数的返回类型是基类对应函数返回类型的“更具体”版本，前提是返回的是指针或引用。

示例：

这里Dog::clone返回Dog*而非Animal*，这就是协变返回类型。它让接口更自然，避免强制转型，同时保持多态正确性。

注意：该特性仅适用于指针或引用返回类型，不能用于值类型。

基本上就这些。C++对协变和逆变的支持有限，主要集中在指针、引用和虚函数返回类型上。泛型编程中多数模板是不变的，需开发者手动管理类型转换逻辑。理解这些变体规则有助于写出类型安全又灵活的代码。

以上就是C++中的协变与逆变是什么_C++泛型编程与类型系统中的变体概念的详细内容，更多请关注php中文网其它相关文章！