java - IntSummaryStatistics 返回带有逗号分隔符的结果，而所有其他 double 或 float 并非如此

Question

以下代码取自 a tutorial我得到了一个奇怪的结果。

IntSummaryStatistics ageSummary =
    persons
      .stream()
      .collect(Collectors.summarizingInt(p -> p.age));

System.out.println(ageSummary);
// IntSummaryStatistics{count=4, sum=76, min=12, average=19,000000, max=23}

平均值是逗号分隔的 double ，这是我第一次在 Java 中得到逗号分隔的 double 。在所有其他情况下，我都会得到一个分隔双倍的句点。例如:

System.out.println(1.0); // 1.0

我检查了我的区域设置，它设置为 en_US，我什至尝试使用以下参数手动设置它:

-Duser.country=US -Duser.language=en

没有改变任何东西。 可能是什么原因？我想我住在比利时这一事实不应该影响 JVM，或者会吗？谢谢。

编辑:

下面我添加了该类的 toString() 和 getAverage() 方法。并且已经明确它是 JDK 中的一个类。

    public String toString() {
    return String.format(
        "%s{count=%d, sum=%d, min=%d, average=%f, max=%d}",
        this.getClass().getSimpleName(),
        getCount(),
        getSum(),
        getMin(),
        getAverage(),
        getMax());
}

public final double getAverage() {
    return getCount() > 0 ? (double) getSum() / getCount() : 0.0d;
}

Link to the javadoc.

现在我意识到，如果我使用 String.format("%f", 1.0) 打印，我也会得到逗号分隔符。以前从未真正见过，我可能以前看过。

编辑2: jdk1.8.0_181是我的JDK版本。

Answer 1

考虑

System.out.println(5.0);         // 1
System.out.printf("%f%n", 5.0);  // 2

第 1 行经过 PrintStream，指定使用 Double.valueOf 执行转换，而 Double.valueOf 又指定使用 Double.toString(double) 。这会使用固定格式将 double 值转换为字符串，该格式不特定于区域设置。

相比之下，第 2 行使用 String.format它执行特定于区域设置的转换。显然，您的语言环境中有些内容指定逗号作为小数点分隔符。

请注意，区域设置比“en_US”(语言和国家/地区)更丰富。 JDK 可以从桌面环境获取信息。至少在 Mac 和 Windows 上，可以应用一堆单独的格式自定义。 (我认为 JDK 直到后来的版本才采用这些，但有些可能已将其纳入 8u181。)还要检查 Locale.getDefault(Locale.Category.FORMAT)) 的值。您在比利时而不是美国这一事实很重要。也许您在系统的国际化控制面板中进行了设置，以使某些数字格式能够正常工作。