我的Android应用处理地理位置。
这是源代码中的代码片段:
...
String latDegrees = Location.convert(latitude, Location.FORMAT_DEGREES);
...
在我的测试中有
latitude 44.4929057
但是
latDegrees "44,49291"
[您会看到逗号被用作分隔符,而如果我没有记错的话,则点似乎是标准的,例如在Gmaps网址中。
在我的应用程序中,我必须执行很多“子字符串化”,因此我必须确保在所有语言环境中convert函数都产生相同的格式。
因此,我可以假定通常可以安全地将DD,DDDDD格式(带有逗号分隔符)用于子字符串化吗?还是我的代码错误?
我发现Location.convert方法的结果中的分隔符可以以点='的形式找到。或逗号=','
根据地区,也许还有其他形式。
似乎最常见的是thar点和逗号,同时还存在一些其他的十进制分隔符: