Python整数格式说明符解析规则问询：0在格式串中的作用判定

问题背景 #

我在理解这段格式化代码：

f"{current_file_start_time.year}{current_file_start_time.month:02}{current_file_start_time.day:02}"

其中{current_file_start_time.month:02}把月份4格式化为04，对照Python格式化规范的语法：

format_spec     ::=  [[fill]align][sign]["z"]["#"]["0"][width][grouping_option]["." precision][type]
fill            ::=  <any character>
align           ::=  "<" | ">" | "=" | "^"
sign            ::=  "+" | "-" | " "
width           ::=  digit+
grouping_option ::=  "_" | ","
precision       ::=  digit+
type            ::=  "b" | "c" | "d" | "e" | "E" | "f" | "F" | "g" | "G" | "n" | "o" | "s" | "x" | "X" | "%"

疑惑02中的0属于fill、单独的"0"还是width的起始数字，需要明确规则。

规则解析（Python 3.9官方规范） #

{current_file_start_time.month:02}里的0属于单独的"0"格式说明符，具体规则如下：

1. 单独的"0"是零填充的简写：
   当格式说明符以0开头，且前面没有显式的[fill]align组合时，这个0是专门针对数字类型的零填充标记，等效于设置fill='0'且align='='（填充在符号/基数前缀与数字内容之间）。
2. 紧随的2是width参数：
   0后面的2是width，定义了输出字符串的最小宽度。当数字的长度小于width时，会用0填充到指定宽度。
3. 为什么不是width的起始数字？
   width定义为digit+（纯数字序列），如果02被视为width，那实际宽度是2，和直接写2效果一致，但{month:2}会输出 4（空格填充），和04的零填充效果完全不同，因此0不是width的一部分。

验证示例 #

from datetime import datetime, timezone
current_file_start_time = datetime.now(timezone.utc)
month = current_file_start_time.month  # 假设值为4

# 原写法：零填充到宽度2
print(f"{month:02}")  # 输出 '04'
# 等效的完整写法：显式指定fill和align
print(f"{month:0=2}")  # 输出 '04'
# 仅指定width：默认空格填充
print(f"{month:2}")  # 输出 ' 4'

总结判定规则 #

• 场景1：格式串以0开头且无显式[fill]align：
  0是单独的零填充说明符，后续数字是width，效果为用0填充到指定宽度；
• 场景2：格式串包含显式[fill]align：
  比如{month:0>2}，这里的0是fill字符，>是对齐方式，效果是右对齐并用0填充；
• 场景3：纯数字开头：
  比如{month:2}，数字是width，默认用空格填充。

内容的提问来源于stack exchange，提问作者user2153235