Выделение памяти под структуру через 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[] вынуждены при определенных условиях (см. по ссылке) запрашивать побольше памяти и явно записывать количество элементов массива в самом блоке.

Новые блоги и статьи Все статьи Все блоги /
сукцессия 29. Переход от одних деревьев на другие делать более или менее вероятностным? anaschu 12.07.2026 Насколько смена типов микоризы — исключительное событие в двухвековой сукцессии? Оценка вероятности в пространстве параметров В текущей версии модели успешно реализован ключевой механизм. . .	сукцессия 27. Думаю, как переделывать уже написанную статью с планами на сукцессию. anaschu 12.07.2026 Анализ соответствия модели требованиям Реализованные компоненты: Механизм закисления почвы через протонную помпу Конкуренция между типами микориз pH как триггер сукцессии C/ P соотношение. . .	Сукцессия 26. Мат модель создана. anaschu 12.07.2026 Модель смены растительных сукцессий посредством управления грибами работает внутри небольшой ячейки почвы, восстанавливающейся после пожара, где ненадолго бывшее царство хвойных снова захватили. . .	Решил проблему с ошибкой пагинации сообщений с сервера на алгоритме обхода дерева "Эстафета хвоста". Hrethgir 12.07.2026 Проблема была в том, что удалялась именно новая кнопка, а не старая. Ни один ИИ не обнаружил это, а сам я смог только когда с работой стало попроще и когда заставил работать будущее автономное. . .
сукцессия 25. Хронология ошибок anaschu 12.07.2026 # От 50-тонного гриба до устойчивого леса: хроника ошибок при построении модели вековой сукцессии микоризы ## О чём эта статья В процессе построения ОДУ-модели (система дифференциальных. . .	сукцессия 24. Промежуточное общее описание модели anaschu 12.07.2026 Хендофф: модель АМ→ЭКМ сукцессии микоризы (ризосфера, 50 лет) Содержание проекта Симуляция вековой (50 лет) экологической сукцессии в почве леса Основные участники: АМ-гриб, ЭКМ-гриб,. . .	сукцессия 23. Более физиологичная физиология, более экологичная экология, более диффурные диффуры. anaschu 12.07.2026 Что реально нашли и починили за эти 5 часов Правило Линдемана (КПД конверсии сахара в тело, kEff) — раньше 100% полученного углерода шло прямо в биомассу гриба; теперь только kEff=0. 5 (после. . .	сукцессия 22. От артефактов к физиологии: калибровка агентной модели грибной сукцессии для воспроизведения сезонной динамики и pH-плато anaschu 11.07.2026 Аннотация В данной работе представлена калибровка агентной модели динамики грибных сообществ (fungal-succession), направленная на устранение нефизичных артефактов (коллапс биомассы, мгновенное. . .

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

Опции темы