Pythonはstr.formatを使用して先行ゼロを追加します

Question

str.format関数を使用して先行ゼロを持つ整数値を表示できますか？

例入力：

"{0:some_format_specifying_width_3}".format(1) 
"{0:some_format_specifying_width_3}".format(10) 
"{0:some_format_specifying_width_3}".format(100) 

所望の出力：

"001" 
"010" 
"100" 

Iの両方zfillと%ベースのフォーマット（例えば'%03d' % 5）これを達成することができることを知っています。しかし、str.formatを使用して、コードをきれいにして一貫性を保つために（私はdatetime属性で文字列をフォーマットしています）、またFormat Specification Mini-Languageの知識を広げるためのソリューションが欲しいです。

Answer 1

>>> "{0:0>3}".format(1) 
'001' 
>>> "{0:0>3}".format(10) 
'010' 
>>> "{0:0>3}".format(100) 
'100' 

説明：PythonのドキュメントでFormat examples, Nesting examples由来

{0 : 0 > 3} 
│ │ │ │ 
│ │ │ └─ Width of 3 
│ │ └─ Align Right 
│ └─ Fill with '0' 
└─ Element index 

Answer 2

：

>>> '{0:0{width}}'.format(5, width=3) 
'005'