使用正则表达式来添加前导零

我想为字符串的所有数字添加一定数量的前导零(最多3个)。例如：

输入：/ 2009/5 / song 01 of 12

输出：/ 2009/0005 / song 0001 of 0012

使用正则表达式最好的方法是什么？

编辑：

我选了第一个正确的答案。然而，所有的答案都值得一读。

使用支持回调的东西，以便您可以处理匹配：

>>> r=re.compile(r'(?:^|(?<=[^0-9]))([0-9]{1,3})(?=$|[^0-9])')
>>> r.sub(lambda x: '%04d' % (int(x.group(1)),),'dfbg345gf345',sys.maxint)
'dfbg0345gf0345'
>>> r.sub(lambda x: '%04d' % (int(x.group(1)),'1x11x111x',sys.maxint)
'0001x0011x0111x'
>>> r.sub(lambda x: '%04d' % (int(x.group(1)),'x1x11x111x',sys.maxint)
'x0001x0011x0111x'