C++继承含内部抽象类的抽象类：重写方法与添加构造函数

首先明确：C++里基类的内部类不属于可重写的虚成员，没法直接“重写”基类的内部类。你需要在派生类中定义继承自基类内部抽象类的新内部类，同时通过基类提供的虚接口让派生类可以返回自己的内部类实例，以此实现你的需求。

以下是符合要求的模板类完整实现：

#include <memory>

// 带内部抽象类的模板抽象基类
template<typename T>
class A {
public:
    // 基类纯虚方法，需派生类重写
    virtual void SomeMethod_A() = 0;

    // 内部抽象类
    class B {
    public:
        virtual void SomeMethod_B() = 0;
        virtual ~B() = default; // 虚析构确保正确销毁子类对象
    };

    // 虚接口：让派生类返回具体的B子类实例
    virtual std::unique_ptr<B> CreateBInstance() = 0;

    virtual ~A() = default;
};

// 模板派生类
template<typename T>
class C : public A<T> {
public:
    // 重写基类A的纯虚方法
    void SomeMethod_A() override {
        // 自定义业务逻辑实现
    }

    // 继承自A::B的内部类，添加构造函数并实现纯虚方法
    class D : public A<T>::B {
    private:
        T m_data; // 示例成员变量
    public:
        // 自定义构造函数
        explicit D(const T& init_data) : m_data(init_data) {}

        // 重写A::B的纯虚方法
        void SomeMethod_B() override {
            // 自定义业务逻辑，可使用成员变量m_data
        }
    };

    // 重写基类的虚接口，返回C::D的实例
    std::unique_ptr<typename A<T>::B> CreateBInstance() override {
        // 根据需求传递构造参数，此处示例传入默认构造的T对象
        return std::make_unique<D>(T{});
    }
};

关键说明 #

• 内部类的继承实现：C::D直接继承A<T>::B，既实现了SomeMethod_B纯虚方法，又添加了自定义构造函数，这是实现内部类功能的正确方式。
• 虚接口传递实例：基类A中定义CreateBInstance纯虚函数，让C返回自己的内部类实例，外部代码可以通过A的基类接口获取到C::D的对象，实现多态调用。
• 模板与生命周期处理：所有类都添加了模板参数<T>，同时基类A和A::B都定义了虚析构函数，避免销毁派生类对象时出现内存泄漏。

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