同じように修飾される 2 つの配列型は、それらのエレメントの型に互換性
があれば、互換性があります。
例えば、次のような場合です。
char ex1[25];
const char ex2[25];
これらには、互換性はありません。
2 つの互換配列型から成る複合型は、複合エレメント型を持つ配列です。
元の型のサイズが両方とも既知である場合は、両方のサイズが同じでなければなりません。
元の配列型のサイズがどちらか一方だけ既知である場合は、その既知のサイズが複合型のサイズです。
次に例を示します。
char ex3[];
char ex4[42];
この場合、
ex3 および
ex4 の複合型は
char[42] です。元の型のいずれかが可変長配列である場合、複合型はその型です。