bash - 比 format=$(printf ...) 更快的格式化字符串的方法？

Question

我有一个变量 $id，它是一个数字，例如 51，我希望这个数字有 11 位基数，例如:00000000051。

我试过 printf:

format=$(printf "% 011d" $id)

但它极大地减慢了我的程序，除了 printf 之外还有其他方法更快吗？

有什么想法吗？

Answer 1

printf 并不慢。 $() 很慢。可以避免时不要使用它；在这种情况下，避免命令替换调用使用 printf -v 来传递存储输出的变量的名称。

printf -v format '%011d' "$id"

顺便说一句——在 ksh93 中(与 bash 不同)，value=$(printf ...) 被自动优化为直接将结果存储在值中而无需 fork 子 shell，所以你的原始代码会很快。