libc++与libstdc++11中std::ifstream的eof行为差异问询

测试代码 #

#include <fstream>
#include <vector>

int main() {
    const std::string path = "/tmp/some_random_path"; // 程序运行前该文件不存在
    std::ofstream file_output(path);
    std::ifstream file_input(path, std::ios::in | std::ios::binary);
    file_input.peek();

    if (!file_input.eof()) {
        return 1;
    }
    std::vector<char> data = {'a', 'b', 'c'};
    file_output.write(data.data(), static_cast<long>(data.size()));
    file_output.flush();

    file_input.clear();
    file_input.peek();
    if (file_input.eof()) {
        return 2; // libc++编译的程序会进入此分支
    }
    return 0; // libstdc++11编译的程序会进入此分支
}

环境信息 #

系统版本 #

lsb_release -a
No LSB modules are available.
Distributor ID:   Ubuntu
Description:  Ubuntu 20.04.4 LTS
Release:  20.04
Codename: focal

编译器版本 #

clang++ -v
Ubuntu clang version 15.0.7
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/bin
Found candidate GCC installation: /usr/bin/../lib/gcc/x86_64-linux-gnu/10
Found candidate GCC installation: /usr/bin/../lib/gcc/x86_64-linux-gnu/9
Selected GCC installation: /usr/bin/../lib/gcc/x86_64-linux-gnu/10
Candidate multilib: .;@m64
Selected multilib: .;@m64

编译命令 #

• 使用libstdc++11编译：clang++ main.cpp
• 使用libc++编译：clang++ -stdlib=libc++ main.cpp

问题描述 #

期望两个标准库编译后的程序均返回0，但libc编译的程序返回2，表现为eof标志未更新。请问该行为是否符合C标准？

分析与解答 #

C++标准并未规定已打开的输入流必须自动感知外部（如其他文件句柄）对文件内容的修改。std::ifstream内部会维护缓冲区与文件位置信息，仅调用clear()清除错误状态，并不强制流重新同步文件的当前实际状态。

在你的代码逻辑中：

1. 第一次调用file_input.peek()时，文件为空，输入流被设置了eofbit；
2. 后续通过输出流写入数据并flush，但输入流并未收到文件变化的通知；
3. 调用clear()后再次peek()时，不同标准库的实现差异源于是否重新从系统层面获取文件的最新状态：
   • libstdc++的实现会在peek()时重新检查文件的实际长度，因此能感知到文件已被写入内容，不会触发eofbit；
   • libc++的实现则可能仍基于之前缓存的文件位置（位于文件末尾），尝试读取时依然触发eofbit。

这种行为差异属于标准未明确约束的实现细节，两者的表现都不违反C++标准。

若要确保输入流能感知文件的外部修改，可在clear()后通过seekg重置文件指针（如file_input.seekg(0, std::ios::end); file_input.seekg(0);），或直接关闭并重新打开输入流，强制流重新读取文件的最新状态。

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