Выделение памяти под структуру через new

@bedvit · Регистрация: 20.05.2016

Студворк — интернет-сервис помощи студентам

Мое почтение, джентльмены.
Есть такая структура:

C++
1
2
3
4
5
typedef struct xlmref12 //20 байт
{
    WORD count; //WORD
    XLREF12 reftbl[1];                  /* actually reftbl[count] */
} XLMREF12, *LPXLMREF12;

содержит массив структур

C++
1
2
3
4
5
6
7
typedef struct xlref12 //16 байт
{
    RW rwFirst;
    RW rwLast;
    COL colFirst;
    COL colLast;
} XLREF12, *LPXLREF12;

Выделяю под нее память в Си для 100 элементов

C
1
xlmref12* mRef1 = (xlmref12 *)malloc(sizeof(xlmref12) + 99 * sizeof(xlref12));

Как выделить память под такую структуру в С++.
В некоторых источниках пишут так:

C++
1
xlmref12* mRef2 = new xlmref12[100];

что выделяет лишние 4 байта на каждый элемент.
Сам делаю так

C++
1
xlmref12* mRef3 = (xlmref12 *)new xlref12[100+1];

превышение памяти всего на 12 байт на любого размера массива
Вариант валидный?
Возможная Ваша версия (можно ли свести превышение по памяти к 0)?

@bedvit · 30.03.2021, 19:41 **[ТС]**

Прочитал все 4 страницы - познавательно! С выравниванием: что же выделит malloc(123) или malloc(элементов*размер не кратный выравниванию)? Он знает что-то о выравнивании? И что показывает в таком случае _msize?

@TheCalligrapher · 31.03.2021, 01:07

Сообщение от bedvit

С выравниванием: что же выделит malloc(123) или malloc(элементов*размер не кратный выравниванию)?

malloc всегда выделяет память, которая выровнена на самое строгое требование выравнивания, которое требуется для самого строго-выровненного фундаментального типа в данной реализации. То есть эта память гарантированно выровнена на alignof(max_align_t). Таким нехитрым, но расточительным образом malloc снимает с себя необходимость беспокоиться о конкретных типах.

Сообщение от bedvit

И что показывает в таком случае _msize?

Это не стандартная функциональность. Насколько я знаю, malloc в MSVC всегда хранит в блоке памяти именно тот байтовый размер, который был указан в вызове malloc вызывающим кодом, а не фактический выровненный размер блока. То есть _msize всегда возвращает вам именно тот размер, который вы запрашивали.

В такой реализации, если я ничего не упускаю, действительно можно вычислять количество элементов в массиве, выделенном new [], путем деления _msize на размер элемента. Но тем не менее MSVC++ предпочитает все таки хранить количество элементов дополнительно (для массивов с нетривиальными деструкторами).

Ясно, что если компилятор выполняет объединение соседних вызовов new/new[], то вычислить количество элементов через размер блока все равно не получится. Количество элементов придется хранить отдельно.

---

Ну и конечно же не забываем еще одну важную деталь (о которой я таки забыл выше). Это даже скорее самая главная деталь: new/new[]/delete/delete[] не имеют права полагать, что сырая байтовая память для них выделялась через malloc. Сырая память выделяется/освобождается через посредство operator new/operator delete (и их [] версии), которые могут быть как угодно перегружены пользовательским кодом.

По этой причине new/delete не имеют права строить никаких предположений о структуре полученного ими сырого байтового блока памяти. Его фактический размер им не известен и в общем случае получен быть не может. Размер этого сырого байтового блока памяти может вообще не храниться нигде. Потому вариант с вычислением размера массива через размер блока в байтах - нежизнеспособен. Поэтому new[]/delete[] вынуждены при определенных условиях (см. по ссылке) запрашивать побольше памяти и явно записывать количество элементов массива в самом блоке.

Новые блоги и статьи Все статьи Все блоги /
Рефакторинг программы уравнивания. Massaraksh7 26.05.2026 Пример по предыдущей записи в блоге. Но, надо заметить, что, во-первых, там оптимизация не только математики, но и работы с базой данных, и с графами, а во-вторых, это ещё не всё.	Использование TThread в Lazarus для математических вычислений. Massaraksh7 25.05.2026 Производя рефакторинг своих программ на предмет ускорения их работы, обратил внимание на такой аспект, как сокращение времени матвычислений. Дело в том, что приходится работать с большими матрицами. . .	Модель здравосохранения 18. Чем здоровее работник, тем быстрее выгорает anaschu 24.05.2026 Имитационная модель корпоративного здравоохранения: что показывает математика Сегодня в модели рабочего коллектива на AnyLogic появились три новые механики — выгорание через накопленную усталость,. . .	Модель здравосохранения 17. Планы на выгорание anaschu 23.05.2026 Вот конкретная схема реализации: В классе Работник добавить: накопленнаяУсталость — растёт каждый час работы, снижается в перерывы и болезни коэффициентПрезентеизма — снижает продуктивность. . .
Изменение цветов в палитре gif файла aka фавикона russiannick 23.05.2026 Изменение цветов в палитре gif файла, юзаемого как фавиконка в составе html-файла, помещенная в base64, средствами нативного Java Script, навеянное сном в майский день. Для работы необходим браузер,. . .	Модель здравосохранения 16. Слишком хорошие и здоровые сотрудники уходят, недовольные зарплатой anaschu 23.05.2026 Отладка увольнений и настройка производительности Сегодня во второй половине дня разобрались с механикой увольнений и настроили коэффициент сложности заданий. Вот что было сделано. . . .	Как я стал коммунистом))) Модель сохранения здоровья сотрудников, запись блога номер 15 anaschu 23.05.2026 Внезапно хорошее здоровье сотрудников не нужно капиталистам?))	Модель здравоСохранения 15. Как мы чинили AnyLogic модель рабочего коллектива: сочленение диаграммы состояний болезней и поломок в ресурспул anaschu 23.05.2026 Как мы чинили AnyLogic модель рабочего коллектива Сегодня разобрались с пятью багами, из-за которых модель либо падала с ошибкой, либо давала совершенно бессмысленные результаты. Каждый баг был. . .

@bedvit 1210 / 261 / 22 Регистрация: 20.05.2016 Сообщений: 1,147 Записей в блоге: 22
	30.03.2021, 19:41 [ТС]
	Прочитал все 4 страницы - познавательно! С выравниванием: что же выделит malloc(123) или malloc(элементов*размер не кратный выравниванию)? Он знает что-то о выравнивании? И что показывает в таком случае _msize? 0