Модераторы: Daevaorn

Поиск:

Ответ в темуСоздание новой темы Создание опроса
> Совместное использование new/delete и malloc/free 
:(
    Опции темы
zzkoderzzzx
Дата 16.10.2013, 10:59 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 22
Регистрация: 1.10.2013

Репутация: нет
Всего: нет



Мне кажется, что эти методы имеют ряд преимуществ и недостатков относительно друг друга.
 
Например для удаления массива надо написать delete [], а delete удалит только первый его элемент. Это часто приводит к ошибкам.
В то же время, free одинаково удалит как массив так и просто указатель.

В то же время, new намного удобнее malloc, т.к. нет необходимости определять размер в байтах и приводить к нужному типу.

Поэтому мне кажется удобным выделять память с помощью new, а освобождать с помощью free.

Какие могут быть проблемы при таком подходе?
PM MAIL   Вверх
vinter
Дата 16.10.2013, 11:09 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Explorer
****


Профиль
Группа: Завсегдатай
Сообщений: 2735
Регистрация: 1.4.2006
Где: Н.Новгород

Репутация: 13
Всего: 56



память выделенная посредством new может быть освобождена только посредством вызова delete. Так что Ваша идея провалилась, так делать нельзя.


--------------------
Мой блог
PM MAIL WWW   Вверх
zzkoderzzzx
Дата 16.10.2013, 11:14 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 22
Регистрация: 1.10.2013

Репутация: нет
Всего: нет



А я делал и программа работала.

Это сообщение отредактировал(а) zzkoderzzzx - 16.10.2013, 11:15
PM MAIL   Вверх
vinter
Дата 16.10.2013, 11:20 (ссылка) |    (голосов:1) Загрузка ... Загрузка ... Быстрая цитата Цитата


Explorer
****


Профиль
Группа: Завсегдатай
Сообщений: 2735
Регистрация: 1.4.2006
Где: Н.Новгород

Репутация: 13
Всего: 56



malloc/free всего лишь аллокаторы памяти. Т.е. они выделяют память и освобождают оную, безотносительно типов.
new/delete это конструкции языка C++, которые помимо выделения\освобождения памяти еще вызывают конструкторы и деструкторы объектов. Чаще всего выделение памяти в new сделано через malloc, а освобождение в delete через free. Но, во-первых, тут нет никакой гарантии, во-вторых: кто вызовет деструктор, если освободить память выделенную new посредством free?

Раз уж Вы программируете на C++ запомните правило: если программа работает, это не значит, что она работает корректно. И еще одно: если программа работает корректно, это не значит, что нет утечек памяти.


--------------------
Мой блог
PM MAIL WWW   Вверх
bsa
Дата 16.10.2013, 11:26 (ссылка) |    (голосов:1) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Модератор
Сообщений: 9185
Регистрация: 6.4.2006
Где: Москва, Россия

Репутация: 63
Всего: 196



Цитата(zzkoderzzzx @  16.10.2013,  11:59 Найти цитируемый пост)
Например для удаления массива надо написать delete [], а delete удалит только первый его элемент. Это часто приводит к ошибкам.
Не совсем так. delete вызовет деструктор первого элемента и попытается освободить память. Когда память выделяется с помощью new[], то может быть выделено чуть больше памяти (в начале блока, результат new[] смещается относительно этой дополнительной памяти), чем надо, для хранения количества элементов (это чтобы delete[] правильно отработал). таким образом, delete[] не только вызывает деструкторы всех элементов массива, но еще и корректно освобождает память.
free использовать нельзя после new, так как он не вызывает деструкторы по определению. Это ведет к утечкам. Более того, если память была выделена с помощью new[], то результат вообще непредсказуем, так как free ничего не знает о возможном резерве в начале блока.
К тому же, возможна ситуация, что оператор new был переопределен для какого-то типа и использует особый метод размещения в памяти, таким образом, используя неверный оператор освобождения памяти ты спровоцируешь неопределенное поведение программы.

Поэтому, если ты выделил с помощью new, то освобождать должен только с помощью delete. Тоже самое касается и new[]/delete[], и malloc/calloc/free, и прочих аллокаторов.
PM   Вверх
zzkoderzzzx
Дата 16.10.2013, 11:41 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 22
Регистрация: 1.10.2013

Репутация: нет
Всего: нет



А зачем ввели 2 разных оператора delete и delete[]? 

Т.е. почему delete не удаляет все объекты, выделенные с помощью new[]?

Очевидно, что удаление только первого элемента массива нужно очень редко, и может быть реализовано отдельно без специального оператора.
PM MAIL   Вверх
vinter
Дата 16.10.2013, 11:45 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Explorer
****


Профиль
Группа: Завсегдатай
Сообщений: 2735
Регистрация: 1.4.2006
Где: Н.Новгород

Репутация: 13
Всего: 56



delete удаляет объект, delete[] удаляет массив объектов. Это разные случаи и требует разного подхода ни один не является частным случаем другого.


--------------------
Мой блог
PM MAIL WWW   Вверх
zzkoderzzzx
Дата 16.10.2013, 12:58 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 22
Регистрация: 1.10.2013

Репутация: нет
Всего: нет



Когда массив объектов удаляется с помощью delete не выдается даже предупреждение, хотя скорее всего это ошибка программиста.
PM MAIL   Вверх
vinter
Дата 16.10.2013, 13:06 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Explorer
****


Профиль
Группа: Завсегдатай
Сообщений: 2735
Регистрация: 1.4.2006
Где: Н.Новгород

Репутация: 13
Всего: 56



а какое может быть предупреждение? Откуда компилятору знать, что там лежит по указателю? 


--------------------
Мой блог
PM MAIL WWW   Вверх
baldina
Дата 16.10.2013, 13:12 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Завсегдатай
Сообщений: 3433
Регистрация: 5.12.2007
Где: Москва

Репутация: 32
Всего: 101



Цитата(bsa @  16.10.2013,  11:26 Найти цитируемый пост)
free использовать нельзя после new, так как он не вызывает деструкторы по определению

и вообще, хотя на практике new/delete обычно реализуются при помощи malloc/free (или обе пары при помощи одного механизма), никакой гарантии что они выделяют память совместимо нет (и даже что они могут работать с одним диапазоном адресов)
PM MAIL   Вверх
bsa
Дата 16.10.2013, 13:26 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Модератор
Сообщений: 9185
Регистрация: 6.4.2006
Где: Москва, Россия

Репутация: 63
Всего: 196



Цитата(zzkoderzzzx @  16.10.2013,  12:41 Найти цитируемый пост)
Очевидно, что удаление только первого элемента массива нужно очень редко, и может быть реализовано отдельно без специального оператора. 
Ты сильно ошибаешься. Например, выделение массивов в моих программах вообще нет - я пользуюсь std::vector и пр. контейнерами (у них механизм выделения памяти несколько отличается от банального new Object[N]). А вот создание динамических объектов вне массивов очень активно используется.
PM   Вверх
o2n3e
Дата 16.10.2013, 14:16 (ссылка)    | (голосов:1) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 10
Регистрация: 19.8.2011

Репутация: -4
Всего: -5




Модератор: Сообщение скрыто.

PM MAIL   Вверх
zzkoderzzzx
Дата 16.10.2013, 14:24 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 22
Регистрация: 1.10.2013

Репутация: нет
Всего: нет



Цитата

Ключевое слово new/delete - это отдельнай часть языка, которая к памяти не имеет никакого отношения. Она просто заменяет delete p; на p->~p();


А как делается new/delete базовых типов, у которых нет конструктора и деструктора?
PM MAIL   Вверх
baldina
Дата 16.10.2013, 14:32 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Завсегдатай
Сообщений: 3433
Регистрация: 5.12.2007
Где: Москва

Репутация: 32
Всего: 101



Цитата(zzkoderzzzx @  16.10.2013,  14:24 Найти цитируемый пост)
у которых нет конструктора и деструктора

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

Добавлено через 7 минут и 1 секунду
вот например
PM MAIL   Вверх
zzkoderzzzx
Дата 16.10.2013, 15:05 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 22
Регистрация: 1.10.2013

Репутация: нет
Всего: нет



Цитата(baldina @ 16.10.2013,  14:32)
конструктор и деструктор есть всегда.

Такой код у меня дает ошибку
Код

int i=int();
или
Код

int i();

Как вызвать конструктор класса int?
PM MAIL   Вверх
Ответ в темуСоздание новой темы Создание опроса
Правила форума "С++:Общие вопросы"
Earnest Daevaorn

Добро пожаловать!

  • Черновик стандарта C++ (за октябрь 2005) можно скачать с этого сайта. Прямая ссылка на файл черновика(4.4мб).
  • Черновик стандарта C (за сентябрь 2005) можно скачать с этого сайта. Прямая ссылка на файл черновика (3.4мб).
  • Прежде чем задать вопрос, прочтите это и/или это!
  • Здесь хранится весь мировой запас ссылок на документы, связанные с C++ :)
  • Не брезгуйте пользоваться тегами [code=cpp][/code].
  • Пожалуйста, не просите написать за вас программы в этом разделе - для этого существует "Центр Помощи".
  • C++ FAQ

Если Вам понравилась атмосфера форума, заходите к нам чаще! С уважением, Earnest Daevaorn

 
0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема | C/C++: Общие вопросы | Следующая тема »


 




[ Время генерации скрипта: 0.1368 ]   [ Использовано запросов: 22 ]   [ GZIP включён ]


Реклама на сайте     Информационное спонсорство

 
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности     Powered by Invision Power Board(R) 1.3 © 2003  IPS, Inc.