¿Por qué el relleno tiene que ser una potencia de dos?

Estoy haciendo algunos programas de muestra para explorar C y me gustaría saber por qué el relleno de la estructura se puede hacer solo en potencia de dos.

#include <stdio.h>

#pragma pack(push, 3)

union aaaa
{

   struct bbb
   {
      int a;
      double b;
      char c;
   }xx;

   float f;
};

#pragma pack(pop)

int main()
{

printf("\n Size: %d", sizeof(union aaaa));

return 0;
}

Mientras se compila

warning: alignment must be a small power of two, not 3 [-Wpragmas]
warning: #pragma pack (pop) encountered without matching #pragma pack (push) [-Wpragmas]

Parece que #pragma no tiene efecto. La salida es 24 solamente. es decir, 4 bytes alineados.

Respuestas a la pregunta(5)

Su respuesta a la pregunta