Java ChoiceFormat 怎样用 nextDouble 设置开区间阈值

我第一次用 ChoiceFormat 处理“恰好等于 1”和“严格大于 1”的两种提示时，直觉上想把第二个阈值写成 1.0000001。这种写法看起来能工作，却把业务边界交给了一个没有语义的十进制近似值。更稳妥的办法是使用 ChoiceFormat.nextDouble(1.0)：它返回大于 1.0 的最小可表示 double，正好适合把下一个半开区间从“1 之后”开始。

关键规则只有一句：ChoiceFormat 选择第 j 个格式，当且仅当 limits[j] ≤ X 。所以 nextDouble 不是把 1.0 加上一个业务步长，而是把边界移动到浮点数轴上紧邻的下一个值。

一、ChoiceFormat 的边界为什么是半开区间

ChoiceFormat 接收一组递增的 double limits，每个 limit 是对应格式的下界。第一个区间包含左端点，但不包含右端点；右端点会交给下一个区间。这样设计的好处是相邻区间不会重叠，也不会留下空档。

例如，下面的三个 limit 可以表达“低于 1”“恰好为 1”“高于 1”：

double[] limits = {
    0.0,
    1.0,
    ChoiceFormat.nextDouble(1.0)
};

String[] formats = {
    "小于 1",
    "恰好为 1",
    "大于 1"
};

// limits 与 formats 按下标一一对应，且 limits 必须保持升序。
ChoiceFormat format = new ChoiceFormat(limits, formats);

这里第三个区间的下界不是“约等于 1.0000001”，而是浮点格式中紧挨着 1.0 的下一个值。于是 X = 1.0 仍会命中第二项，而只有严格大于 1.0 的可表示输入才会进入第三项。

二、用 nextDouble 把精确值推到下一个可表示数

ChoiceFormat.nextDouble(double d) 的语义是寻找大于 d 的最小 double；当传入 NaN 时保持 NaN。Oracle 的 Java SE API 同时说明，这个方法的实现语义等价于 Math.nextUp(d)。

因此，下面两种写法表达的是同一个方向，但第一种更贴近 ChoiceFormat 的意图：

double exactOne = 1.0;

// 用 ChoiceFormat 自己提供的边界方法，直接表达“1 之后”。
double afterOne = ChoiceFormat.nextDouble(exactOne);

// Math.nextUp 也表示下一个更大的可表示 double。
double sameBoundary = Math.nextUp(exactOne);

// 两个变量都作为严格大于 1.0 的新区域下界使用。
if (afterOne == sameBoundary) {
    System.out.println("边界语义一致");
}

要注意，这里的“下一个”是浮点数轴上的下一个可表示值，不是业务意义上的加 1，也不是固定小数位的进位。对负数，可以使用 ChoiceFormat.nextDouble(d, false) 或 ChoiceFormat.previousDouble(d) 获得更小方向的相邻值。

三、把阈值数组和格式文本连起来

真正使用时，最容易出错的不是 nextDouble 本身，而是 limits 和 formats 的下标关系。下面这个例子把“0 个、1 个、至少 2 个”组织成三个输出分支：

double[] fileLimits = {0.0, 1.0, 2.0};
String[] fileFormats = {"没有文件", "一个文件", "多个文件"};
double fileCount = 3.0;

// 每个区间的左端点都在 limits 中，格式文本保持同样的下标顺序。
ChoiceFormat fileFormat = new ChoiceFormat(fileLimits, fileFormats);

// format 接收数字并按半开区间选择对应文本。
String message = fileFormat.format(fileCount);
System.out.println(message);

如果要把“恰好 1 个”和“超过 1 个”拆开，可以把第二个边界设为 ChoiceFormat.nextDouble(1.0)。如果要表达“至少 1 个”，则直接用 1.0 作为新下界即可，不需要额外调用 nextDouble：

double[] limits = {
    0.0,
    1.0,
    ChoiceFormat.nextDouble(1.0)
};
String[] formats = {"没有", "正好一个", "超过一个"};
double value = 1.5;

// 第三个区间从 1.0 之后的最小可表示值开始，排除 1.0 本身。
ChoiceFormat choices = new ChoiceFormat(limits, formats);
String text = choices.format(value);

这套写法特别适合格式化提示语、数量说明和 MessageFormat 中的复数分支；它只负责“输入落在哪个区间、拿哪段文本”，不会替你解决输入值如何计算的问题。

四、反向边界、浮点误差和并发使用要分开处理

需要向下排除边界时用 previousDouble

向下方向不要手写一个“少一点”的十进制常量。ChoiceFormat.previousDouble(d) 返回小于 d 的最大可表示值；双参数版本 nextDouble(d, false) 也能表达同一方向。两者都比凭经验减去一个很小的数更清晰。

double boundary = 10.0;

// 得到 10.0 之前紧邻的可表示值，用于反向区间边界。
double beforeBoundary = ChoiceFormat.previousDouble(boundary);

// 负数方向也可以通过 boolean 参数表达。
double sameValue = ChoiceFormat.nextDouble(boundary, false);

不要把浮点相邻值当成金额精度

nextDouble 解决的是“浮点表示轴上相邻值”的问题，不是“业务上加 0.01”的问题。金额、计费和结算应优先使用整数分、BigDecimal 或明确的舍入规则；完成数值计算后，再把结果交给 ChoiceFormat 选择文本。

多线程共享时隔离 ChoiceFormat 实例

官方文档指出，ChoiceFormat 不是同步类。简单的只读调用不等于可以无条件把同一个实例跨线程共享；更稳妥的做法是按线程或请求创建实例，或者在外部提供同步保护。格式模板固定时，可以缓存 limits 和 formats，再为每次使用创建格式对象。

五、最小决策表

我的实际取舍是：只要需求里出现“恰好等于某个 double”和“严格大于该值”的分界，就优先写出 nextDouble，让边界的意图留在代码里；如果需求是业务精度、舍入或金额，则把计算和格式化拆开，避免让一个格式类承担两种职责。

相关问题

ChoiceFormat 的 limits 可以不升序吗？

不应该。官方 API 要求 limits 按升序排列；顺序错误会让格式选择结果不正确，字符串模式也可能直接抛出异常。

可以直接用字符串模式写开区间吗？

可以使用 ChoiceFormat 的模式语法表达关系，但当边界来自浮点相邻值时，数组构造更容易把真实的 double 边界写清楚，也更方便复用。

nextDouble 和 Math.nextUp 该选哪个？

如果代码正在构造 ChoiceFormat 的 limits，使用 ChoiceFormat.nextDouble 更能说明用途；如果是在通用浮点算法中寻找上邻值，Math.nextUp 更直接。

参考文档：https://docs.oracle.com/en/java/javase/25/docs/api/java.base/java/text/ChoiceFormat.html