c++ - 堆栈上的变量是否连续？

Question

我想知道下面代码中的数组 a[] 和 b[] 在内存中是否连续:

int main() {
    int a[3];
    int b[3];

    return 0;
}

a[0]、a[1] 和 a[2] 应该是连续的并且对于 b< 是相同的，但是对于 b 相对于 a 的分配位置是否有任何保证？

如果不是，有没有办法强制a 和b 彼此相邻？即 - 以便它们在堆栈中彼此相邻分配。

Answer 1

不，C++ 不保证这些变量在内存中的位置。一个或两个甚至可能不在内存中(例如，如果它们被优化掉了)!

为了获得两者之间的相对顺序，至少，您必须将它们封装到 struct 或 class 中，即使那样，也会有要考虑的填充/对齐。