变长结构体为啥需要对齐

zhendehaoren

当一个结构体最后一个成员为 char p[0] ，需要指定结构体为几字节对齐，请问这样做的目的是什么？

1 是否只要这样就必须得指定对齐
2 没有这样成员就不需要对齐吧

cokeboL

零长的成员作为地址指示数据段，比如struct T{ xxx char data[0] }; T t; 赋值方把p所在的内存赋值为malloc出来的内存地址， 需要用到这段内存的地方取 t.data就是malloc出来的内存。
如果不设置字节对齐，并且char p[0]在结构体末尾，无法保证p所对应是指针长度的内存，赋值的时候就越界了

myworkstation

回复 1# zhendehaoren


    不是变长结构体才要对齐的，而所有结构体都需要对齐，除非显式设置选项拒绝对齐，地址对齐是CPU指令的要求，某些CPU指令要求访问的数据必须对齐，对齐的数据访问比不对齐的要高效。

max_min_

字节对齐都需要的，提高访问效率

folklore

和其它struct一样处理就行了。 没有必要显式处理对齐。
当然这种struct是不能成为数组的。