python字符串切割:str.split()与re.split()的对比分析