为何memcpy转换的float返回值变化？x86与x64表现不同

嘿，这个问题我之前排查过类似的，核心原因是x86和x64平台的浮点返回调用约定不一样，再加上你处理的是特殊的信号NaN（SNaN），触发了x87浮点单元的自动转换逻辑。

先给你拆解整个过程：

• 你用的整数0x7F845E58对应的32位float是信号NaN（SNaN）——这类NaN的尾数最高位是0，x87浮点单元会把它识别为需要“安静化”的特殊值。
• 平台差异点：
  • x64环境：返回float/double时用的是XMM系列寄存器（比如XMM0），这是原生的32/64位浮点寄存器，直接把栈上的float值原封不动地存进去返回，不会做任何转换。所以你看到的值和函数内一致。
  • x86环境：返回float时依赖的是x87的ST0寄存器，这是一个80位的扩展精度寄存器。当你把栈上的32位SNaN加载到ST0时，x87会自动把SNaN转换成静默NaN（QNaN）——具体操作就是把尾数的最高位（第22位）设为1，这样就不会触发浮点异常了。

对应到你的例子：

1. 函数内的tmp变量通过memcpy得到的原始字节是小端序的0x58 0x5E 0x84 0x7F，对应32位float的十六进制是0x7F845E58（SNaN）。此时直接读栈内存打印，结果是对的。
2. 当函数返回tmp时，x86编译器会把这个32位SNaN加载到ST0，x87自动把尾数的最高位从0改成1，原来的尾数0x45E58变成0xC5E58，对应的32位float就变成了0x7FC45E58，小端序打印就是0x58 0x5E 0xC4 0x7F——正好是你看到的返回后的值！

验证和解决办法 #

• 验证一下：如果把整数改成QNaN（比如0x7FC45E58），返回前后的内存值就会完全一致，因为x87不会修改QNaN。
• 要是你必须严格保留原始的内存字节（不管是不是SNaN），可以试试这两个方案：
  • 别返回float，返回uint32_t类型，在需要用浮点值的地方再用memcpy转成float。
  • 给x86编译器加禁用SNaN转换的选项，比如GCC用-fno-signaling-nans，不过这个选项可能影响其他浮点操作，得谨慎用。

内容的提问来源于stack exchange，提问作者JaeJun LEE