python字符串格式化笔记