¿Existe algún atributo de compilador que reordene el contenido de una estructura para un empaquetamiento más eficiente mientras se mantiene una alineación óptima?

Toma las siguientes estructuras, compiladas con gcc 64 bits.

struct A {
  char a;          // tamaño 1
  // 7 bytes de relleno
  long long int i; // tamaño 8
  char b;          // tamaño 1
  // 7 bytes de relleno
}; // tamaño de struct A = 24

struct B {
  char a;          // tamaño 1
  char b;          // tamaño 1
  // 6 bytes de relleno
  long long int i; // tamaño 8
}; // tamaño de struct B = 16

struct __attribute__((packed)) C {
  char a;          // tamaño 1
  long long int i; // tamaño 8
  char b;          // tamaño 1
}; // tamaño de struct C = 10

Todas estas estructuras contienen los mismos tipos. A es la más grande. B reordena su contenido para lograr un tamaño más pequeño. C es aún más pequeña, pero sacrifica la alineación óptima de memoria por ese tamaño.

Obviamente, la alineación de memoria es preferible al realizar la mayoría de las operaciones, pero también es agradable tener un tamaño más pequeño. B elige lo mejor de ambos mundos. Pasar de A a B en este ejemplo es fácil, pero se vuelve un poco molesto trabajar con estructuras más grandes.

Mi pregunta es, ¿existe algún atributo (o algo similar que haga lo mismo) que se pueda agregar a A y que optimice el tamaño reordenando su contenido sin sacrificar la alineación como hace __attribute__((packed))?