如何在C++派生类中重写基类嵌套类的成员函数？

你的问题根源是对象切片（Object Slicing）：当你把DerivedNested对象以值的方式赋值给Base::Nested类型变量时，派生类特有的部分会被截断，只剩下基类子对象，因此调用funcNested()时只会执行基类版本。

核心解决方案：避免对象切片，使用指针/智能指针返回类型 #

要实现你的预期输出，必须修改funcBase()的返回类型，从值改为指针或引用（推荐用智能指针管理内存），同时利用C++的协变返回类型特性。

修改后的完整代码如下：

#include <iostream>
#include <memory>

class Base {
public:
    class Nested {
    public:
        virtual void funcNested() { std::cout << "funcNested()" << std::endl; }
        virtual ~Nested() = default; // 必须添加虚析构，确保派生类对象正确释放
    };

    virtual std::unique_ptr<Nested> funcBase() {
        std::cout << "funcBase()" << std::endl;
        return std::make_unique<Nested>();
    }
};

class Derived : public Base {
public:
    class DerivedNested : public Base::Nested {
    public:
        void funcNested() override { std::cout << "override funcNested()" << std::endl; }
    };

    // 利用协变返回类型，返回派生类嵌套类的智能指针
    std::unique_ptr<DerivedNested> funcBase() override {
        std::cout << "override funcBase()" << std::endl;
        return std::make_unique<DerivedNested>();
    }
};

int main() {
    Derived derived;
    std::unique_ptr<Base::Nested> nested = derived.funcBase();
    nested->funcNested(); // 动态绑定到DerivedNested的实现

    return 0;
}

关键细节说明 #

1. 虚析构函数：必须给Base::Nested添加虚析构函数，否则智能指针无法正确识别并调用DerivedNested的析构函数，会导致内存泄漏。
2. 协变返回类型：C++允许派生类重写基类成员函数时，返回基类返回类型的派生类指针/引用。这里Derived::funcBase()返回std::unique_ptr<DerivedNested>，而基类返回std::unique_ptr<Base::Nested>，完全符合重写规则。
3. 避免对象切片：通过指针持有对象，而非值类型，这样始终保留派生类对象的完整信息，调用虚函数时会触发动态绑定，执行重写后的funcNested()。

关于你最初的疑问 #

你想“无需创建新嵌套类就重写基类嵌套类的成员函数”是无法实现的——Base::Nested是基类的独立嵌套类，派生类无权直接修改或重写它的成员函数，必须通过继承它创建新的嵌套类，才能重写其中的虚函数。

运行修改后的代码，输出将符合你的预期：

override funcBase()
override funcNested()

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