C++11中含私有指针成员的类存入vector触发double free错误求助

看起来你踩了C++默认拷贝行为的经典坑——因为你的WInstrument类包含私有指针成员，却没手动实现深拷贝的拷贝构造和赋值运算符，导致vector存储对象时出现浅拷贝，最终触发double free or corruption错误。

问题根源拆解 #

当你调用stationA.insertInstrument(instrumentC)时，push_back会把instrumentC拷贝一份存入vector。C++默认生成的拷贝构造函数只会复制指针的值（也就是内存地址），而不是指针指向的实际内容。这就导致：

• vector里的新对象和原instrumentC共享同一块内存
• 当这些对象被销毁（比如vector扩容、程序结束时vector析构），每个对象的析构函数都会尝试释放这块内存，重复释放就会触发double free错误。
• 单独测试WInstrument没问题，是因为你没触发拷贝行为，只有单个对象管理那块内存，不会重复释放。

三种解决方案 #

1. 手动实现深拷贝的拷贝构造和赋值运算符

这是最直接的修复方式，为WInstrument编写自定义的拷贝构造函数和拷贝赋值运算符，确保每次拷贝时都为新对象分配独立的内存，并复制原对象的内容：

class WInstrument {
private:
    // 假设你的私有指针是类似这样的成员
    SomeType* _ptr;
public:
    // 默认构造函数
    WInstrument() : _ptr(new SomeType()) {}

    // 深拷贝构造函数
    WInstrument(const WInstrument& other) {
        // 为新对象分配内存，复制原对象指针指向的内容
        _ptr = new SomeType(*other._ptr);
    }

    // 拷贝赋值运算符（遵循copy-and-swap idiom，更安全）
    WInstrument& operator=(WInstrument other) {
        std::swap(_ptr, other._ptr);
        return *this;
    }

    // 析构函数释放内存
    ~WInstrument() {
        delete _ptr;
    }
};

这样每个WInstrument对象都拥有独立的内存块，析构时只会释放自己的那块内存，不会出现重复释放的问题。

2. 用智能指针替代裸指针（C++11+推荐）

如果你不想手动管理内存，可以用C++11引入的智能指针来封装你的私有指针：

• std::unique_ptr：独占内存所有权，适合不需要拷贝、只需要移动对象的场景。这时候你需要修改insertInstrument来接受右值引用，用移动语义把对象存入vector：

  class WInstrument {
  private:
      std::unique_ptr<SomeType> _ptr;
  public:
      WInstrument() : _ptr(std::make_unique<SomeType>()) {}
  
      // 允许移动构造（unique_ptr默认支持）
      WInstrument(WInstrument&&) = default;
      WInstrument& operator=(WInstrument&&) = default;
  };
  
  // 修改WStation的insertInstrument方法
  void WStation::insertInstrument(WInstrument&& instrument) {
      _instruments.push_back(std::move(instrument));
  }
  
  // 调用时用std::move转移所有权
  stationA.insertInstrument(std::move(instrumentC));
  

• std::shared_ptr：适合需要多个对象共享内存的场景，它通过引用计数管理内存，只有当最后一个引用对象被销毁时才会释放内存，从根源上避免double free。

3. 禁用拷贝行为（如果不需要拷贝）

如果你的WInstrument对象根本不需要被拷贝，只需要移动或者直接管理单个实例，可以显式禁用拷贝构造和赋值运算符：

class WInstrument {
private:
    SomeType* _ptr;
public:
    WInstrument() : _ptr(new SomeType()) {}
    ~WInstrument() { delete _ptr; }

    // 禁用拷贝构造和赋值
    WInstrument(const WInstrument&) = delete;
    WInstrument& operator=(const WInstrument&) = delete;

    // 允许移动（可选）
    WInstrument(WInstrument&&) = default;
    WInstrument& operator=(WInstrument&&) = default;
};

这时候你需要确保存入vector的是对象的移动实例（用std::move），或者直接在vector里构造对象（用emplace_back）。

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