x86_64返回值寄存器约定：大酒楼的出餐窗口

可视化演示

展示整数返回值RAX/RDX、浮点返回值XMM0与结构体返回值寄存器/指针传递规则，交互理解x86_64 ABI返回值约定。

整数返回约定：主窗口 RAX

你走进「x86_64 大酒楼」，点了一份红烧肉。后厨一阵叮当响后，炒好的肉被端到了主窗口 RAX 上——不管这道菜是糖醋里脊还是清蒸鲈鱼（int、指针、枚举），只要它是「一道菜」（64 位以内的整数），餐厅就约定从 RAX 这个固定窗口递出。客人（调用者）根本不用猜，直接去主窗口取就行。这个「约定俗成」就是寄存器返回约定的雏形。

要把这套规矩变成整个行业的共识，就需要白纸黑字的《出餐手册》——System V ABI。手册明确写着：所有 64 位以内的整数、指针、枚举值，一律存放在 RAX 寄存器返回。如果函数要返回的是 __int128 这种「两个菜一锅出」的大份单品，那么额外开一个副窗口 RDX：RAX 放低 64 位，RDX 放高 64 位。两个窗口拼一起，128 位的菜就完整递出去了。

编译器（后厨总管）在生成代码时，会在函数结尾放 mov rax, 返回值 或 mov rdx, 高64位 这类指令，把结果规规矩矩地送到窗口上。调用者则从同一个窗口接住。返回 char 或 short 这类小尺寸菜时，厨房还会「顺手扩个盘」——把高位按符号或零填充好，避免客人拿错尺寸。

所以，主窗口 RAX 承载了后厨绝大多数快递业务。你下次读汇编时，只要看到函数结尾往 RAX 里塞东西，就知道「菜」已经端到窗口上了。如果同时还动了 RDX，说明这是一份 128 位的「大份双拼」，别忘了两个窗口一起看。

浮点返回通道：甜点窗口 XMM0

大酒楼除了炒菜窗口，还有专门的甜点窗口 XMM0。浮点数（float、double）就像蓝莓芝士蛋糕——它跟红烧肉在物理形态上完全不同，如果强行从炒菜窗口递，轻则糊一手奶油。于是行业手册规定：浮点返回值走 XMM0 专用窗口。这个隔离让「甜点」和「正餐」各走各的通道，互不污染。

XMM0 是 SSE/AVX 向量寄存器家族的一员，宽度 128 位及以上。浮点返回值按精度占用它的一部分：float 占低 32 位，double 占低 64 位。如果函数的返回值是 __m128 这样的向量类型，则直接使用完整的 XMM0，甚至扩展到 XMM0:XMM1 组合。

为什么不用 RAX？因为 x86 的通用寄存器（RAX 等）从设计上就不适合直接做浮点运算——早期 x87 浮点栈（ST(0)）是单独的体系，SSE 普及后浮点又搬进了 XMM 家族。ABI 这样拆分「出餐窗口」，等于把甜点和正餐物理隔离。混合返回场景中，比如返回 struct { double d; long l; } 这种 16 字节结构体，分类规则会把它拆成 XMM0（d）和 RAX（l）两个窗口，各取所需。

甜点窗口的存在，让后厨不必为一道甜品停下炒锅——浮点结果与整数结果互不抢道。这也是 SIMD 时代留给 ABI 的清晰印记：每个返回值的「形态」都有自己专属的通道。

结构体返回路径：打包盒与双槽

如果客人点的是「小份全家桶」——一个不超过 16 字节的结构体，比如 struct Point { int x, y; }——后厨不会叫客人拿大箱子，而是直接拿两个标准打包盒（八字节槽位）装好，从 RAX 和 RDX 两个窗口同时递出。整个过程不需要经过一块额外内存。

System V ABI 对结构体返回值有一套「分类」算法：把结构体看作一串 8 字节槽位，再根据槽内字段的类型把每个槽归类为 INTEGER、SSE、MEMORY 等。若所有槽位都不是 MEMORY 类且总大小不超过 16 字节，就通过寄存器返回：第一个槽放 RAX，第二个槽放 RDX（需要时）。若结构体里混有 double 字段，对应槽位会被分类为 SSE，改走 XMM0/XMM1。

