自定义Vector作为Hex类成员时的内存错误排查

核心问题根源 #

你的问题出在Hex类依赖编译器自动生成的拷贝构造函数/拷贝赋值运算符，而自定义Vector未实现正确的深拷贝逻辑，导致多个Hex对象共享同一块堆内存：

• 拷贝Hex对象时，编译器只会逐成员复制Vector的指针、容量等字段，而非重新分配内存复制元素（浅拷贝）；
• 多个Hex对象析构时，会重复释放同一块Vector内存，触发Valgrind检测到的无效读写、内存泄漏问题。

具体排查与修复步骤 #

1. 完善自定义Vector的深拷贝实现 #

Vector单独使用时未触发问题，可能是因为场景未涉及复杂拷贝（比如仅局部对象创建销毁），但作为类成员时，Hex的拷贝会暴露Vector的拷贝缺陷。必须为Vector实现深拷贝版的拷贝构造函数和拷贝赋值运算符：

template<typename T>
class Vector {
private:
    T* data;
    size_t size;
    size_t capacity;
    Allocator<T> alloc;

public:
    // 拷贝构造函数：深拷贝所有元素
    Vector(const Vector& other) 
        : size(other.size), capacity(other.capacity) {
        // 分配新的堆内存
        data = alloc.allocate(capacity);
        // 逐一构造元素（调用T的拷贝构造）
        for (size_t i = 0; i < size; ++i) {
            alloc.construct(data + i, other.data[i]);
        }
    }

    // 拷贝赋值运算符：遵循copy-and-swap idiom，保证异常安全
    Vector& operator=(Vector other) {
        swap(*this, other);
        return *this;
    }

    // 交换函数：用于copy-and-swap
    friend void swap(Vector& lhs, Vector& rhs) noexcept {
        using std::swap;
        swap(lhs.data, rhs.data);
        swap(lhs.size, rhs.size);
        swap(lhs.capacity, rhs.capacity);
        swap(lhs.alloc, rhs.alloc);
    }

    // 析构函数：正确销毁元素并释放内存
    ~Vector() {
        for (size_t i = 0; i < size; ++i) {
            alloc.destroy(data + i);
        }
        alloc.deallocate(data, capacity);
    }

    // 其他成员函数...
};

2. 检查Hex类的拷贝逻辑 #

如果Hex类除了Vector成员外，还有其他堆分配的资源（比如动态数组、指针成员），必须手动实现Hex的拷贝构造和拷贝赋值运算符，确保所有堆资源都完成深拷贝。若Hex仅含Vector成员，且Vector已实现正确深拷贝，编译器自动生成的拷贝操作即可安全工作。

3. Valgrind报错对应解释 #

• 无效写/读：当第一个Hex对象析构时释放了Vector的内存，后续Hex对象的Vector成员仍指向已释放的内存，访问时触发无效读写；
• 6次分配5次释放：浅拷贝导致某块内存被重复释放后，后续的释放操作被跳过，或者拷贝过程中分配的内存未正确关联到对象，最终漏释放。

验证方法 #

• 在Vector的拷贝构造、析构函数中添加日志打印，观察内存分配、释放的顺序，确认是否存在重复释放；
• 调试时查看不同Hex对象的Vector成员的data指针地址，确保拷贝后的对象指向独立的内存块。

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