bash - 仅使用 bash 子字符串删除去除前导零

Question

我知道解决这个问题的其他方法确实有效(我目前正在使用“expr”方法)，但它让我感到困扰，因为我不知道如何使用内置的 bash 来解决这个问题-仅在函数中。

当我尝试使用 ${variable##remove} 构造从变量中删除前导零时，我只能让它删除一个零或所有数字。

string="00123456"
echo "${string##0}" // Only the first 0 is removed
echo "${string##0*0}" // The whole string is removed
echo "${string#0*0}" // Works

string="01230"
echo "${string##0}" // Works
echo "${string##0*0}" // The whole string is removed
echo "${string#0*0}" // Again, the whole string is removed

我阅读了 bash 手册两遍，看看我是否做对了，但官方文档充其量是稀疏的。我知道启用 extglob 也可以解决这个问题，但对于像这样简单的问题来说似乎有点过分了。

我是否遗漏了一些明显的东西，或者仅使用 bash 函数从字符串中删除一个或多个前导零真的那么难吗？

Answer 1

以下将从字符串中删除所有前导 0:

$ string="000123456000"
$ echo "${string#"${string%%[!0]*}"}"
123456000

说 "${string%%[!0]*}" 将在删除满足 [!0]* 的字符串的最长尾随部分后返回匹配> -- 本质上是在开头返回零。

"${string#"${string%%[!0]*}"}" 将从字符串的开头删除上面返回的部分。

---

或者，您可以使用 shell 算术:

$ string="0000123456000"
$ echo $((10#$string))
123456000