这个分类不是简单按大小切两半。比如 struct { char c; double d; } 大小 16 字节：第一槽 c + 7字节填充 是 INTEGER，第二槽 d 是 SSE，于是返回时两个槽分开走 RAX 和 XMM0。编译器会生成两条指令把两个槽塞进对应寄存器，调用者再拼接回结构体。这个细节在把 C 代码移植到汇编或写 FFI 绑定时极易踩坑。

「小份全家桶」用标准打包盒刚好装下，两个窗口一递，客人拎着就走，中间连一块内存都不需要碰——这就是小结构体寄存器返回的价值。

大结构体返回：自带保温箱 RDI

现在客人点了「超级全家桶」——一个 64 字节的大结构体。打包盒塞不进出餐窗，怎么办？后厨和客人的约定是：客人自己带一个保温箱（栈上缓冲区），进门前先把箱子从 RDI 这个特殊通道递给后厨；后厨炒好后直接往箱子里装，装完再把箱子递回来。全程没有一个菜需要走窗口，也没有多搬一次手。

这正是 System V ABI 处理大结构体返回的方式：调用者（客人）在栈上分配一块足够大的内存缓冲区，把缓冲区的地址作为「隐藏的第 0 个参数」放入 RDI 寄存器，交给被调函数。被调函数把整个结构体的内容直接写入这块内存，然后返回，RAX 同时带上缓冲区地址以方便调用者链式使用。这里面没有多余的一次内存拷贝——写入就是最终位置。

这个设计的工程意义重大：如果按朴素思路「先在函数内构造一个临时结构体，再拷贝到栈上另一处给调用者」，64 字节的菜就会被来回搬运两次，缓存和带宽都被白白浪费。RDI 隐式指针方案把目标地址直接传给后厨，后厨在目标位置原地装盒。C++ 编译器在此基础上进一步做 RVO/NRVO：连函数体内的临时对象都省略掉，直接在缓冲区构造返回值。

保温箱方案少走两道窗口，大份菜也毫发无损——它是 ABI 设计中的「零拷贝」智慧，也是 Rust/C++ 大型对象返回值性能表现优异的底层原因之一。

ABI 调用约定：行业手册 System V

前面说的所有窗口规则，并不是某一家饭店自创的，而是「餐饮行业协会」发布的统一手册——《System V ABI》。只要后厨照手册做，全世界的客人都能看懂你的出餐口。这也是为什么 C 写的库能被 Rust、Go、Python 扩展等不同「国别」的代码调用。

System V ABI（简称 psABI）是 x86_64 Linux、BSD 等类 Unix 系统遵循的二进制接口标准。它规定了参数怎么传（前 6 个整数参数依次用 RDI、RSI、RDX、RCX、R8、R9），返回值怎么接（整数用 RAX/RDX，浮点用 XMM0/XMM1），以及调用者保存 vs 被调者保存的寄存器边界。函数只需要在自己的躯体里保证：进来时遵守手册，出去时也遵守手册，整个程序就可以像流水线一样协作。

寄存器分为调用者保存（caller-saved，如 RAX、RCX、RDX、RSI、RDI）和被调者保存（callee-saved，如 RBX、RBP、R12-R15）。「调用者保存」的意思是：如果你在乎这些寄存器里的值，就得自己先存起来，因为被调函数可能随意改写它们。「被调者保存」则保证你从函数回来时，这些寄存器和进去时一样。返回值正好落在调用者保存区——因为它本来就是函数「交接」给调用者的物品，不需要额外保护。注意 Windows x64 的 ABI 与 System V 不同，参数寄存器前四个是 RCX、RDX、R8、R9，返回值寄存器则相似。跨平台写 JIT 或手写汇编时，选错手册会导致灾难。

行业手册的价值在于「统一」。你写的库、我写的框架、他用汇编抠的底层组件，只要都按 System V 出餐，就能严丝合缝地拼在一起。这也是 ABI 被称为二进制世界「通用语言」的原因。

编译优化策略：老后厨的出餐心得

