Блог

В настоящее время я практикуюсь в арифметике указателей и не могу понять, почему этот код заканчивается ошибкой «free(): недопустимый указатель», когда дело доходит до выполнения последней строки delete [] arr; .

Я понял, что тот же код запускается без каких-либо проблем при использовании программы C4Droid на моем телефоне Android (с использованием компилятора «G Bionic»), но на моем планшете, использующем GCC, он просто не работает. Единственный способ обойти это-убедиться, что массив arr в настоящее время указывает на первый адрес. В тот момент, когда этого не происходит, кажется, что он терпит неудачу. Я не знаю, должно ли это произойти и на моем телефоне, или это как-то связано с проблемой конфигурации в среде IDE, которую я использую на своем планшете (пробовал с кодовыми блоками и codelite). Не могли бы вы, пожалуйста, помочь?

Я также хорошо понимаю, что инициализирую значения для двух первых мест массива, в то время как технически возможно выбрать размер массива меньше этого. Это просто тесты.

 #include <string>
#include <iostream>

int main()
{
    int *arr{};
    size_t size{};
    std::cout << "Please enter the size of the array you want to create: "; std::cin >> size;
    arr = new int[size];
    *(arr   0) = 5;
    *(arr   1) = 10;
    std::cout << "  arr: " <<   arr << " (pointer incrementation, we move by an int and arr is now arr   1)" << std::endl;  
    delete [] arr;
    return 0;
}
 

Вы не удаляете тот же указатель, который вы выделили — arr переместили указатель. Вызов delete[] любого указателя, который не был выделен, new type[] является неопределенным поведением — он может работать, он может катастрофически потерпеть неудачу и может сделать что угодно между ними, но вам действительно не следует полагаться на него.

После этого утверждения, в котором вы увеличили указатель arr

 std::cout << "  arr: " <<   arr << " (pointer incrementation, we move by an int and arr is now arr   1)" << std::endl;  
 

указатель теперь не имеет адреса выделенной памяти.

Итак, следующее утверждение

 delete [] arr;
 

вызывает неопределенное поведение.

Вы должны передать оператору delete [] указатель с тем же значением (адресом), которое было возвращено оператором new.

Вы могли бы написать, например

 delete [] --arr;
 

использование оператора декремента для сброса указателя к его исходному значению.