python学习 字符串格式化符号及转义符号