day002 while循环 格式化输出 运算符 编码