Go 的“浮点数陷阱”将被填平：浮点转整数即将在所有平台上行为一致
💡
原文中文，约3300字，阅读约需8分钟。
📝
内容提要
Go语言中浮点数转换为整数存在平台差异，导致结果不一致。提案建议实施“饱和转换”，确保超出范围的浮点数返回最大或最小值，以提高跨平台一致性，消除潜在Bug，增强可移植性。
🎯
关键要点
- Go语言中浮点数转换为整数的行为因平台差异而不一致。
- 提案建议实施饱和转换，确保超出范围的浮点数返回最大或最小值。
- 当前的转换结果在不同架构下可能导致严重的Bug。
- 饱和转换的规则包括正溢出返回最大值，负溢出返回最小值，NaN返回0。
- AMD64架构的性能成本是实施饱和转换的主要考虑因素。
- 提案计划分阶段实施，以减少对生态系统的冲击。
- 该提案体现了Go语言设计哲学，强调可预测性和可移植性。
- 跨平台开发中的未定义行为是最难调试的Bug，提案旨在解决这一问题。
❓
延伸问答
Go语言中浮点数转换为整数的行为为何存在差异？
因为浮点数转换为整数的行为长期以来属于实现定义，依赖于底层的CPU架构，导致不同平台上结果不一致。
什么是饱和转换，它如何解决浮点数转换的问题？
饱和转换是指当浮点数超出目标整数范围时，结果被限制在最大值或最小值，从而消除不一致性。
提案中对AMD64架构的性能影响是什么？
AMD64架构的饱和转换需要额外的检查代码，可能导致性能下降，但提案认为消除不一致性是值得的。
提案的实施计划是怎样的？
提案计划分阶段实施，Go 1.26引入实验标志，1.27设为默认行为，1.28正式修改规范。
为什么跨平台开发中的未定义行为难以调试？
因为未定义行为的结果依赖于具体的CPU架构，导致开发者难以预测和重现问题。
该提案如何体现Go语言的设计哲学？
提案强调可预测性和可移植性，优先考虑代码的一致性而非特定平台的性能优化。
➡️
