В стандарте говорится, что при использовании new[] памяти может выделиться

Question

В стандарте говорится, что при использовании new[] памяти может выделиться

больше, чем истинный размер. Причем этот overhead не определен.

new T[5]; // calls operator new[](sizeof(T)*5 + overhead)

На что идёт этот overhead? Вот тут есть хороший пример: https://stackoverflow.com/questions/4011577/placement-new-array-alignment

#c++ #embedded #programming #russian

0

15.10.2020

12 ответов

5 просмотров

Vyacheslav Klimentyev Автор вопроса

Sergey Sobolev
Он ни на что не идет, это особенность выделения па...

А почему тогда для new T такого нет? Там честный sizeof(T). T может быть довольно большим и сложным. С точки зрения запроса выделения фрагмента памяти все аналогично.

0

15.10.2020

Dmitriy [Отпуск]

Например, на сохранение числа выделенных элементов

0

15.10.2020

Vyacheslav Klimentyev Автор вопроса

Dmitriy [Отпуск]
Например, на сохранение числа выделенных элементов

Я об этом первым делом думал, но нет. Тогда была бы явная формула для расчета, а не говорилось бы, что не определено. Кроме того, в примере на SO есть случаи, где overhead равен нулю.

0

15.10.2020

Vyacheslav

Sergey Sobolev
Он ни на что не идет, это особенность выделения па...

Не путайте, пожалуйста, ОС и libc. OC выделяет память страницами, и там свои заморочки с адресацией, правами доступа, расшариванием между процессами, CoW и swap.

0

15.10.2020

Aidar Fattakhov

Vyacheslav Klimentyev
Я об этом первым делом думал, но нет. Тогда была б...

Зачем в стандарте описывать строго оверхед на имплементацию?

0

15.10.2020

Vyacheslav Klimentyev Автор вопроса

Aidar Fattakhov
Зачем в стандарте описывать строго оверхед на импл...

Мне больше интересует, зачем он нужен в имплементации. Что туда пишется или он используется для чего-то другого?

0

15.10.2020

Danya🔥

Vyacheslav Klimentyev
Мне больше интересует, зачем он нужен в имплемента...

Ну тут надо открывать доки конкретной имплементации и смотреть

0

15.10.2020

Vyacheslav Klimentyev Автор вопроса

Danya🔥
Ну тут надо открывать доки конкретной имплементаци...

Это да. Осталось бы найти их у Texas Instruments ;)

0

15.10.2020

Vyacheslav Klimentyev Автор вопроса

Danya🔥
Ну тут надо открывать доки конкретной имплементаци...

Очень похоже, что этот оверхед только у MSVC. В Clang и GCC он отсутствует. ABI Itanium он тоже нафиг не сдался. https://stackoverflow.com/questions/51356882/overhead-of-placement-new Ну и вот такое обсуждение в комитете аж с 2004 года: https://wg21.cmeerw.net/cwg/issue476

0

15.10.2020

magras

Vyacheslav Klimentyev
Очень похоже, что этот оверхед только у MSVC. В Cl...

Не стоит путать placement new и обычный new. Откуда во втором случае компилятор узнает количество элементов во время вызова delete[]?

0

15.10.2020

Vyacheslav Klimentyev Автор вопроса

magras
Не стоит путать placement new и обычный new. Откуд...

Согласен, что необходимо где-то хранить их количество. Только тогда для placement new нужно было изменить поведение, поскольку за освобождение памяти отвечает уже разработчик. Сейчас placement new для массивов, получается, неприменим. А хотелось бы. Ну и там всё-таки не количество хранится, иначе об этом говорилось бы.

0

15.10.2020

Sergey Sobolev · Accepted Answer

Sergey Sobolev

Он ни на что не идет, это особенность выделения памяти ОС - она не будет искать конкретно запрошенные n байт, а, чтоб быстрее, выделит первый более менее подходящий кусок. Память фрагментируется же

0

15.10.2020

170 похожих чатов

В стандарте говорится, что при использовании new[] памяти может выделиться

12 ответов

Похожие вопросы