C++虚函数的返回类型什么时候可以不同-C++-PHP中文网

协变返回类型是虚函数重写中唯一允许返回类型不同的情况，要求基类返回base或base&，派生类返回公有继承自base的derived或derived&，且cv限定与引用类别必须一致。

c++虚函数的返回类型什么时候可以不同

虚函数返回类型不一致但合法的唯一情况：协变返回类型

只有当基类虚函数返回基类自身的指针或引用，而派生类重写版本返回派生类自身的指针或引用时，返回类型不同才被允许。这不是“例外”，而是标准明确支持的协变（covariant）行为，前提是两个类存在继承关系。

常见错误现象：error: return type of overriding function is not covariant with the return type of overridden function —— 这说明你试图返回的类型不满足协变条件。

基类虚函数必须返回 Base* 或 Base&（不能是 const Base* 以外的 cv 限定变体，且派生类返回类型需保持相同 cv 限定）
派生类重写函数必须返回 Derived* 或 Derived&，其中 Derived 公开继承自 Base
不能用于值类型（如 Base vs Derived）、智能指针、容器或任意无关类型
返回 std::unique_ptr<base> 和 std::unique_ptr<derived></derived> 不构成协变 —— 标准只认可原生指针/引用

为什么其他返回类型差异都会编译失败

虚函数重写要求签名严格一致（函数名、参数列表、const/volatile 限定），返回类型是签名的一部分 —— 协变是唯一放宽该规则的特例。编译器靠这个一致性来填充虚函数表（vtable），一旦返回类型不协变，就无法保证调用方栈帧布局和返回值读取方式兼容。

典型误用场景：

基类返回 int，派生类返回 double → 直接报错，不是重写，是重定义（隐藏）
基类返回 std::string，派生类返回 const char* → 不协变，也不匹配，编译拒绝
基类返回 Base*，派生类返回 const Derived* → cv 限定不一致，非法协变
用 override 标记但返回类型不协变 → 编译器立刻报错，帮你提前发现问题

默认实参和返回类型的关系容易被忽略

默认实参不影响重写判断，但它和返回类型一样，属于静态绑定部分 —— 调用时使用的是基类指针/引用的静态类型所声明的默认值，与实际对象无关。这和协变返回类型这种动态行为完全正交。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

例如：

struct Base {
    virtual Base* clone() const { return new Base(*this); }
};
struct Derived : Base {
    virtual Derived* clone() const override { return new Derived(*this); } // ✅ 协变
};

但如果在 Base::clone() 上加默认参数：virtual Base* clone(int flag = 0) const，而 Derived::clone() 写成 virtual Derived* clone(int flag = 1) const，那么通过 Base* 调用时仍会传入 0，且返回值会被视为 Base* 类型 —— 协变只管返回值类型转换，不管默认值来源。