如何检查double转int时的未定义行为及合法转换范围？

API 探路者

2026-6-28

安全将double转换为int的可移植性检查方案

当我们需要把double类型值x转换为int时，直接使用强制转换(int)x在x处于int取值范围内是合法的，但一旦x超出int的范围，就会触发未定义行为。根据C17标准6.3.1.4-1的规定：

当实数浮点类型的有限值转换为_Bool以外的整数类型时，会舍弃小数部分（即向零取整）。如果整数部分的值无法用目标整数类型表示，则行为未定义。

核心问题

如何对x做可移植性检查，在保证无未定义行为的前提下，允许尽可能多的合法值转换？

用户给出的初步实现如下：

if(x > ((double)INT_MIN)-1.0 && x < ((double)INT_MAX)+1.0)
{
  int n = (int)x;
  ...
}
else
  // Error: out of range

分析与正确实现

这个初步方案在32位int的系统中可以正常工作，但存在两个可移植性缺陷：

未处理x为NaN或无穷大的情况，这类值的比较结果不符合预期
当int为64位时，INT_MAX无法被double精确表示，(double)INT_MAX + 1.0会和(double)INT_MAX相等，导致正数边界检查失效

更严谨的可移植性检查需要覆盖所有边界情况，步骤如下：

先确认x是有限值（排除NaN、正无穷、负无穷）
获取x向零取整后的浮点值，确保该值落在int的取值范围内

对应的代码实现：

#include <limits.h>
#include <math.h>

// 初始化double类型变量x
double x;
...

if (isfinite(x)) {
    double truncated_x = trunc(x);
    if (truncated_x >= (double)INT_MIN && truncated_x <= (double)INT_MAX) {
        int n = (int)x;
        // 执行转换后的逻辑
    } else {
        // 处理超出int范围的情况
    }
} else {
    // 处理NaN或无穷大的非法输入
}