python使用str&repr转换字符串