C语言实浮点数转整数向零截断是否为便于Fortran代码迁移至C？

C11标准6.3.1.4节「Real floating and integer」明确规定：

当有限精度的实浮点类型值转换为除_Bool外的整数类型时，小数部分会被丢弃，即数值向零截断。

以下是针对问题的具体解答： #

1. 不采用IEEE 754 convertToIntegerTiesToEven(x)规则的核心原因 #

核心原因是性能开销考量，出自2003年4月发布的《Rationale for International Standard -- Programming Languages -- C》修订版5.10的6.3.1.5节「Real floating types」说明：

由于向零截断（truncation-toward-zero）是前者场景下C语言的合适设置（appropriate setting），要求这类实现向float类型舍入会带来过高开销。

向零截断的实现逻辑极其简单，仅需直接丢弃小数部分即可，不需要额外做舍入阈值判断、中间值奇偶校验等操作，即便在没有IEEE 754硬件浮点单元的低端设备上也能以极低成本实现。如果强制要求采用四舍五入到最近偶数的规则，大量不支持对应硬件指令的平台需要额外插入软件模拟代码，会带来不可接受的性能损失，违背C语言的低开销设计原则。

2. 与Fortran代码迁移的关系 #

Fortran兼容性确实是C99正式固化向零截断规则的核心推动因素之一，同一份原理文档的6.5.5节「Multiplicative operators」说明：

C89中涉及负操作数的整数除法可由实现定义向上或向下舍入，初衷是避免运行时代码检查特殊情况、强制执行特定行为带来的开销。但Fortran的运算结果始终向零截断，这类开销对数值编程社区而言是可接受的，因此C99要求类似的行为，便于Fortran代码迁移到C（facilitate porting of code from Fortran to C）。

C89阶段浮点转整数、带负操作数的整数除法的舍入行为属于实现定义范畴，不同编译器处理逻辑存在差异。到C99制定阶段，数值计算领域的Fortran代码向C迁移的需求快速增长，而Fortran默认的浮点转整数、整数除法均采用向零截断逻辑，为了降低迁移适配成本、减少跨语言代码的逻辑差异，标准委员会才正式将向零截断固化为强制要求，数值计算社区也普遍认可该方案的综合收益高于性能开销的损失。

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