C++继承体系中Evaluator子类重载val方法匹配失效问题求助

问题根源 #

你的代码存在两个核心问题：

1. 对象切片：Evaluator evaluator = EvaluatorZombie();将子类对象直接赋值给父类实例，导致子类特有的方法被丢弃，只能调用父类的成员函数。
2. 静态重载解析：即使没有切片，通过父类指针/引用调用val(Item&)时，编译器会根据参数的静态类型（Item&）匹配父类方法，不会自动动态分发到子类中针对ItemPickaxe&的重载版本。

解决方案 #

我们需要做最小化的修改，同时满足你的需求：

1. 给父类Evaluator的val方法添加virtual关键字，支持动态分发（这是实现子类方法调用的必要前提，属于最小侵入式修改）；
2. 在子类EvaluatorZombie中重写val(Item&)，通过dynamic_cast判断Item的实际类型，分发到对应的重载方法；
3. 使用引用或指针持有子类实例，避免对象切片。

修改后的完整代码 #

#include <iostream>
#include <typeinfo>

class Item {
public:
    virtual void use() = 0;
};
class ItemSword : public Item {
public:
    void use() override {}
};
class ItemPickaxe : public Item {
public:
    void use() override {}
};

class Evaluator {
public:
    // 仅修改：添加virtual关键字，支持动态分发
    virtual void val(Item& item) {
        std::cout << "get_val default, item type: " << typeid(item).name() << std::endl;
    }
};

class EvaluatorZombie : public Evaluator {
public:
    // 引入父类的val方法，避免重载隐藏
    using Evaluator::val;

    // 针对ItemPickaxe的专属重载
    void val(ItemPickaxe& item) {
        std::cout << "get_val zombie, item type: " << typeid(item).name() << std::endl;
    }

    // 重写父类的val方法，实现动态分发
    void val(Item& item) override {
        // 尝试向下转型到具体Item子类，匹配对应重载
        if (auto* pickaxe = dynamic_cast<ItemPickaxe*>(&item)) {
            val(*pickaxe);
        } else {
            // 无匹配时调用父类默认实现
            Evaluator::val(item);
        }
    }
};

int main() {
    // 使用引用持有子类实例，避免对象切片
    EvaluatorZombie zombie_eval;
    Evaluator& evaluator = zombie_eval;

    ItemSword item1;
    evaluator.val(item1);   // 输出：get_val default, item type: 9ItemSword

    ItemPickaxe item2;
    evaluator.val(item2);   // 输出：get_val zombie, item type: 11ItemPickaxe
}

关键说明 #

• 避免切片：使用Evaluator&（或Evaluator*）持有子类实例，而非直接赋值，保留子类的完整信息。
• 重载隐藏处理：using Evaluator::val确保父类的val(Item&)不会被子类的重载方法隐藏。
• 动态分发逻辑：通过dynamic_cast判断Item的实际类型，自动匹配子类中对应的重载方法，无匹配时回退到父类默认实现。
• 扩展性：后续需要支持其他Item子类时，只需在EvaluatorZombie中添加对应的val重载，并在val(Item&)中增加对应的dynamic_cast判断即可。

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