📅  最后修改于: 2022-03-11 14:45:47.554000             🧑  作者: Mango
>>> import parse
>>> format_string = 'PN-{:0>9}'
>>> id = 123
>>> pn = format_string.format(id)
>>> pn
'PN-000000123'
>>> parsed = parse.parse(format_string, pn)
>>> parsed
>>> parsed[0]
'123'