关于EOF的一个有关问题

关于EOF的一个问题
请问各位大侠一个关于EOF的问题：
判断一个文件读取结束时，文件结束符EOF从哪里读来的？文件中应该没有EOF这个值吧.
但是用fgetc() 读一个 txt 文本文档时，末尾是可以读出来0xffffffff的。难道是fgetc()这个函数给加上的吗？
请牛人们指教。。。

[解决办法]
我认为是fgetc内部处理看已经到了文件末尾就返回 EOF
这样调用的人才能判定是否结束吧。