POSIX标准下FILE指针与对应文件描述符的文件位置是否一致？

结论先行：POSIX标准并不在所有情况下都要求两者返回的文件位置一致，仅在特定同步条件满足时才保证相等。

核心原因：stdio缓冲机制 #

FILE 是标准C库提供的带缓冲文件抽象，而文件描述符 fd 是操作系统直接暴露的无缓冲底层接口。两者的位置差异源于stdio库的缓冲策略：

• 当使用 fread、fwrite 等stdio函数时，数据会先写入/读取到用户空间缓冲区，而非直接同步到底层文件描述符对应的位置。此时 ftell(fp) 返回的是stdio流内部维护的位置指示器（对应缓冲区中的当前位置），而 lseek(fd, 0, SEEK_CUR) 返回的是底层文件描述符的实际位置（已推进到缓冲区填充/排空后的位置），两者自然不相等。

POSIX要求一致的场景 #

只有满足以下任意一种条件时，POSIX标准才规定两者返回值必须一致：

• 流处于无缓冲模式（通过 setvbuf(fp, NULL, _IONBF, 0) 设置）；
• 流的缓冲区已被手动刷新（调用 fflush(fp)）；
• 流的操作触发了自动缓冲刷新（比如行缓冲模式下写入换行符，或缓冲区被填满）；
• 在调用 lseek 前，通过 fseek、fsetpos 或 rewind 重置了stdio流的位置（这类操作会自动同步底层文件描述符的位置）。

未同步时的行为 #

如果不满足上述条件就混合使用stdio函数和底层文件描述符操作，POSIX标准将这种行为定义为未指定行为——既不保证两者位置一致，也不保证后续操作的正确性。

内容的提问来源于stack exchange，提问作者jjg