x86_64-linux-gnu：为什么要减去堆栈指针？

Question

我正在将下面的 sn-p 编译成程序集

void function(int a, int b, int c) {
   char buffer1[5];
   char buffer2[10];
}

void main() {
  function(1,2,3);
}

这是function的程序集sn-p

function:
    pushq   %rbp
    movq    %rsp, %rbp
    subq    $48, %rsp ; why is 48 being subtracted from the stack pointer?
    movl    %edi, -36(%rbp)
    movl    %esi, -40(%rbp)
    movl    %edx, -44(%rbp)
    movq    %fs:40, %rax
    movq    %rax, -8(%rbp)
    xorl    %eax, %eax

我在 64 位机器上运行它，所以我认为三个 8 字节字足以容纳 buffer1 和 buffer2。

Answer 1

乍一看，这似乎是内存对齐问题。 This question 详细介绍，我会特别注意 joshperry 的回答：https://stackoverflow.com/a/381368

维基百科在这里也谈到了这一点：Data structure alignment

简而言之，char buffer1[5] 将创建两个 64 字节的字（字符 1-4 和 5+）。如果没有，那么每次您引用buffer2 时，系统都必须执行至少两次操作才能获得buffer2 的正确起点。