全网整合营销服务商

电脑端+手机端+微信端=数据同步管理

免费咨询热线:400-708-3566

C++中的协变与逆变是什么?C++函数指针与返回类型详解【类型系统】

C++仅在虚函数返回类型(指针/引用)中支持协变,禁止逆变;函数指针和模板参数均严格不变,需手动包装实现语义适配。

协变(covariance)和逆变(contravariance)在 C++ 中**不直接作为语言关键字存在**,而是描述类型转换关系的术语,主要体现在继承体系中指针/引用的转换行为、模板参数的类型适配,以及 虚函数重写时返回类型和异常规范的放宽规则。C++ 对协变支持有限且明确,对逆变基本不支持(尤其在函数参数上)。函数指针的类型匹配则严格遵循“形参类型精确一致 + 返回类型精确一致”,没有自动协变或逆变转换。

协变:只允许出现在返回类型中(且仅限指针/引用)

当派生类重写基类虚函数时,如果返回的是类类型的指针或引用,C++ 允许返回更“具体”的类型——只要它是原返回类型的派生类。这叫返回类型协变

  • 必须是虚函数重写(override),且原函数返回的是基类的指针或引用(如 Base*Base&
  • 派生类函数可返回派生类的指针或引用(如 Derived*Derived&),编译器认可这种转换安全
  • 不能用于值类型(如 BaseDerived)、非指针/引用类型,也不能用于参数类型

例子:

class Base { virtual Base* clone() { return new Base; } };
class Derived : public Base {
  Derived* clone() override { return new Derived; } // ✅ 合法:Base* → Derived* 是协变
};

逆变:C++ 基本不支持,尤其禁止在函数参数中使用

逆变指“更通用的类型可替代更具体的类型”,典型如函数参数:若某处期待 Derived*,能否传入 Base*?答案是否定的——C++ 函数参数是不变的(invariant)

  • 派生类重写虚函数时,参数类型必须与基类完全一致;哪怕你把参数从 Derived* 改成 Base*,也不算重写,而是重载或编译错误
  • 函数指针、std::function、lambda 捕获等场景,参数类型不进行向上转型(即无逆变)
  • 这是为了保证类型安全:父类接口承诺“能处理任意 Derived*”,若子类只接受 Base*,就可能漏掉 Derived 特有行为,破坏 LSP(里氏替换原则)

函数指针的类型系统:严格不变(invariant)

C++ 中函数指针是完全类型化的:返回类型、每个参数的类型、const/volatile 限定符、调用约定(如 __cdecl)全部相同,才算同一类型。

  • int(*)(double)int(*)(float) 是不同类型,不可互转
  • void(*)()void(*)() const(成员函数)不兼容
  • 即使 Derived* 可隐式转为 Base*void(*)(Derived*)不能赋给 void(*)(Base*) —— 参数位置不协变也不逆变
  • 返回类型同样严格:Base* (*)() 不能赋给 Derived* (*)(),除非是虚函数重写场景(此时靠协变规则特许)

模板与 std::function 中的“伪协变”需手动适配

std::function 无法直接绑定 void(Derived*) 类型的函数,但可通过 lambda 包装实现语义等价:

void handle_base(Base* b) { /* ... */ }
void handle_derived(Derived* d) { /* ... */ }

std::function f1 = handle_base; // ✅ 直接赋值
std::function f2 = [](Base* b) {
  if (auto d = dynamic_cast(b)) handle_derived(d);
}; // ✅ 手动桥接,非语言级协变

这不是编译器自动做的协变,而是程序员用运行时检查+包装实现的逻辑适配。

基本上就这些。C++ 的类型系统偏保守:只在虚函数返回类型上开放协变这一处“安全缺口”,其余地方坚持不变性,以确保静态可验证的安全。理解这点,就能避开很多“为什么不能转”的困惑。


# c++  # 编译错误  # lsp  # 为什么  # Float  # if  # 成员函数  # 父类  # 子类  # const  # auto  # int  # double  # void  # volatile  # Lambda  # 指针  # 继承  # 虚函数  # 接口  # class  # 值类型  # 引用类型  # public  # 形参  # 类型转换  # function  # 重写  # 逆变  # 派生类  # 的是  # 或引用  # 不支持  # 这是  # 这一  # 也不  # 就能 


相关文章: 大学网站设计制作软件有哪些,如何将网站制作成自己app?  手机网站制作平台,手机靓号代理商怎么制作属于自己的手机靓号网站?  音乐网站服务器如何优化API响应速度?  建站主机空间推荐 高性价比配置与快速部署方案解析  如何在万网主机上快速搭建网站?  手机怎么制作网站教程步骤,手机怎么做自己的网页链接?  黑客如何通过漏洞一步步攻陷网站服务器?  免费制作海报的网站,哪位做平面的朋友告诉我用什么软件做海报比较好?ps还是cd还是ai这几个软件我都会些我是做网页的?  logo在线制作免费网站在线制作好吗,DW网页制作时,如何在网页标题前加上logo?  网站制作多少钱一个,建一个论坛网站大约需要多少钱?  安徽网站建设与外贸建站服务专业定制方案  php json中文编码为null的解决办法  c++怎么编写动态链接库dll_c++ __declspec(dllexport)导出与调用【方法】  网站制作报价单模板图片,小松挖机官方网站报价?  魔方云NAT建站如何实现端口转发?  建站主机默认首页配置指南:核心功能与访问路径优化  如何在IIS管理器中快速创建并配置网站?  南阳网站制作公司推荐,小学电子版试卷去哪里找资源好?  正规网站制作公司有哪些,目前国内哪家网页网站制作设计公司比较专业靠谱?口碑好?  学校免费自助建站系统:智能生成+拖拽设计+多端适配  建站上市公司网站建设方案与SEO优化服务定制指南  高端企业智能建站程序:SEO优化与响应式模板定制开发  网站制作和推广的区别,想自己建立一个网站做推广,有什么快捷方法马上做好一个网站?  简单实现Android文件上传  已有域名如何快速搭建专属网站?  网站制作软件有哪些,制图软件有哪些?  七夕网站制作视频,七夕大促活动怎么报名?  定制建站流程解析:需求评估与SEO优化功能开发指南  C++如何编写函数模板?(泛型编程入门)  如何选择香港主机高效搭建外贸独立站?  独立制作一个网站多少钱,建立网站需要花多少钱?  C#如何在一个XML文件中查找并替换文本内容  如何高效完成独享虚拟主机建站?  建站之星上传入口如何快速找到?  最好的网站制作公司,网购哪个网站口碑最好,推荐几个?谢谢?  图片制作网站免费软件,有没有免费的网站或软件可以将图片批量转为A4大小的pdf?  盘锦网站制作公司,盘锦大洼有多少5G网站?  网站制作外包价格怎么算,招聘网站上写的“外包”是什么意思?  建站主机选购指南与交易推荐:核心配置解析  C++中引用和指针有什么区别?(代码说明)  网站制作费用多少钱,一个网站的运营,需要哪些费用?  阿里云网站搭建费用解析:服务器价格与建站成本优化指南  ,网页ppt怎么弄成自己的ppt?  公司网站制作价格怎么算,公司办个官网需要多少钱?  百度网页制作网站有哪些,谁能告诉我百度网站是怎么联系?  如何快速上传建站程序避免常见错误?  如何通过FTP服务器快速搭建网站?  在线ppt制作网站有哪些软件,如何把网页的内容做成ppt?  如何快速搭建个人网站并优化SEO?  网站规划与制作是什么,电子商务网站系统规划的内容及步骤是什么? 

您的项目需求

*请认真填写需求信息,我们会在24小时内与您取得联系。