Загадка ненулевого размера пустых классов C

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

Оказывается, стандарт C явно запрещает объектам и соответствующим им классам иметь нулевой размер. Это условие вытекает из неотъемлемого требования различать отдельные объекты, которые потенциально используют одно и то же пространство памяти.

Стандарт обеспечивает это различие, предписывая, что все классы, независимо от их содержимого, должны иметь минимальный размер, равный единице. Это не позволяет двум разным объектам иметь одинаковые адреса памяти, поскольку такое условие может привести к непредсказуемому и нежелательному поведению.

Следовательно, даже если класс лишен каких-либо определяемых пользователем элементов данных, он по своей сути содержит детали реализации. такие как таблицы виртуальных функций и члены-указатели. Эти важные компоненты увеличивают размер класса, хотя и невидимы для пользователя, поэтому даже пустые классы занимают ненулевой объем памяти.