Python多空格字符串的分割方法

存在问题：
从文件中读取的数据是以空格隔开的多个数据，如何把这些空格去掉，分别提取这些数据，例如：
[‘05 08 18 25 26 31 04’]→[‘05’,‘08’,‘18’,‘25’,‘26’,‘31’,‘04’]

解决方案：
引入模块 import re

1. re.split(" ",data )
   #" "引号内必须敲一个空格；data替换成要分割的数据
   #不能去掉多余空格
2. filter(None,data.split(" "))
   #" "引号内必须敲一个空格；data替换成要分割的数据
   #可将多余空格去掉

示例代码:

res=re.split(" ",t)
print(res)

输出：[‘05’,’ ‘,‘08’,’ ‘,’‘18’,’ ‘,’‘25’,’’ ‘,‘26’,’ ‘,’‘31’,’ ‘,’‘04’]

res=list(filter(None,t.split(" ")))  #此处必须加一个list，因为filter转化后要以list展示，否则报错error<filter object at 0x02C18A70>
print(res)

输出：[‘05’,‘08’,‘18’,‘25’,‘26’,‘31’,‘04’]