while循环 字符串格式化 运算符