Различие между оператором new и ключевым словом new

Решая эту задачу https://stepik.org/lesson/563/step/7?unit=886 набрёл на статью которая меня очень заинтересовала https://habr.com/post/185662/ . Прочитав её я не очень понял эти различия. Поискал в интернете и тоже не очень разобрался. Расскажите ,пожалуйста ,с примером в чём же там отличие .

0

Что касается POD:
если пишешь new A(); -как правило вызываешь и конструктор(инициализация нулями), если new A; то неопределенное значение.

0

Цитата из статьи, на которую вы ссылаетесь:

Приведенный код подтверждает все, написанное выше, а именно: 1. оператор (языка) new и operator new() — это НЕ одно и тоже. 2. operator new() НЕ вызывает конструктор(ы) 3. вызов конструктора(ов) генерирует компилятор, встречая в коде key-word «new»

Что из этого вам не понятно?

1

https://www.cyberforum.ru/post8812933.html
http://pcdev.ru/cpp-memory-management-part2/

1

Благодаря Croessmah я уже разобрал "теоретическую" разницу между operator new key-word(expression) new .
Мне осталась не совсем понятна их реализация . Можете на примере показать использование этих разных new .

0

Сообщение от yuriybolotin99 Можете на примере показать использование этих разных new .

У Майерса в одной из старых книг есть примеры с реализациями.
Там есть и хорошее теоретическое обоснование всех нюансов.
Извиняюсь, что даю лишь ссылку, но никто лучше не объяснит такие вещи.
В реальности мне перегрузка new понадобилась ровно 0 раз.
Думаю, что у многих такая же ситуация, отсюда и настолько невысокая освещённость вопроса.

0

Сообщение от yuriybolotin99 Благодаря Croessmah я уже разобрал "теоретическую" разницу между operator new key-word(expression) new . Мне осталась не совсем понятна их реализация . Можете на примере показать использование этих разных new .

С реализацией все просто как мычание. Допустим, вы хотите выделять память в самописном хипе.
1) Пишите operator new(std::size_t size,MyHeap&heap) и вызываете его через new (myHeap) Object.
2) Пишите operator delete(std::size_t size,MyHeap&heap) и вызываете его через delete (myHeap) Object.
3) Пункт 2 не компилируется. Матерясь сквозь зубы выкидываете new/delete, выделяете память через myHeap.create<Object>(), освобождаете через myHeap.destroy(pointer).
3.1) Хотя нет, лучше будем следовать стандартному дизайну - new (Allocator::rebind<Object>::other(alloca tor).allocate(1)) Object. Серьезно, что нужно было употреблять чтобы придумать этот rebind?

Едем далее. Допустим, по каким-то неведомым причинам вам захотелось еще и полиморфизму.
1) Создаем полиморфный объект через BaseClass*object=myHeap.create<DerivedCl ass>(). Менять BaseClass* на DerivedClass* не предлагать - какой тогда смысл в полиморфизме?
2) Удаляем объект через myHeap.destroy(object).
3) destroy грохается так как ему нужен адрес удаляемого объекта, а не одного из базовых классов этого объекта. То что они совпадают никто не обещал.
4) Фигня вопрос! В каждый потомок BaseClass втыкается виртуальная функция вида void*mostDerivedClass(){return this;}. Больше костылей богу костылей!

0

Сообщение от Renji 2) Пишите operator delete(std::size_t size,MyHeap&heap) и вызываете его через delete (myHeap) Object.

Шта? Кто это пробовать-то будет?

Сообщение от Renji 3) Пункт 2 не компилируется. Матерясь сквозь зубы выкидываете new/delete, выделяете память через myHeap.create<Object>(), освобождаете через myHeap.destroy(pointer).

А может быть всё-таки operator new всю нужную информацию сохранит для того, чтобы operator delete смог работать?

Сообщение от Renji Серьезно, что нужно было употреблять чтобы придумать этот rebind?

А может просто нужно почитать зачем он нужен?

0

0

0

0

0

Сообщение от Croessmah А может быть всё-таки operator new всю нужную информацию сохранит для того, чтобы operator delete смог работать?

Когда мы пилим новый стандарт: сохранять размер выделенной памяти и создавать оверхед в одно число? Нетушки, сами храните этот размер и передавайте в наш новый operator delete(void*,std::size_t)!
Когда всплыла кривость стандарта: сохранять адрес хипа и создавать оверхед в один указатель? Да вы че, нормальная же практика!

Сообщение от Croessmah А может просто нужно почитать зачем он нужен?

"The member template class rebind provides a way to obtain an allocator for a different type". Напрямую создавать different type объекты STL аллокаторы не умеют. Только через "ребиндь новый аллокатор и пинай его".

0