ARM架构参考手册 是此类问题的答案来源。 在A8.8.305节中,它说: 浮点转整数操作使用向零舍入模式。 在术语表中它澄清道: 向零舍入(RZ)模式 意味着结果四舍五入为不大于未舍入结果的最近可表示数字。 (这与IEEE 754中“向零舍入”的含义相同。) 详细信息在FPToFixed和FPUnpack的伪代码中给出。 因此,简而言之:是的,结果保证被饱和。