8
struct t1 {};

int s0 = sizeof(t1); // почему 1, а не 0?
2

2 ответа 2

16

Потому что два указателя на различные объекты обязаны быть различными.

Если даже что-то может занимать 0 байт, то ему всё равно нужен уникальный адрес, а минимальным адресуемым пространством является байт. Вот и получается, что пустая структура занимает этот байт, хотя никак его не использует.

18
  • Интересно, а выравнивание в памяти к этому тоже применимо, и т.о. пустой объект займет еще больше?
    – Kromster
    9 окт 2020 в 13:06
  • @Kromster, полагаю, выравнивание будет работать так же, как с char. Есть причины делать иначе? Почему должен занять больше, я не понял. На char же не надо больше. Впрочем, если положить в другую структуру перед int'ом, то у меня сомнения, что получится, а именно, не может ли он соптимизировать до выкидывания поля вообще.
    – Qwertiy
    9 окт 2020 в 13:10
  • 1
    Да тут просто нечего выравнивать, если только не объявить это явно: struct alignas(4) t1 { }; 9 окт 2020 в 13:18
  • А нет, все ок, чары не выравниваются )
    – Kromster
    9 окт 2020 в 13:23
  • 1
    @Kromster, char'ы выравниваются по 1 байту, short'ы по 2 и так далее. Точнее говоря, они выравниваются по своему размеру, если он меньше битности программы.
    – Qwertiy
    9 окт 2020 в 13:40
5

В С++ один байт (точнее sizeof(char)), в Си (в тех расширениях языка, где резрешены пустые структуры) ноль.

По крайней мере GNU компилятор gcc/g++ (Ubuntu 7.5.0-3ubuntu1~18.04) 7.5.0 для всех стандартов языка Си (-std= c90,gnu90,c99,gnu99,c11,gnu11) разрешает использовать пустую структуру и говорит, что ее размер (sizeof(...)) равен нулю.

Для пустой структуры во всех стандартах C++ (-std= c+98,gnu++98,c++11,gnu++11,c++14,gnu++14,c++1z,gnu++1z) этот же компилятор также разрешет испольковать пустые структуры, но размер такого объекта равен 1.

P.S.
на мой взгляд, такое расхождение это форменное безобразие (для Си), поскольку печатая адреса последовательно определенных переменных с типом такой пустой структуры, вы можете заметить, что реально в памяти под каждую из них отводится 1 байт.

P.P.S
Clang тоже разрешает пустые структуры, для Си размер 0.

3
  • Комментарии не предназначены для расширенной дискуссии; разговор перемещён в чат.
    – Grundy
    10 окт 2020 в 11:28
  • Нет одного байта в си: ideone.com/9ppJMz.
    – Qwertiy
    12 окт 2020 в 8:38
  • @Qwertiy, а разве я писал, что выделение 1 байта происходит для элементов структуры? Адрес у них очевидно есть, это адрес следующего члена структуры. Память выделяется, если это переменная "верхнего уровня", программа видит это имя без квалификации. / Вообще с памятью еще интересней. Каждой переменной в стеке дается свой адрес, а всем пустым статическим (даже разного типа и не важно static/extern) одинаковый. Как-то так.
    – avp
    12 окт 2020 в 17:48

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.