结构体对齐问题

ofourme

本来以为自己对结构体对齐还算了解，今天用MDK3.8a写了段测序，结果发现跟自己想像的不太一样。
已知list_s 大小为8.

typedef struct
{
 list_s list;
 u8 type;
 u8 key;

 u8 order;
 u8 attri;

} bcb_bdy_s;

结果sizeof(bcb_bdy_s)  大小为12，跟我想像的一样。

typedef struct
{
 list_s list;
 u8 type;
 u8 key;
} object_s;
typedef struct
{
 object_s o;
 u8 order;
 u8 attri;

} bcb_bdy_s;

结果sizeof(bcb_bdy_s)  大小居然为16。请问这个有什么标准定义的吗？还是编译器的问题？

mygod

结构体内有 结构体 成员
分别先算 内部结构体变量 大小，如上
object_s o 为 12

则总的 为 16

Pony279

结构体填充。

Pony279

1楼正解。
我的理解是，如果 list_s 需要4字节对齐，那么结果就是 bcb_bdy_s 和 object_s 都至少要4字节对齐的，

ofourme

回复【4楼】Pony279:
---------------------------------
无论哪种写法，就算是package，也可以保证内部结构体的四字节对齐，都可以保证对内部基本类型的存取操作的对齐。或许真如一楼的说法，但想不明白那样有什么好处与必要。

Pony279

回复【5楼】ofourme:
---------------------------------
typedef struct
{
 list_s list;
 u8 type;
 u8 key;
} object_s;
typedef struct
{
 object_s o;
 u8 order;
 u8 attri;

} bcb_bdy_s;

首先，sizeof object_s 必须是12这个没有异议（应为object_s有可能被用来创建数组，本身必须保证对齐），按照你的意思，是希望编译器优化，让bcb_bdy_s也是12吧？
如果优化了，那么带来的问题是：
bcb_bdy_s a;
sizeof(a.o) == ?
sizeof(a.order)==?
sizeof(a.attri) == ?
三个加起来又是？

ofourme

回复【6楼】Pony279:
---------------------------------
看来应该是为了这个原因。