В C есть трюк, который выглядит странно, но постоянно встречается в системном коде.
Структура может заканчиваться массивом без размера:
`int data[];`
Это называется flexible array member.
Смысл простой: размер массива задаётся не в объявлении структуры, а в момент выделения памяти.
Вместо двух отдельных аллокаций:
- отдельно структура;
- отдельно массив данных;
можно сделать одну непрерывную область памяти:
- заголовок объекта;
- сразу за ним данные переменной длины.
Пример:
`malloc(sizeof(Array) + n * sizeof(a->data[0]))`
Так объект становится компактнее, кэш работает лучше, меньше указателей, меньше фрагментации памяти и меньше накладных расходов на аллокации.
Эта техника стандартизирована в C99 и активно используется в низкоуровневом коде, включая части Linux kernel.
Но есть важный нюанс: flexible array member должен быть последним полем структуры. После него уже нельзя добавлять другие поля, потому что массив физически “растёт” за пределы самой структуры.
C снова напоминает: язык почти ничего не скрывает, зато даёт прямой контроль над тем, как объект лежит в памяти.
Post #1458
4.31K

- 👍 27
- ❤ 10
- 💯 5
- 🙈 1
- 💊 1