Как отследить ошибку «двойное освобождение или повреждение»

Если вы используете glibc, вы можете установить переменную окружения MALLOC_CHECK_ в 2, это заставит glibc использовать устойчивую к ошибкам версию malloc, которая заставит вашу программу прерваться в точке, где выполняется double free.

Вы можете установить это из gdb, используя команду set environment MALLOC_CHECK_ 2 перед запуском вашей программы; программа должна прерваться, при этом вызов free() будет виден в бэктрейсе.

см. страницу man для malloc() для получения дополнительной информации

Используете ли вы интеллектуальные указатели, такие как Boost shared_ptr ? Если да, проверьте, используете ли вы где-нибудь напрямую необработанный указатель, вызвав get () . Я обнаружил, что это довольно распространенная проблема.

Например, представьте сценарий, в котором исходный указатель передается (например, в качестве обработчика обратного вызова) в ваш код. Вы можете назначить это умному указателю, чтобы справиться с подсчетом ссылок и т. Д. Большая ошибка: ваш код не владеет этим указателем, если вы не сделаете глубокую копию. Когда ваш код завершится с помощью интеллектуального указателя, он уничтожит его и попытается уничтожить память, на которую он указывает, поскольку он думает , что он никому больше не нужен, но вызывающий код будет затем попробуйте удалить его, и вы получите двойную бесплатную проблему.

Конечно, это может не быть вашей проблемой. Вот самый простой пример, который показывает, как это может произойти. Первое удаление - это нормально, но компилятор чувствует, что он уже удалил эту память, и вызывает проблему. Вот почему присвоение 0 указателю сразу после удаления - хорошая идея.

int main(int argc, char* argv[])
{
    char* ptr = new char[20];

    delete[] ptr;
    ptr = 0;  // Comment me out and watch me crash and burn.
    delete[] ptr;
}

Edit: изменено delete на delete [] , поскольку ptr - это массив символов.

Есть как минимум две возможные ситуации:

1. вы удаляете одну и ту же сущность дважды
2. вы удаляете что-то, что не было выделено

Для первого варианта я настоятельно рекомендую NULL-ить все удаленные указатели.

У вас есть три варианта:

1. перегрузить new и delete и отслеживать выделения
2. да, используйте gdb - тогда вы получите обратную трассировку вашего падения, и это, вероятно, будет очень полезно
3. как уже было сказано - используйте Valgrind - в него не так просто попасть, но это сэкономит вам время в тысячу раз в будущем...

Три основных правила:

1. Установить указатель на NULL после освобождения
2. Проверить на NULL перед освобождением.
3. Инициализировать указатель на NULL в начале работы.

Комбинация этих трех способов работает достаточно хорошо.

Вы можете использовать gdb, но сначала я бы попробовал Valgrind . См. руководство по быстрому запуску .

Вкратце, Valgrind настраивает вашу программу таким образом, чтобы она могла обнаруживать несколько видов ошибок при использовании динамически выделяемой памяти, таких как двойное освобождение и запись после конца выделенных блоков памяти (что может привести к повреждению кучи). Он обнаруживает и сообщает об ошибках , как только они возникают , тем самым указывая вам непосредственно на причину проблемы.