如何在Dart中实现与Java Math nextUp()、nextDown()等效的方法？

Java中的nextUp()和nextDown()方法用于获取与给定double值相邻的、分别向正无穷和负无穷方向的下一个可表示double值，核心原理是通过操作double的64位二进制表示的整数形式，再转回double类型。以下是在Dart中的对应实现：

实现思路 #

Dart的double类提供了toRawInt64()方法（将double转换为对应的64位整数二进制表示）和静态方法fromRawInt64(int bits)（将64位整数转回double），我们可以利用这两个方法复刻Java的逻辑。

1. nextUp()方法实现 #

该方法返回向正无穷方向的下一个可表示double值：

double nextUp(double d) {
  // NaN直接返回自身
  if (d.isNaN) return d;
  // 正无穷直接返回自身
  if (d == double.infinity) return d;
  // 负无穷返回最小的正double值
  if (d == double.negativeInfinity) return double.minPositive;
  
  // 处理-0.0，转为+0.0后再处理
  if (d == -0.0) {
    return double.minPositive;
  }
  
  int bits = d.toRawInt64();
  // 正数：二进制位加1；负数：二进制位减1
  bits += d > 0 ? 1 : -1;
  return double.fromRawInt64(bits);
}

2. nextDown()方法实现 #

该方法返回向负无穷方向的下一个可表示double值，有两种实现方式：

方式一：独立实现逻辑

double nextDown(double d) {
  // NaN直接返回自身
  if (d.isNaN) return d;
  // 负无穷直接返回自身
  if (d == double.negativeInfinity) return d;
  // 正无穷返回最大的正double值
  if (d == double.infinity) return double.maxFinite;
  
  // 处理+0.0，转为-0.0后再处理
  if (d == 0.0) {
    return -double.minPositive;
  }
  
  int bits = d.toRawInt64();
  // 正数：二进制位减1；负数：二进制位加1
  bits += d > 0 ? -1 : 1;
  return double.fromRawInt64(bits);
}

方式二：基于nextUp()反向实现

double nextDown(double d) {
  if (d.isNaN) return d;
  if (d == double.negativeInfinity) return d;
  if (d == double.infinity) return double.maxFinite;
  return -nextUp(-d);
}

关键边界情况说明 #

• NaN：直接返回自身，与Java行为一致
• 正负无穷：nextUp(负无穷)返回最小正double，nextDown(正无穷)返回最大正double
• 0值：nextUp(-0.0)返回最小正double，nextDown(0.0)返回最小负double

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