C++ Car类程序Valgrind内存泄漏错误排查解决

问题根因 #

Valgrind已将泄漏点定位到Car类带参构造函数的new[]堆内存分配操作，核心是未遵循C++类资源管理的三/五法则，具体触发逻辑：

• 类中通过new[]分配的数组成员（通常是char*类型用于存储车辆品牌、型号等字符串），没有在析构函数中使用配对的delete[]释放
• 自定义了带参构造实现堆内存分配，但未手动实现拷贝构造、拷贝赋值运算符，代码运行时触发编译器生成的默认浅拷贝逻辑：多个Car对象的指针成员指向同一块堆内存，要么出现重复释放，要么部分对象持有的堆内存失去引用无法被回收
• 注意：new[]必须和delete[]严格配对，如果析构函数中误写为delete而非delete[]，即使写了释放逻辑也会触发未定义行为，造成内存泄漏

你看到的6个未释放内存块、19次分配仅13次释放的统计结果，对应6次走带参构造（含临时对象生成场景）时分配的堆数组，因为上述逻辑缺陷最终未被回收。

修复方案 #

• 为Car类实现正确的析构函数，配对释放new[]分配的堆内存
  以常见的带参构造实现为例，你当前的泄漏代码大概率是如下形式：

  // 带参构造中的泄漏点
  Car::Car(const char* brand, int car_id) {
      size_t str_len = strlen(brand);
      m_brand = new char[str_len + 1]; // Valgrind标记的分配位置
      strcpy(m_brand, brand);
      m_id = car_id;
  }
  

  对应需要补充的析构函数：

  Car::~Car() {
      delete[] m_brand; // 必须用delete[]，不能用delete
      m_brand = nullptr; // 置空避免野指针
  }
  

• 手动实现拷贝构造函数，完成深拷贝，避免浅拷贝导致的内存所有权混乱

  Car::Car(const Car& other) {
      size_t str_len = strlen(other.m_brand);
      m_brand = new char[str_len + 1];
      strcpy(m_brand, other.m_brand);
      m_id = other.m_id;
  }
  

• 手动实现拷贝赋值运算符，先处理自赋值场景，释放自身已有内存后再完成深拷贝

  Car& Car::operator=(const Car& other) {
      if (this == &other) { // 处理自赋值，避免释放自身内存后拷贝异常
          return *this;
      }
      delete[] m_brand; // 先释放当前对象持有的旧内存
      size_t str_len = strlen(other.m_brand);
      m_brand = new char[str_len + 1];
      strcpy(m_brand, other.m_brand);
      m_id = other.m_id;
      return *this;
  }
  

• （推荐简化方案）如果使用C++11及以上编译标准，直接将裸指针管理的字符串替换为std::string，堆数组替换为std::vector，遵循RAII资源管理原则，不需要手动编写内存释放、深拷贝逻辑，从根源避免此类内存泄漏。

验证方法 #

修复代码后，编译时加-g参数保留调试符号，重新用Valgrind检测：

g++ -g main.cpp Car.cpp -o car_demo
valgrind --leak-check=full ./car_demo

当检测结果显示All heap blocks were freed -- no leaks are possible时，说明内存泄漏问题已完全修复。

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