c语言字符串格式化输出