模板类Structure重载==运算符引发嵌套结构段错误问题排查

问题背景 #

我正在为多类型容器类Structure重载==运算符，实现方案是在Structure基类中定义空虚函数，在派生模板类Element中重写。由于元素添加到向量时会被包装为Element，并以StructPtr形式存储，无法使用dynamic_cast，只能通过调用Element中重写的函数确定类型。

当前代码除嵌套结构的测试用例外均正常工作，但比较包含其他结构的两个Structure时，触发段错误：

AddressSanitizer:DEADLYSIGNAL
=================================================================
==26776==ERROR: AddressSanitizer: SEGV on unknown address 0x000104fbffb8 (pc 0x00010423ec88 bp 0x00010423ec64 sp 0x00016bbc79d0 T0)
==26776==The signal is caused by a UNKNOWN memory access.

核心问题：==运算符的参数为Structure值类型，传递到Element类时发生对象切片，导致嵌套结构比较失败。

错误原因 #

1. 对象切片导致虚函数失效：当以Structure值类型传递参数时，若实际传入的是派生类Element实例，值传递会仅保留基类Structure的部分，丢失派生类的所有额外数据和虚函数表信息。
2. 无效内存访问触发段错误：嵌套结构比较时，试图通过被切片的基类对象调用派生类的重写函数，此时虚函数表已指向基类的空函数，甚至可能访问到未定义的内存区域，最终触发SEGV错误。

修复方案 #

方案1：将运算符参数改为基类引用/指针 #

避免对象切片，确保传递的是派生类对象的完整信息，修改基类虚函数的参数类型：

#include <typeindex>
#include <type_traits>

class Structure {
public:
    // 改为引用传递的虚运算符
    virtual bool operator==(const Structure& other) const = 0;
    // 添加类型标识函数（替代dynamic_cast，若无法开启RTTI）
    virtual std::type_index get_type() const = 0;
};

template<typename T>
class Element : public Structure {
private:
    T value;
public:
    explicit Element(T val) : value(std::move(val)) {}

    bool operator==(const Structure& other) const override {
        // 先检查类型是否匹配
        if (get_type() != other.get_type()) return false;
        // 安全转换为派生类指针
        const Element<T>* other_elem = static_cast<const Element<T>*>(&other);
        
        // 递归处理嵌套Structure
        if constexpr (std::is_base_of_v<Structure, T>) {
            return *value == *other_elem->value;
        } else {
            return value == other_elem->value;
        }
    }

    std::type_index get_type() const override {
        return std::type_index(typeid(T));
    }
};

方案2：改用命名虚函数替代运算符重载 #

避免运算符重载的语法限制，改用更清晰的命名虚函数实现比较逻辑：

class Structure {
public:
    virtual bool equals(const Structure& other) const = 0;
    virtual std::type_index get_type() const = 0;
};

template<typename T>
class Element : public Structure {
private:
    T value;
public:
    explicit Element(T val) : value(std::move(val)) {}

    bool equals(const Structure& other) const override {
        if (get_type() != other.get_type()) return false;
        const Element<T>* other_elem = static_cast<const Element<T>*>(&other);
        
        if constexpr (std::is_base_of_v<Structure, T>) {
            return value->equals(*other_elem->value);
        } else {
            return value == other_elem->value;
        }
    }

    std::type_index get_type() const override {
        return std::type_index(typeid(T));
    }
};

// 外部重载==运算符，统一调用虚函数
bool operator==(const Structure& a, const Structure& b) {
    return a.equals(b);
}

额外检查：确保StructPtr的有效性 #

段错误也可能源于StructPtr指向空指针或已释放的内存，需检查嵌套结构的存储逻辑：

• 确保所有StructPtr（建议用std::unique_ptr或std::shared_ptr）都正确初始化，指向有效的Element实例；
• 避免手动管理内存导致的悬空指针问题。

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