c语言FILE*对应的什么类型