"Python：删除字符串开头的数字"

Question

I have some strings like this:

string1 = "123.123.This is a string some other numbers"
string2 = "1. This is a string some numbers"
string3 = "12-3-12.This is a string 123"
string4 = "123-12This is a string 1234"

Answer 1

You can remove all digits, dots, dashes and spaces from the start using str.lstrip() :

string1.lstrip('0123456789.- ')

The argument to str.strip() is treated as a set , eg any character at the start of the string that is a member of that set is removed until the string no longer starts with such characters.

Demo:

>>> samples = """\
... 123.123.This is a string some other numbers
... 1. This is a string some numbers
... 12-3-12.This is a string 123
... 123-12This is a string 1234
... """.splitlines()
>>> for sample in samples:
...     print 'From: {!r}\nTo:   {!r}\n'.format(
...         sample, sample.lstrip('0123456789.- '))
...
From: '123.123.This is a string some other numbers'
To:   'This is a string some other numbers'

From: '1. This is a string some numbers'
To:   'This is a string some numbers'

From: '12-3-12.This is a string 123'
To:   'This is a string 123'

From: '123-12This is a string 1234'
To:   'This is a string 1234'

Answer 2

This is almost the same as @MartijnPieters' answer but we could use constants from string<\/code> module if there are a lot of punctuation and whitespace characters to strip on top of digits:

import string
nonalpha = string.digits + string.punctuation + string.whitespace
out = some_string.lstrip(nonalpha)