C++中vector作函数参数时如何正确实现多态调用

你始终调用到基类myfunc的核心原因是触发了对象切片（Object Slicing）：
当前代码中vector<A>存储的是值类型的A实例，不管你传入的是B还是C类对象，存入容器时都会把子类独有的成员、虚表关联的类型信息全部截断，只保留基类A的部分，容器内元素的实际动态类型会变成纯A类型，根本无法触发多态要求的动态绑定。
另外还有一个高频踩坑点：如果子类重写虚函数时签名和基类不完全匹配（比如多了const修饰、参数类型/个数不一致），会变成子类独立的新函数（函数隐藏）而非虚函数重写，同样会导致多态失效。

C++的动态多态只能通过基类指针或基类引用触发，你需要把存储多态对象的容器元素类型从值类型A改成基类指针（推荐用智能指针自动管理内存，避免泄漏），同时给基类加上虚析构函数，保证子类资源能被正确释放。

修正后的可运行示例：

#include <vector>
#include <memory>

using namespace std;

class A{
public:
    // 基类定义了虚函数就必须加虚析构，否则通过基类指针销毁子类对象属于未定义行为
    virtual ~A() = default;
    // 虚函数签名保持业务逻辑即可，如果入参是存储多态对象的容器，对应改成指针/智能指针容器类型
    virtual void myfunc(vector<shared_ptr<A>> *a){
        // 基类默认逻辑
    }
};

class B : public A {
public:
    // 重写虚函数统一加override关键字，编译器会自动校验签名是否匹配，避免重写失效
    void myfunc(vector<shared_ptr<A>> *a) override {
        // B类自定义实现
    }
};

class C : public A {
public:
    void myfunc(vector<shared_ptr<A>> *a) override {
        // C类自定义实现
    }
};

class D {
public:
    // 容器元素改为基类智能指针，从根源避免对象切片
    void dosomething(vector<shared_ptr<A>> *c){
        // 遍历容器，通过基类指针调用虚函数，自动触发动态绑定
        for(auto& obj_ptr : *c){
            // 会根据obj_ptr实际指向的对象类型（A/B/C），自动匹配对应类的myfunc实现
            obj_ptr->myfunc(c);
        }
    }
};

如果你不想用智能指针，也可以用原生指针vector<A*>作为容器元素类型，但必须手动管理对象的new和delete，否则会出现内存泄漏。

• 绝对不要用值类型的基类容器存储子类对象，必然发生对象切片，无法触发多态
• 所有虚函数重写都加override关键字，把签名匹配的检查交给编译器，减少无意义排查
• 带虚函数的基类必须定义虚析构函数，否则会出现资源泄漏、程序崩溃等未定义行为
• 只有通过基类指针/引用调用虚函数时才会走动态绑定，值调用是静态绑定，编译期就确定了调用版本，不会动态匹配子类实现

内容的提问来源于stack exchange，提问作者sidiki camara