Linux C 库函数判断一个文件是否为空

C语言fgetc()函数的返回值意义
函数原型：int fgetc( FILE* stream );
这个函数的返回值，是返回读取的一个字节。如果读到文件末尾返回EOF。

EOF其实就是一个宏：#define EOF (-1)   表示-1.

既然返回的是一个字节，为什么返回值确用4字节的int表示，不用unsigned char这1个字节类型表示,或直接用char类型表示？
原因就是出在返回值要能表示-1.unsigned char表示无符号的，而这返回值，需要是-1才可以表示文件读到末尾了，那可以char类型表示-1，但是-1在char类型中表示的值为0xff,然而它本身就是一个字节的内容，如果文件中的一个字节是0xff,难道就认为文件结束，这是不合理的，用int作返回值，就不会出现这个问题，-1用int表示为0xffffffff;而字节值如果0xff这它返回的int值就会是0x000000ff,这样就可以区别开字节值为0xff和文件结束标识EOF.

注：EOF只是为了标识已经读到文件末尾，它并不是一个存储在文件中的字节。

代码示例：

//失败返回-1 成功如果文件为空 返回0 文件不为空返回1；
static int IS_File_Null(char *str)
{
	int ret = -1;
	FILE *fp;
	char ch;
	
	ret = (str != NULL);
	
	if(ret)
	{
		
		if((fp=fopen(str,"r"))==NULL)
		{
			ret = -1;
			
			return ret;
		}
		
		ch=fgetc(fp);
		
		if(ch == 0xff) //EOF = -1, 也就是0xff;
			ret = 0;

		else
			ret = 1;
	}
	
	fclose(fp);

    return ret;	
}

void main(void)
{
	int number = -2;
	
	number = IS_File_Null("/opt/text.txt");
	
	printf("number: %d\n", number);
}

上面直接用EOF表示会出错，所以上面用0xff表示，暂时还没找到原因。