Alignement de char

Salut,

J'aimerai reprendre sur des bases saines la discussion sur
l'alignement des chars qui est un peu partie en eau de boudin. En
guise d'illustration voici, par exemple, trois définitions de type :

1)
typedef struct
{
char c1, c2, c3, c4;
} T1;

2)
struct MyStruct
{
char c;
};
typedef struct MyStruct T2[4];

3)
typedef char T3[4];

Soyons d'accord dès le départ, la norme dit *très clairement* que T1,
T2 et T3 peuvent avoir chacun des représentations mémoires
parfaitement distinctes. En effet il peut y avoir du padding entre les
char de T1, et même dans la struct MyStruct de T2. Il est donc
parfaitement interdit de caster un T1* en T2*, un T2* en T3*, etc. La
question n'est pas là.

Maintenant que je sais que sizeof(char) est égal à 1 par définition
(merci encore pour cette précision !), il est aussi clair que
sizeof(T3) est toujours égal à 4. Mes char sont donc bien rangés les
uns derrière les autres, et mon système n'a aucun problème pour
lire/écrire chacun d'eux. Je veux dire par là qu'il n'y a donc aucune
contrainte technique (hardware ou autre) qui pourrait empêcher mes
char d'être rangés comme cela en mémoire.

Ma question est d'ordre pratique et ne concerne pas la norme. Par
simple curiosité, est-ce que vous pourriez me donner toutes les
raisons possibles qui pourraient vous passer la tête pour que T1 ou T2
n'ait pas la même représentation en mémoire que T3 ? Qu'est ce qui
pourrait pousser un compilateur à rajouter du padding dans T1 ou dans
MyStruct ?
La première qui me vient à l'esprit est la performance. En effet, il
pourrait être plus efficace (mais pas obligatoire) sur certain système
que les char soient alignés sur des mots par exemple.

Notez que ma question reste valide si on remplace le type 'char' par
n'importe quel autre type dans mes trois définitions ci dessus.

Merci pour vos réponses éclairées.

--
- Randolf