standard_layout class 的数据成员与对象地址的偏移量是否固定？

Question

如果 class is_standard_layout，是否足以保证给定的非静态数据成员始终与对象的地址具有相同的偏移量（即在该[的不同实例之间相同） =15=], 进程范围)?

Answer 1

这实际上必须适用于任何类型的对象（在程序中）。访问子对象是通过偏移量发生的，这些偏移量在编译时已知并且在机器代码中是常量。对于 SL 类型，您可以通过 offsetof 验证这一点 - 这保证适用于标准布局类型并且基本上意味着统一的偏移量。