老练的后厨不会傻等菜出锅再找盒子——他们会在你递保温箱时就顺手把锅端到箱子边。编译器的 RVO（返回值优化）正是这个道理。所谓 RVO，是指编译器看到 T f() { T tmp; ... return tmp; } 这种写法时，干脆不在函数内部创建 tmp 的独立栈空间，而是直接在 RDI 指向的返回缓冲区里构造 tmp。于是 return 语句不再触发拷贝，整个函数一次拷贝都没有。

这是「别名」思想的胜利：编译器让局部变量与返回缓冲区共享同一块内存，所有对 tmp 的操作都在最终目的地完成。结构体越大，收益越明显——省掉的不只是一次 memcpy，而是缓存污染和两次全量搬家。C++17 甚至把某些场景的 RVO 从「优化」升级为「标准强制行为」，正是这层语义带来的保证。

除了 RVO，后厨还有几手绝活。寄存器分配：较小的返回值通过 RAX/RDX/XMM0 传递，编译器会优先把计算结果直接放进这些寄存器，避免临时存内存。尾调用优化：如果函数 A 的返回值就是调用函数 B 的返回值，编译器可以把 A 的返回地址也用作 B 的，直接把 B 的返回值收编为 A 的返回值，省掉一层调用栈。内联展开：小函数直接嵌进调用者体内，返回寄存器从「传递」变成了「无感交付」。理解这些优化，对设计高性能库的返回类型以及手写汇编都有直接指导意义。

后厨的本事，在于把「多一道手的搬运」化简到零。下一回你在 C++ 里返回一个大对象，心里该有数：是 RDI 保温箱加上 RVO 的巧手，让那盆全家桶稳稳落在客人桌上。

AI 应用场景

Python 演示

"""x86_64 System V ABI 返回值寄存器分配模拟器"""  def classify_int(nbits):    """整数返回值: <=64 位走 RAX, <=128 位走 RAX:RDX"""    if nbits <= 64:        return ['RAX']    if nbits <= 128:        return ['RAX', 'RDX']    raise ValueError('x86_64 ABI 不支持超过 128 位的整数返回')  def classify_float(typename):    """浮点返回值: float/double 走 XMM0"""    if typename in ('float', 'double'):        return ['XMM0']    raise ValueError('不支持的浮点类型: ' + typename)  class StructType:    """模拟 C 结构体, 只需名称与大小"""     def __init__(self, name, size):        self.name = name        self.size = size     def __repr__(self):        return 'struct %s (%dB)' % (self.name, self.size)  def classify_struct(st):    """结构体返回: <=16B 拆成两个八字节槽走寄存器, >16B 走 RDI 隐式指针"""    if st.size <= 8:        return ['RAX']    if st.size <= 16:        return ['RAX', 'RDX']    return ['RDI(隐式指针)', 'RAX(缓冲区地址)']  def get_return_locations(return_type):    """根据 System V ABI 规则, 返回返回值应使用的寄存器列表"""    if isinstance(return_type, int):        return classify_int(return_type)    if isinstance(return_type, str):        return classify_float(return_type)    if isinstance(return_type, StructType):        return classify_struct(return_type)    raise TypeError('未知返回类型: %r' % (return_type,))  def main():    cases = [        32,        64,        128,        'double',        StructType('Point2D', 8),        StructType('Point3D', 12),        StructType('Matrix4x4', 64),    ]    for case in cases:        locs = get_return_locations(case)        print('返回 %-16s -> %s' % (case, ' + '.join(locs)))  if __name__ == '__main__':    main()

1. if nbits <= 64: return ['RAX']64 位及以内的整数只有一个返回值槽，走主窗口 RAX。
2. if nbits <= 128: return ['RAX', 'RDX']128 位整数需要主窗口加副窗口，两半拼成完整返回值。
3. if typename in ('float', 'double'): return ['XMM0']浮点值统一走甜点窗口 XMM0，不占炒菜窗口。
4. if st.size <= 16: return ['RAX', 'RDX']小结构体按两个八字节打包盒装进 RAX/RDX，无需内存。
5. return ['RDI(隐式指针)', 'RAX(缓冲区地址)']大结构体由调用者经 RDI 递入保温箱，函数原地装盒。

常见误区

面试题