python之字符串类型及其操作