2

Пример взят частично с Википедии

std::string *mas = reinterpret_cast<std::string*>(new char[10 * sizeof(std::string)]);
delete[] mas;

Не важно reinterpret_cast (static или другое) вылетает ошибка BLOCK_TYPE_IS_VALID. То же поведение при operator new[] (10*sizeof(std::string)).

Как правильно размещать динамические данные побайтно? Так понимаю ошибка в выравнивании? Или не в ту сторону копаю.

operator delete[] (mas);

Удалять надо правильно. Время позднее туплю. Так нормальное поведение. Знатоки в чём проблема для обычного delete[]?

5
  • Для STL копать нужно в сторону аллокаторов.
    – cpp_user
    27 окт 2015 в 21:45
  • Что вы хотите сделать?
    – Cerbo
    27 окт 2015 в 21:52
  • @Cerbo stepic.org/lesson/… я решил через обычные указатели. много звездочек))). решаю теперь через википедию через умные штуки, скажем так
    – Артём
    27 окт 2015 в 22:06
  • @Cerbo python + java убивают мысли старого порядочного кода. с & c++ для души, баловство.вот и решил вспомнить, оказалась в моих мозгах free(my_memory).на плюсах прогал до нашей эры))но душа просит)
    – Артём
    27 окт 2015 в 22:15
  • 2
    А откуда взялся placement new, где он в вашем вопросе?
    – VladD
    27 окт 2015 в 22:15

2 ответа 2

2

Там же [на степике] в лекции вроде доходчиво рассказано...

А так, да, операция new/new[] состоят из двух действий: собственно аллокации памяти и вызова конструктора. Эти два действия можно разделить вызвав отдельно operator new (size_t size)/operator new[] (size_t size) - для аллокакации памяти и, собственно, placement new (new (ptr) Type(ctor_args...)), что бы вызвать конструктор и создать объект.

Собственно вручную потом придётся и разрушать объект. Т.е. вызывать деструктор вручную:

ptr->~Type();

После чего очистить память при помощи operator delete (ptr)/operator delete[] (ptr)

Когда вы смешиваете placement new и разрушение при помощи delete, вы сами себе пытаетесь выстрелить в ногу. Ровно как и в обратном направлении.

К примеру, при вызове new[] может аллоцироваться памяти больше чем запрошено (в нюансы работы аллокаторов вдаваться не будем) и объекты конструируются не с начала блока памяти, а с некоторого отступа и возвращается значение указателя на этот отступ. А в зарезервированное место сохраняется в т.ч. количество объектов в массиве: эта информация может использоваться потом delete[] что бы правильно понять - сколько деструкторов нужно вызывать. Как это будет реализовано в конкретном компиляторе - вопрос реализации. Но поэтому нельзя мешать new/delete[] и new[]/delete: форма оператора помогает компилятору сделать правильные выводы о структуре памяти. По той же причине нельзя мешать placement new и delete/delete[] - в общем случае размещающий new может быть вызван для блока памяти который аллоцировался каким-то пользовательским способом: из какой-то системной области, из пула, из какого-то кастомного аллокатора и т.д. delete после разрушения объекта ещё и попытается освободить её. Что при этом будет - одному Ктулху известно. А delete[] ещё может предположить какую-то свою структуру и начать оперировать с невалидным указателем.

В общем - будьте симметричны.

2

Оператор new не только выделяет память, но и вызывает конструктор или конструкторы для созданного или созданных (в случае массива) объектов.

При вызове оператора delete вызываются соответственно деструкторы этих объектов.

Однако в вашем фрагменте кода нигде конструктор класса std::string не вызывается. Поэтому выделенная память не инициализирована соответствующим образом. В результате чего оператор delete имеет неопределенное поведение.

5
  • а operator delete[] ... не вызывает получается в данном случае?
    – Артём
    27 окт 2015 в 22:21
  • explicit Array(size_t size = 0, const T& value = T()){ mas = reinterpret_cast <T*>(operator new[] (size * sizeof(T))); this->size_ = size; for (size_t i=0; i<size; ++i){ new (mas + i) T(value); } } и вопрос разве в этом случае конструктор не вызывается?// решение конструтора для шаблонов
    – Артём
    27 окт 2015 в 22:25
  • стоило брать код из википедии полностью, вы оттуда вырезали собственно placement new. operator delete[] не вызывает деструктор, delete вызывает.
    – sercxjo
    27 окт 2015 в 22:30
  • @sercxjo поведение оператора и было интересно. С Вами согласен, в свое время мне говорили взял Нюрку за ляшку, то за ляшку и отпускай (грубый пример), и когда брал за ляшку, а отпускал за сиську получал указкой по затылку))) вот и вопрос почему так нельзя??? наверное это си ++
    – Артём
    27 окт 2015 в 22:37
  • Нельзя потому что деструктор расчитан на то что ранее был вызван конструктор. Этот пример в википедии не для начинающих, а для особых случаев. Если нужно разместить данные не в обычной динамической памяти а в заранее заданном месте или в каком-то другом блоке памяти (например в памяти отображённой на файл). При этом сначала выделяется память, потом в цикле вручную вызываются конструкторы для неё с помощью особой формы new с дополнительным аргументом. И далее показано как обратно всё освобождать в таком случае.
    – sercxjo
    27 окт 2015 в 22:52

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.