python 格式化输出%s %d 占位符的使用