非FE_TOWARDZERO舍入模式下double转unsigned long long及ullrint缺失问题咨询

C标准默认的double强转unsigned long long逻辑固定使用截断舍入（对应FE_TOWARDZERO模式），如果要匹配当前浮点数环境的舍入模式，可通过现有标准函数封装实现：

• 前置依赖：需要包含<fenv.h>、<math.h>、<limits.h>头文件，链接时按需添加数学库参数-lm
• 实现注意：不要手动通过加减偏移量的方式模拟舍入，不同舍入模式（四舍五入、向正无穷取整、向负无穷取整等）的逻辑差异很大，直接调用标准库llrint可以完全匹配当前fenv设置的舍入规则，避免出错
• 实现逻辑：
  1. 先做溢出判断：如果输入值小于0，或者大于等于2^64（double可精确表示该值），属于溢出范围，可按需处理（比如返回边界值、抛出错误等）
  2. 对于合法区间[0, 2^64)内的输入：
     • 若输入小于等于LLONG_MAX，直接调用llrint按当前舍入模式转成signed long long，再强转成unsigned long long即可
     • 若输入大于LLONG_MAX，先将输入减去2^63，调用llrint得到结果后，再加上0x8000000000000000ULL补回高位即可
• 示例代码：

unsigned long long ullrint_custom(double x) {
    // 溢出场景处理逻辑可按需修改，此处默认返回0
    if (x < 0 || x >= 0x1p+64) {
        return 0;
    }
    if (x <= LLONG_MAX) {
        return (unsigned long long)llrint(x);
    } else {
        return (unsigned long long)llrint(x - 0x1p+63) + 0x8000000000000000ULL;
    }
}

C99标准首次引入rint、lrint、llrint系列按当前舍入模式转整数的函数时，确实没有设计对应无符号整数的ulrint、ullrint版本，核心原因有两个：

• 硬件层面的适配成本：当时主流架构（比如x86）的浮点数转整数原生指令仅支持输出有符号整数，无符号转换需要额外做边界判断和偏移处理，标准委员会认为将该逻辑交给用户按需封装即可，没有必要增加标准库的实现复杂度
• 需求覆盖度低：实际开发中需要按动态舍入模式转无符号整数的场景远少于有符号场景，且通过signed long long版本封装的成本很低，不足以支撑新增标准内置函数的必要性

补充：最新的C23标准已经正式加入了ullrint系列函数，不过目前多数编译器还未完全落地该特性，生产环境使用仍建议先自行封装兼容。

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