c语言中用于格式化输出的函数