C语言中不存在“行列对齐”概念，数组在结构体中按其元素类型对齐：char数组对齐数为1，double数组为8，结构体数组则依其最大成员对齐；数组内部连续存放，不额外填充；结构体总大小由最大成员对齐数决定，并受数组拉长偏移影响。
“规则数组的行列对齐原理”这个说法在标准 C 语言或计算机内存模型中并不存在——C 语言里没有“行列对齐”这一独立概念。你真正想问的，其实是数组在结构体中如何参与内存对齐，尤其是当数组作为结构体成员时，它的起始地址、内部布局和整体结构体大小如何受对齐规则影响。
数组本身不决定对齐，元素类型才决定
结构体中的数组（如 char buf[100] 或 int arr[5]）不会按整个数组长度对齐，而是按其单个元素的类型大小对齐：
-
char a[20]：每个char占 1 字节，对齐数为min(1, 默认对齐值)= 1 → 数组起始地址只需是 1 的倍数（即任意地址都合法） -
double d[3]：double通常占 8 字节，对齐数为min(8, 默认对齐值)→ 若默认对齐是 8，则数组必须从 8 字节对齐地址开始 -
struct Inner s[2]：先看struct Inner的最大成员对齐数（比如含int和char，最大对齐数是 4），则该数组按 4 对齐
数组在结构体中的偏移计算方式
数组作为成员，和其他变量一样，遵循“成员偏移对齐规则”：
- 编译器在放置该数组前，检查当前偏移地址是否满足「数组元素类型的对齐要求」
- 若不满足，就在前一个成员后插入填充字节，使数组首地址对齐
- 数组内部连续存放，不额外对齐中间元素（例如
int arr[3]就是紧挨着放 3 个 4 字节整数，中间无空隙）
数组不影响结构体总对齐数，但影响总大小
结构体的最终大小仍由「所有成员中最大的对齐数」决定，数组本身不提升这个最大值；但它会拉长成员累计偏移，进而影响末尾是否需要填充：
- 例：
struct { char c; int a[2]; }→c占 1 字节，之后补 3 字节使a[0]从地址 4 开始；a[0]和a[1]各占 4 字节，共到地址 12；最大对齐数是 4，12 已是 4 的倍数 → 总大小 = 12 - 若改成
char c; double d[1];，double对齐数为 8，c后需补 7 字节，d占 8 字节，到地址 16；最大对齐数变成 8，16 是 8 的倍数 → 总大小 = 16
嵌套数组 + 结构体的组合对齐
当数组元素是结构体时，对齐依据仍是该结构体的最大成员对齐数，不是结构体总大小：
-
struct S { char x; int y; };→ 内部最大成员是int（对齐数 4），所以struct S对齐数 = 4，sizeof(struct S) = 8 -
struct T { char c; struct S arr[2]; };→c占 1 字节，之后补 3 字节使arr[0]从地址 4 开始；每个struct S占 8 字节，两个共 16 字节，覆盖地址 4–19；结构体最大对齐数是 4，当前末地址是 20（即大小 20），20 是 4 的倍数 → 总大小 = 20
