printf的标准格式化输出