用Python自动给数字前面补0

很多时候，为了输出文件名的整洁和或者是方便排版，我们需要给数字前面补0来统一我们的文件格式。Python中有一个BIF（Built-in functions）“zfill”来给字符串前面补0，用法如下：
对于字符串类型的数字，我们可以使用如下方法：

In [16]: num1 = '1'

In [17]: s = num1.zfill(4)

In [18]: s
Out[18]: '0001'

此外，该函数也可以给负数补0

In [19]: num1 = '-1'

In [20]: s = num1.zfill(4)

In [21]: s
Out[21]: '-001'

对于整型数据也可以通过格式化来补0

In [24]: num1 = 123

In [25]: s = '%05d' % num1

In [26]: s
Out[26]: '00123'