7.1 format() 函数——格式化字符串