我的 Android 应用程序处理地理位置。
这是源代码中的代码片段:
...
String latDegrees = Location.convert(latitude, Location.FORMAT_DEGREES);
...
在我的测试中它有
latitude 44.4929057
但
latDegrees "44,49291"
您会看到逗号用作分隔符,而点似乎是标准,例如在 Gmaps 网址中,如果我没记错的话。
在我的应用程序中,我必须执行很多“子字符串化”,所以我必须确保转换函数在所有语言环境中产生相同的格式。
那么我可以假设 DD,DDDDD 格式(带逗号分隔符)通常可以安全地用于子字符串吗?还是我的代码错了?