Python add leading zeroes using 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" 

Я знаю, что оба 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' 

Объяснение:

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

Answer 2

производный от Format examples, Nesting examples в документации Python:

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