[解決済み] Python str.formatで先頭のゼロを追加する [重複] [重複

質問

を使って、先頭のゼロを含む整数値を表示することができますか？ 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"

私は、両方の zfill と % -に基づく書式設定（例えば '%03d' % 5 など)で実現できます。しかし、私は str.format を使用するソリューションを希望しています。 フォーマット仕様ミニ言語 .

どのように解決するのですか？

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

説明

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