Блог

В соответствии со стандартом C (унаследованным от C) пустые структуры, тем не менее, имеют ненулевой размер. Причина этого (жалкое ИМХО) заключается в том, что две разные переменные должны иметь разные адреса. Теперь наследование пустой структуры не всегда «раздувает» объект. Но в некоторых ситуациях это так.

У меня довольно сложная архитектура классов, включающая жестокое шаблонное вуду. В результате конечные классы (экземпляры которых мне нужно создать) могут иметь несколько унаследованных пустых структур. Из-за этого часть из них может быть в конечном итоге раздута. И хуже всего то, что их расположение памяти фактически зависит от порядка наследования.

Я бы хотел избавиться от всего этого, если это возможно.

Существует ли компилятор C , который можно настроить для устранения этой потери пространства за счет фактического нарушения стандарта?

Редактировать:

Я имею в виду это:

 struct Empty1 {};
struct Empty2 {};

struct NonEmpty {
    int Value;
};

struct MyClass1
    :public NonEmpty
    ,public Empty1
    ,public Empty2
{
};

struct MyClass2
    :public Empty1
    ,public NonEmpty
    ,public Empty2
{
};

struct MyClass3
    :public Empty1
    ,public Empty2
    ,public NonEmpty
{
};

STATIC_ASSERT(sizeof(MyClass1) == 8);
STATIC_ASSERT(sizeof(MyClass2) == 4);
STATIC_ASSERT(sizeof(MyClass3) == 8);
  

Не только пустые структуры раздувают объект (когда наследуется более одной такой вещи), но и результат зависит от порядка наследования пустых структур.

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

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

В большинстве современных компиляторов c вы обнаружите, что:

 struct a { }; // empty struct
struct b : a { int x}; // inherits from empty struct.

assert(sizeof(b)==sizeof(int)); // despite sizeof(a) >0
  

Это практически снимает ваши опасения?

Существует ли компилятор C , который можно настроить для устранения этой потери пространства, …

Да. gcc-4.3.4

… за счет нарушения стандарта на самом деле?

Нет, стандарт допускает желаемое поведение.

g поддерживает массивы нулевого размера, вы можете использовать один из:

 struct Empty1 {
  int dummy[0];
};
  

или

 struct Empty2 {
  int dummy[];
};
  

Он генерирует предупреждение, только если используются флаги ‘-pedantic’.

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

Чтобы «решить» эту проблему, вам необходимо убедиться, что пустые классы или структуры, от которых вы наследуете другой класс, не имеют общих предков.

Или вы можете вручную создать класс самостоятельно, но похоже, что вы делаете что-то вроде создания типа вершин DirectX из перечисления объявления вершин DirectX, так что это не очень помогло бы.