Оптимизация макета класса путем безопасного минимизации отступов

У меня есть следующий тип, и моя цель — оптимизировать размер Storage:

struct Inlined   { int  data[9];              };            // sizeof => 36
struct Allocated { int* data; size_t capacity };            // sizeof => 16
union  Data      { Inlined inlined; Allocated allocated; }; // sizeof => 40

struct Storage {                                            // sizeof => 56
  size_t size;
  bool is_allocated;
  Data data;
};

Я понимаю, что размеры и макет могут различаться в зависимости от компилятора и платформы. Моя цель - получить более компактную компоновку хотя бы на некоторых компиляторах/платформах.

Как вы можете видеть в моем примере, Data имеет 4 байта заполнения, потому что Inlined и Allocated имеют разное выравнивание, а Data выровнено по 8 байтам. Я пытаюсь найти способ втиснуть логическое значение is_allocated в это дополнение.

До сих пор я придумал следующую структуру, и я был бы очень признателен, если бы кто-то мог подтвердить или опровергнуть «безопасность» / «законность» такого типа:

struct CompactStorage {                                      // sizeof => 48
  size_t size;
  union {
    struct {
      bool is_allocated;
      Inlined inlined;
    };
    struct {
      bool copy_of_is_allocated;
      Allocated allocated;
    };
  };
};

Чтобы уточнить, под безопасностью я подразумеваю, что я ожидаю, что CompactStorage::is_allocated и CompactStorage::copy_of_is_allocated будут совмещать одну и ту же память. И я ожидаю, что если я пишу в CompactStorage::is_allocated, то он не перезаписывает байты с псевдонимом CompactStorage::allocated (и наоборот). Если это не так, то я считаю CompactStorage небезопасным, поскольку его нельзя использовать в качестве замены Storage.

P.S. Я знаю о битовых полях и намеренно не использую их из-за (доказанных) последствий для производительности.