模板函数中动态分派失效原因及异构vector相等性实现方案

动态分派失效的核心原因 #

你遇到的问题本质是虚函数重写的签名不匹配：

• 若基类Node的operator==声明为virtual bool operator==(const Node&) const;，但派生类NumberExprNode的operator==写成bool operator==(const NumberExprNode&) const;，这不是重写，而是重载了一个全新的成员函数。
• 当通过std::unique_ptr<Node>解引用得到Node&类型时，编译器会匹配基类的operator==(const Node&)签名，派生类的同名函数因参数类型不同，不会被纳入虚函数表的重写条目——哪怕调试看到vtable是NumberExprNode的，实际调用的还是基类的函数逻辑。

注意：在派生类中添加override关键字，编译器会直接报错提示签名不匹配，这是排查这类问题的有效手段。

步骤1：修正虚函数重写逻辑 #

确保基类和派生类的operator==签名完全一致，用override关键字强制校验重写有效性：

class Node {
public:
    virtual ~Node() = default;
    virtual bool operator==(const Node& other) const = 0;
};

class NumberExprNode : public Node {
private:
    int value;
public:
    NumberExprNode(int val) : value(val) {}
    
    // 严格匹配基类签名，override确保是重写而非重载
    bool operator==(const Node& other) const override {
        // 先检查类型是否匹配
        const auto* num_node = dynamic_cast<const NumberExprNode*>(&other);
        if (!num_node) return false;
        // 类型匹配后比较派生类专属成员
        return this->value == num_node->value;
    }
};

步骤2：实现vector<unique_ptr<Node>>的相等性判断 #

重载operator==或编写专用比较函数，核心逻辑如下：

• 先比较两个vector的大小，不等直接返回false
• 逐个元素校验：
  • 两个指针都为空，视为相等
  • 一个空一个非空，视为不等
  • 都非空时，调用对象的operator==（此时已实现正确动态分派）

示例代码：

bool operator==(const std::vector<std::unique_ptr<Node>>& lhs, const std::vector<std::unique_ptr<Node>>& rhs) {
    if (lhs.size() != rhs.size()) return false;
    for (size_t i = 0; i < lhs.size(); ++i) {
        const auto& l_ptr = lhs[i];
        const auto& r_ptr = rhs[i];
        // 处理空指针场景
        if (!l_ptr && !r_ptr) continue;
        if (!l_ptr || !r_ptr) return false;
        // 动态分派调用对应派生类的operator==
        if (!(*l_ptr == *r_ptr)) return false;
    }
    return true;
}

额外优化建议 #

• 新增派生类时，需遵循相同的operator==实现逻辑：先类型校验，再成员比较
• 可在基类中封装类型校验的辅助逻辑，但核心仍需依赖dynamic_cast做类型匹配
• 保持相等性判断的简洁性，避免在operator==中加入复杂业务逻辑

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