存储、加载或移动操作后浮点数的相等性疑问

针对你提出的问题，核心结论是：在标准C语义及现代主流CPU架构（x86、ARM等）下，你提供的代码中equal不可能不为1，你的观点是正确的，具体原因如下：

• 浮点数的存储与位精确操作：现代主流平台都遵循IEEE 754标准，float类型以单精度二进制格式存储。单纯的内存读写、寄存器移动、列表存入取出这类非算术操作，属于位精确的复制操作——数值的二进制表示会被完整保留，不会产生任何修改。比如代码中两次赋值1.0到内存，两个float的二进制位完全一致，直接比较必然相等。
• 关于CPU FPU篡改的误解：现代CPU的浮点处理单元不会无理由修改浮点数的二进制位。唯一可能出现数值变化的场景是涉及扩展精度寄存器的算术运算或类型转换，比如x86的x87寄存器是80位扩展精度，若将扩展精度值直接截断存回单精度内存可能产生差异，但你的场景中没有任何算术操作，只是直接赋值和内存读写，不存在这种情况。
• 极端硬件故障除外：如果是硬件层面的内存错误、寄存器故障等异常情况，可能导致数值变化，但这属于硬件故障范畴，并非正常运行时的预期行为，不在常规讨论范围内。

内容的提问来源于stack exchange，提问作者Kai Schmidt