多唯一类继承问题：Wrapped重载*运算符调用子类重写的dereference虚函数

这问题核心就是要利用C++的多态特性，同时避开对象切片的坑，确保调用*Wrapped实例时，能正确触发子类重写的dereference()方法。我给你整理了完整的实现思路和代码示例：

1. 正确定义基类与子类 #

首先基类It需要把dereference()声明为虚方法，同时建议加上虚析构函数（避免后续用基类指针管理子类对象时内存泄漏）；子类ExampleIt用override关键字明确重写该方法，避免拼写错误导致的意外：

#include <iostream>
#include <string>
#include <utility>
#include <memory>

// 基类It
class It {
public:
    // 虚析构函数，必加！
    virtual ~It() = default;
    // 声明为虚方法，允许子类重写
    virtual std::pair<int, std::string> dereference() const {
        return {0, "Base It"};
    }
};

// 子类ExampleIt，继承自It并重写方法
class ExampleIt : public It {
public:
    // 使用override明确重写，编译器会检查匹配性
    std::pair<int, std::string> dereference() const override {
        return {42, "ExampleIt Overridden"};
    }
};

2. 实现Wrapped类的关键：避免对象切片 #

Wrapped类不能直接持有It的值对象（否则子类对象赋值给基类时会被切片，丢失子类特有的方法和数据），必须用指针或引用来持有基类实例。这里推荐用std::unique_ptr<It>来管理内存，更安全：

class Wrapped {
private:
    // 持有基类指针，而非值对象
    std::unique_ptr<It> it_ptr;
public:
    // 构造函数接受基类指针（子类指针可以隐式转换为基类指针）
    explicit Wrapped(std::unique_ptr<It> ptr) : it_ptr(std::move(ptr)) {}

    // 重载operator*，调用虚方法dereference()
    std::pair<int, std::string> operator*() const {
        // 利用多态，自动调用子类重写的方法
        return it_ptr->dereference();
    }
};

3. 测试验证 #

在main函数中创建子类对象，传入Wrapped，调用*Wrapped就能看到子类的方法被执行：

int main() {
    // 创建子类实例，用基类指针管理
    auto example_it = std::make_unique<ExampleIt>();
    Wrapped wrapped(std::move(example_it));

    // 调用*wrapped，实际执行的是ExampleIt::dereference()
    auto result = *wrapped;
    std::cout << "Value: " << result.first << ", String: " << result.second << std::endl;
    // 输出：Value: 42, String: ExampleIt Overridden

    return 0;
}

核心要点总结 #

• 基类必须将目标方法声明为virtual，子类用override确保重写的正确性
• Wrapped类必须持有基类的指针/引用，绝对不能用值对象，否则会触发对象切片，导致多态失效
• 使用智能指针（比如std::unique_ptr）管理基类指针，能避免手动释放内存的麻烦，更安全

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