python之使用 Python 从字符串中删除前导数字

我看到很多问题询问如何从字符串中删除前导零，但我还没有看到任何询问如何从字符串中删除任何和所有前导数字的问题。

我一直在试验 lstrip、type 函数、isdigit、切片符号和正则表达式的组合，但尚未找到方法。

有没有简单的方法可以做到这一点？

例如:

• “123ABCDEF”应该变成“ABCDEF”
• “ABCDEF”应保留为“ABCDEF”
• “1A1”应该变成“A1”
• “12AB3456CD”应该变成“AB3456CD”

请您参考如下方法:

一种简单的方法是用 string.digits 表示所有数字，这很简单地为您提供了一个包含所有数字字符的字符串 '0123456789' 以使用 string.lstrip 删除。

>>> from string import digits 
>>> s = '123dog12' 
>>> s.lstrip(digits) 
'dog12'