c++ - libc++:为什么关闭后流仍然很好

Question

我有一个非常简单的程序

#include <iostream>
#include <fstream>

void CHECK(std::iostream& s)
{
    std::cout << "good(): "  << s.good()
              << " fail(): " << s.fail()
              << " bad(): "  << s.bad()
              << " eof(): "  << s.eof() << std::endl;
}

int main(int argc, const char * argv[])
{
    std::fstream ofs("test.txt", std::ios::out | std::ios::trunc);
    std::cout << "opened" << std::endl;
    CHECK(ofs);
    ofs << "Hello, World!\n";
    CHECK(ofs);
    ofs.close();
    std::cout << "closed" << std::endl;
    CHECK(ofs);
    ofs << "Hello, World!\n";
    std::cout << "after operation" << std::endl;
    CHECK(ofs);
    return 0;
}

使用 libc++ 我得到以下最后一行:

good(): 1 fail(): 0 bad(): 0 eof(): 0

预期(或使用 libstdc++):

good(): 0 fail(): 1 bad(): 1 eof(): 0

我已经在 OSX 和 Xcode 9.4.1(或 Linux)上进行了测试，但总是一样。谁能给我解释一下这里的情况？文件内容也没有更新，因为已经关闭。为什么关闭再运行后流仍然良好？

Answer 1

我怀疑正在发生的事情是操作将数据填充到与流关联的 rdbuf 中。只要缓冲区中有空间，就会成功。最终，缓冲区变满，流尝试写入文件(已关闭)但失败了。

您可以通过使最后一位循环来测试它:

ofs.close();
std::cout << "closed" << std::endl;
CHECK(ofs);
for (int i = 0; i < 500; ++i)
    {
    ofs << "Hello, World!\n";
    std::cout << i << " ";
    CHECK(ofs);
    }
std::cout << "after operation" << std::endl;

在我的机器上，它会在大约 300 次后失败 - 之后永远失败。 这是正确的行为吗？ (甚至符合标准？) 我不知道。

[ 稍后:如果我更改 libc++ 并在关闭时将缓冲区大小设置为 0，那么第一次写入会失败 - 这表明我的分析是正确的。但是，我仍然没有在标准中找到任何关于这个“应该”做什么的内容。 ]