python 将集合转化为字符串