Exponenta Banner

Недопустимое удаление указателя

Освобождение указателя с помощью delete без соответствующего выделения с помощью new

расширьте все на странице

Описание

Недопустимое удаление указателя происходит когда:

  • Вы выпускаете блок памяти с оператором delete, но память не была ранее выделена с оператором new.

  • Вы выпускаете блок памяти с оператором delete с помощью обозначения отдельного объекта, но память была ранее выделена как массив с оператором new.

Этот дефект применяется только к исходным файлам C++.

Риск

Риск зависит от причины проблемы:

  • Оператор delete выпускает блок памяти, выделенной на куче. При попытке получить доступ к местоположению на куче, которую вы не выделили ранее, отказ сегментации может произойти.

  • Если вы используете обозначение отдельного объекта для delete на указателе, который ранее выделяется с обозначением массивов для new, поведение не определено.

Проблема может также подсветить другие ошибки кодирования. Например, вы, возможно, хотели использовать оператор delete или предыдущий оператор new на различном указателе.

Фиксация

Фиксация зависит от причины проблемы:

  • В большинстве случаев можно устранить проблему путем удаления оператора delete. Если указатель не является выделенной памятью от кучи с оператором new, вы не должны выпускать указатель с delete. Можно просто снова использовать указатель как требуется или позволить объекту быть уничтоженным в конце его осциллографа.

  • В случае несовпадающего обозначения для new и delete, исправьте несоответствие. Например, чтобы выделить и освободить отдельный объект, используйте это обозначение:

    classType* ptr = new classType;
delete ptr;

    Чтобы выделить и освободить массив объекты, используйте это обозначение:

    classType* p2 = new classType[10];
delete[] p2;

Если проблема подсвечивает ошибку кодирования, такую как использование delete или new на неправильном указателе, исправьте ошибку.

Примеры

развернуть все

void assign_ones(void)
{
    int ptr[10];

    for(int i=0;i<10;i++)
        *(ptr+i)=1;  

    delete[] ptr;   
}

Указатель ptr выпущен с помощью оператора delete. Однако ptr указывает на ячейку памяти, которая не была динамически выделена.

Исправление: удалите освобождение указателя

Если число элементов массива, ptr известен во время компиляции, одно возможное исправление, должно удалить освобождение указателя ptr.

void assign_ones(void) 
{
    int ptr[10];

    for(int i=0;i<10;i++)
        *(ptr+i)=1;  
}

Исправление — добавляет выделение указателя

Если количество элементов массива не известно во время компиляции, одно возможное исправление должно динамически выделить память массиву ptr с помощью оператора new.

void assign_ones(int num) 
{
    int *ptr = new int[num]; 

    for(int i=0; i < num; i++)
        *(ptr+i) = 1;

    delete[] ptr;
   }

int main (void)
{
    int *p_scale = new int[5];

    //more code using scal

    delete p_scale;
}

В этом примере p_scale инициализируется к массиву размера 5 использований new int[5]. Однако p_scale удален с delete вместо delete[]. new-delete пара не соответствует. Не используйте delete без скобок при удалении массивов.

Исправление — совпадает с delete к new

Одно возможное исправление должно добавить скобки, таким образом, delete совпадает с объявлением new [].

int main (void)
{
    int *p_scale = new int[5];

    //more code using p_scale

    delete[] p_scale;
}

Исправление — совпадает с new к delete

Другое возможное исправление должно изменить объявление p_scale. Если бы вы означали инициализировать p_scale как 5 сам вместо массива размера 5, необходимо использовать различный синтаксис. Для этого исправления измените квадратные скобки в инициализации к круглым скобкам. Оставьте оператор delete как есть.

int main (void)
{
    int *p_scale = new int(5);

    //more code using p_scale

    delete p_scale;
}

Проверяйте информацию

Группа: Динамическая память
Язык: C++
Значение по умолчанию: 'off'
Синтаксис командной строки: BAD_DELETE
Влияние: высоко
ID CWE: 404

Смотрите также

| |

Темы

Введенный в R2013b

Документация Polyspace Bug Finder
Поддержка