可互换声明的变量具有相同的内存地址模式

Question

我有一个函数，在函数中，我有两个变量，

  int auth_flag = 0;
  char buffer[16];

现在这里是gdb命令x/s buffer的输出

0xffffd01c: "\201\203\004\b\344\203\373\367\002"

和print &auth_flag的输出

$1 = (int *) 0xffffd018

现在，我们从输出中看到，auth_flag 的位置是缓冲区之前的 4 个字节。现在，如果我这样声明变量

char buffer[16];
int auth_flag = 0;

前面命令的输出是

0xffffd00c: "\201\203\004\b\344\203\373\367\002" and
$1 = (int *) 0xffffd008

同样的事情。落后 100 个字节，但顺序相同。我的问题是，由于我已经反转了变量声明，为什么在 gcc 中变量的地址顺序没有反转。我正在读一本书，据说地址应该颠倒，但这并没有发生在我的电脑上。所以我真的很困惑。

Answer 1

如果这本书说自动变量在标准 C 或 C++ 中彼此之间有任何特定的地址关系，那就把它烧掉。 struct 或 class 中的字段具有实现定义的布局。自动变量甚至不能保证分配到内存。

现在，C++ 所做 保证的是定义符号的顺序（编译时构造，而不是内存布局问题），以及调用构造函数的顺序。例如，该顺序以精确的方式定义了以下代码的含义：

int foo(int x)
{
    int y = x;  // this sees the argument x
    int x = 3;  // this defines an automatic variable named x that shadows the argument

    return x + y;
}

C++ 还保证了对象的构造和销毁顺序。 （当它们按出现顺序进入作用域时被构造，在它们离开作用域时以相反的构造顺序被破坏。）但是，我不会深入研究，因为这超出了你的问题。