为什么不使用堆栈内存？-解网

问：

请看以下示例：

struct vector {
    int  size() const;
    bool empty() const;
};

bool vector::empty() const
{
    return size() == 0;
}

生成的汇编代码（通过 clang，经过优化）：vector::empty

push    rax
call    vector::size() const
test    eax, eax
sete    al
pop     rcx
ret

为什么要分配堆栈空间？它根本没有使用。可以省略和。MSVC 和 gcc 的优化版本也为此函数使用堆栈空间（参见 godbolt），因此一定是有原因的。pushpop

C++ 代码生成调用约定 ABI 堆栈分配

MSVC：文档指出堆栈始终是 16 字节对齐的。任何命令行参数都无法更改此设置。godbolt 示例显示，从函数的开头减去 40 个字节，这意味着其他因素也会影响这一点。rsp
clang：-mstack-alignment 选项指定堆栈对齐方式。默认值似乎是 16，尽管没有记录。如果将其设置为 8，则堆栈分配（和）将从生成的汇编代码中消失。pushpop
gcc：-mpreferred-stack-boundary 选项指定堆栈对齐方式。如果给定值为 N，则表示 2^N 字节的对齐。默认值为 4，表示 16 个字节。如果将其设置为 3（即 8 字节），则堆栈分配（和 for ）将从生成的汇编代码中消失。subaddrsp

在 godbolt 上查看。

为什么不使用堆栈内存？