如何让C++中基类函数返回子类定义的返回值？

阿华AIGC实验室

2026-5-15

解决C++基类调用子类成员函数的多态问题

你遇到的问题本质是静态绑定 vs 动态绑定的矛盾——现在你的基类vec()函数没有声明为虚函数，所以当用基类类型的指针/引用指向子类实例时，调用vec()只会触发静态绑定，也就是直接调用基类的空实现，而非实际子类的版本，这就导致你拿到的是空的vector，自然会出现“打印不存在元素”的错误。

下面是具体的解决步骤和代码示例：

1. 将基类的`vec()`声明为纯虚函数

既然基类的vec()不需要自己生成值，直接把它声明为纯虚函数，这样基类就变成抽象类（无法直接实例化），同时强制所有子类必须实现这个函数，完美匹配你的需求。另外一定要给基类加上虚析构函数，避免后续用基类指针管理子类对象时出现内存泄漏。

修改后的基类代码：

#include <vector>
using namespace std;

class superClass{
public:
    // 纯虚函数：=0表示无默认实现，子类必须重写
    virtual vector<int> vec() = 0;
    // 虚析构函数：确保delete基类指针时能正确调用子类析构逻辑
    virtual ~superClass() = default;
};

2. 子类重写虚函数

在子类中实现vec()函数，建议使用C++11引入的override关键字，这样编译器会帮你检查函数签名是否和基类的虚函数完全匹配，避免因拼写错误或参数不一致导致的“重写失败”。

子类代码示例：

class subClass1:public superClass{
public:
    // override标记明确这是重写基类的虚函数
    vector<int> vec() override {
        // 返回subClass1需要的vector内容
        return {1, 2, 3, 4};
    }
};

class subClass2:public superClass{
public:
    vector<int> vec() override {
        // 返回subClass2需要的vector内容
        return {5, 6, 7};
    }
};

3. 正确调用示例

现在你可以用基类指针或引用指向子类实例，调用vec()时会自动触发动态绑定，调用对应子类的实现：

#include <iostream>

int main() {
    // 用基类指针指向子类对象
    superClass* obj1 = new subClass1();
    superClass* obj2 = new subClass2();

    // 调用vec()会自动匹配实际子类的实现
    vector<int> v1 = obj1->vec();
    cout << "subClass1的vec结果：";
    for (int num : v1) {
        cout << num << " ";
    }
    cout << endl; // 输出：1 2 3 4

    vector<int> v2 = obj2->vec();
    cout << "subClass2的vec结果：";
    for (int num : v2) {
        cout << num << " ";
    }
    cout << endl; // 输出：5 6 7

    // 释放内存
    delete obj1;
    delete obj2;

    // 更推荐用智能指针（C++11+），避免手动管理内存
    unique_ptr<superClass> obj3 = make_unique<subClass1>();
    vector<int> v3 = obj3->vec();
    // ...同样可以正确获取子类的vector

    return 0;
}