我在stackoverflow上看到了有关如何在数字前面添加零的问题。但是没有关于反过来的问题!
你们能否建议我如何删除字母数字文本中的前导零?是否存在内置的API,还是我需要编写一个方法来去除前导零?
示例:
01234 converts to 1234
0001234a converts to 1234a
001234-a converts to 1234-a
101234 remains as 101234
2509398 remains as 2509398
123z remains as 123z
000002829839 converts to 2829839
.replaceFirst("^0+(?!$)".toRegex(), "")
。 - mkabatek