python 中字符串列表的切割，拼接