“wie man ein int aus String python bekommt” Code-Antworten

wie man ein int aus String python bekommt

import re
s = "12 hello 52 19 some random 15 number"
# Extract numbers and cast them to int
list_of_nums = map(int, re.findall('\d+', s))
print list_of_nums