java - 格式化没有语言环境的数字

Question

用户可以在 GUI 上指定文件输出格式。特别是他可以定义数字格式。第一个想法是让他指定一种可以与 DecimalFormat 一起使用的格式，但 DecimalFormat 对我的用例来说至少有两个主要缺点：

• 它使用用户的语言环境，所以##.## 转换'.' 到“，”在德国。
• 逗号前后的数字没有区别，因此您不能将 12.50 格式化为 1250。在我的用例中也是必需的。

StringFormat 也无法做到这一点。所以我的问题是你是否知道任何已经处理这个问题的库，或者我是否必须自己编写一个简单的格式化程序。

Answer 1

DecimalFormatSymbols otherSymbols = new DecimalFormatSymbols(Locale.ENGLISH);
DecimalFormat decimalFormat = new DecimalFormat("##.##");
decimalFormat.setDecimalFormatSymbols(otherSymbols);

Answer 2

它使用用户的语言环境

不是这样。从Javadoc：

“要获取特定语言环境的 NumberFormat，包括默认语言环境，请调用 NumberFormat 的工厂方法之一，例如 getInstance()。一般情况下，不要直接调用 DecimalFormat 构造函数”。