ESP32释放分配内存时出现堆损坏错误，求排查方案

问题背景 #

使用C++开发ESP32时，DataContainer类的reset_all_data()函数在执行delete datalist[i]时触发堆内存损坏错误。该错误仅在调用write_data_container_to_file(fs::FS &fs, const char *path, DataContainer<uint16_t> data, const char *RTC_timestamp)后出现，即使该函数内部代码全部注释也会触发。DataContainer用于存储uint16_t类型的二维数组。

相关代码片段 #

DataContainer类定义 #

template <typename Elementtype>
class DataContainer
{
private:
    Elementtype **datalist;
    int maxsize;
    std::size_t currentsize; // 已存储的数据量

public:
    DataContainer(int maxcapacity);
    ~DataContainer();
    // 其他方法
    void reset_all_data();
};

reset_all_data()函数实现 #

/* 清空所有数据并重新分配内存 */
template <typename Elementtype>
void DataContainer<Elementtype>::reset_all_data()
{
    for (int i = 0; i < currentsize; i++)
    {
        if (datalist[i])
            Serial.println(heap_caps_check_integrity_all(true));

            delete datalist[i]; // 错误触发点!!!

            Serial.println(heap_caps_check_integrity_all(true));
    }
    delete datalist;

    datalist = new Elementtype *[maxsize];
    for (int i = 0; i < maxsize; i++) // 分配maxsize个元素的内存块（maxsize=50）
    {
        datalist[i] = new Elementtype[5];
    }

    currentsize = 0;
}

错误信息 #

CORRUPT HEAP: Bad head at 0x3ffbb0f0. Expected 0xabba1234 got 0x3ffb9a34
assert failed: multi_heap_free multi_heap_poisoning.c:253 (head != NULL)
Backtrace:0x40083881:0x3ffb25400x4008e7e5:0x3ffb2560 0x40093d55:0x3ffb2580 0x4009399b:0x3ffb26b0 0x40083d41:0x3ffb26d0 
0x40093d85:0x3ffb26f0 0x4014e3f5:0x3ffb2710 0x400d2dc6:0x3ffb2730 0x400d31e3:0x3ffb2750 0x400d9b02:0x3ffb2820 

排查与解决思路 #

1. 内存释放不匹配（直接触发错误的原因） #

datalist[i]是通过new Elementtype[5]分配的数组内存，必须使用delete[]释放，而代码中使用了delete，这会破坏堆的结构完整性，直接导致堆损坏错误。

修复：将delete datalist[i];改为delete[] datalist[i];；同时检查析构函数，确保释放datalist时也使用delete[] datalist;（因为datalist是通过new Elementtype*[]分配的数组）。

2. 值传递导致的浅拷贝重复释放 #

write_data_container_to_file的第三个参数是值传递DataContainer<uint16_t> data，这会触发C++默认的拷贝构造函数。由于DataContainer包含指针成员datalist，默认拷贝是浅拷贝，即原对象和拷贝对象的datalist指向同一块内存。当函数执行完毕返回时，拷贝对象会被销毁，调用析构函数释放datalist，此时原对象的datalist变成野指针。后续调用reset_all_data()时，对野指针执行delete操作，就会触发堆损坏。

修复：

• 将函数参数改为引用传递：DataContainer<uint16_t>& data，避免不必要的拷贝；
• 如果确实需要拷贝对象，必须实现自定义的拷贝构造函数和赋值运算符重载，进行深拷贝，确保每个对象拥有独立的内存空间。

3. if语句逻辑错误 #

原代码中if (datalist[i])后没有大括号，只有第一行Serial.println属于if块，delete语句不管指针是否为空都会执行。虽然delete空指针在C++中是合法的，但这种逻辑容易引发其他问题，且不符合代码规范。

修复：给if块添加大括号，确保逻辑正确：

if (datalist[i]) {
    Serial.println(heap_caps_check_integrity_all(true));
    delete[] datalist[i];
    Serial.println(heap_caps_check_integrity_all(true));
}

4. 堆完整性检查强化 #

可以在关键内存操作前后调用heap_caps_check_integrity_all(true)，精准定位堆损坏发生的时机，帮助排查其他潜在的内存越界、重复释放问题。比如在write_data_container_to_file的入口和出口添加检查，确认是否在函数执行过程中已经出现堆损坏。

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