java - Location.convert() 是否生成以逗号作为分隔符的值？

Question

我的 Android 应用程序处理地理位置。

这是源代码中的代码 fragment :

...
String latDegrees = Location.convert(latitude, Location.FORMAT_DEGREES);
...

在我的测试中它有

latitude 44.4929057

但是

latDegrees "44,49291"

你会看到逗号被用作分隔符，而点似乎是标准的，例如在 Gmaps url 中，如果我没记错的话。

在我的应用程序中，我必须执行大量“子字符串化”，因此我必须确保转换函数在所有语言环境中产生相同的格式。

那么我可以假设 DD,DDDDD 格式(带逗号分隔符)一般可以安全地用于子字符串吗？还是我的代码错误？

Answer 1

我发现Location.convert方法结果中的分隔符可以在两种形式中找到 dot='.'或逗号=','

根据区域设置，也许还存在其他形式。

似乎点和逗号是最常见的，同时还存在一些其他小数分隔符:

https://en.wikipedia.org/wiki/Decimal_separator

此外，一些国家/地区还有其他数字组分隔符，但在这里我正在处理转换位置坐标的特定方法。