C++中如何让类Q持有未知具体类型的派生类对象？

嘿，这事儿其实就是C++多态机制的拿手好戏啊！你想让类Q持有B或者C的对象，但又不想提前知道具体是哪个子类，核心思路就是靠基类A的多态特性——毕竟B和C都是A的派生类，而且A是带纯虚函数的抽象基类，刚好能用来做「通用接口」。

具体有两种常用的实现方式，按需选择就行：

1. 使用智能指针（推荐，自动管理内存） #

如果希望类Q拥有对象的所有权（也就是负责对象的创建和销毁），那首选std::unique_ptr<A>或者std::shared_ptr<A>，完全不用手动操心内存泄漏的问题。

在Q里定义一个智能指针类型的成员变量，然后通过构造函数传入子类对象的智能指针就行——因为子类的智能指针可以隐式转换为基类的智能指针。

2. 使用普通指针或引用 #

如果Q不需要拥有对象所有权，只是临时使用某个已存在的对象：

• 用普通指针A*：注意要保证指向的对象生命周期比Q长，避免出现悬空指针。
• 用引用A&：引用必须在构造时绑定对象，且不能重新绑定，同样要注意对象的生命周期问题。

完整代码示例 #

#include <memory>

// 你的基类与子类定义
class A{ 
public: 
    virtual void method1() = 0; 
    virtual ~A() = default; 
}; 

class B : public A{ 
public : 
    void method1(){ /* 这里写doSomething的逻辑 */ } 
}; 

class C : public A{ 
public : 
    void method1(){ /* 这里写doSomethingElse的逻辑 */ } 
}; 

// 类Q的实现
class Q {
private:
    // 用unique_ptr持有对象，独占所有权
    std::unique_ptr<A> m_obj;
public:
    // 模板构造函数，方便接受任意A的子类unique_ptr
    template<typename T>
    Q(std::unique_ptr<T> ptr) : m_obj(std::move(ptr)) {}

    // 调用子类的method1，自动触发多态
    void invokeMethod() {
        m_obj->method1();
    }
};

// 使用示例
int main() {
    // 持有B类型对象
    Q q_with_b(std::make_unique<B>());
    q_with_b.invokeMethod(); // 调用B::method1

    // 持有C类型对象
    Q q_with_c(std::make_unique<C>());
    q_with_c.invokeMethod(); // 调用C::method1

    return 0;
}

关键说明 #

• 当你通过基类指针/引用调用虚函数method1时，C++会自动根据实际指向的子类对象，调用对应的重写版本——这就是多态的核心，也是Q不需要知道具体子类类型的原因。
• 之所以要用智能指针，是因为如果用普通裸指针，你得手动管理delete，很容易出错；而unique_ptr和shared_ptr会自动在对象不再被使用时释放内存。

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