python格式化字符串(格式化输出)