python常用字符处理函数