🌈 搜索
📅  最后修改于: 2022-03-11 14:46:34.836000             🧑  作者: Mango
>>> txt = "h3110 23 cat 444.4 rabbit 11 2 dog" >>> [int(s) for s in txt.split() if s.isdigit()] [23, 11, 2]