C++ 类的内存布局是否会受到地址空间布局随机化的影响

Question

考虑以下 C++ 类：

class MyClass
{
    TypeA a;
    TypeB b;
    TypeC c;
};

我使用的编译器创建此类的表示形式，即内存中成员的顺序与我在类定义中使用的顺序相同。我最近遇到了一个程序，利用这个事实来初始化成员。我知道这是一个非常糟糕的主意，因为布局取决于编译器，但我没有编写代码并且到目前为止它仍然有效。

我想知道现代操作系统中的ASLR 功能是否会搞砸这一切。我很确定如果对象在heap 上动态实例化，情况并非如此。但是其他情况呢？

Answer 1

不...内存布局中的顺序由标准保证，尽管成员之间也可以有填充（总是包含在sizeof 结果中，但这确实意味着像您描述的那样的hacky代码可能想要使用显式编译指示来打包数据成员或使用 offsetof 来计算要操作的偏移范围，否则它们可能会在布局不同的一些其他编译器/编译器设置上中断。

另外，对象的布局是相同的，无论这些对象是在哪里创建的：全局、堆栈、堆 - 它总是相同的。考虑 - offsetof 是一个编译时间常数。