内存对齐为什么既影响结构体大小，也可能影响访问是否异常？

内存对齐为什么既影响结构体大小，也可能影响访问是否异常？

请先给出结论，再结合真实项目说明设计边界、失败模式和验证方法。