c - 程序在这里如何使用堆栈？

Question

对于下面显示的代码，如果我打印地址，我会得到以下结果。

&test_var1 = 0x7fff0067d87c
&barrier (passed argument) = 0x7fff0067d770
&i (passed argument) = 0x7fff0067d77c
&test_var2 = 0x7fff0067d78c

这里有两件事我不明白。首先是我读到 C 将参数从右推到左，然后是 &i 是如何大于 &barrier 的。知道栈是从高地址向低地址增长的，&i应该在低地址。此外，局部变量 test_var2 的地址甚至更大。

其次，人们希望 &barrier 和 &test_var1 的值接近，但是没有，您看到了 268 字节的巨大差异。中间的堆栈是什么？

请注意，我使用的是优化 O3。是因为这个吗？也许编译器在这里玩了一些花样？我使用 volatile 来确保每个变量都在此处的堆栈上，而不是缓存在某个寄存器中。

void some_func()
{
.........
{
  volatile int test_var1 = 0;
}
call_func( i, &barrier );
........
}

void call_func( volatile int i, volatile pthread_barrier* barrier )
{
 volatile int test_var2 = 0;
 ........
}

Answer 1

在 x86 上，堆栈(在 f() 调用 g() 时使用)向下增长。

无论如何，编译器为某个调用安排 var/s 的方式取决于实现。