为什么 std::ios_base::ignore() 设置 EOF 位？

Question

当我从流中读取所有数据，但不尝试读取超过其末尾的内容时，流的 EOF 未设置。这就是 C++ 流的工作方式，对吧？这就是它起作用的原因：

#include <sstream>
#include <cassert>

char buf[255];

int main()
{
    std::stringstream ss("abcdef");
    ss.read(buf, 6);

    assert(!ss.eof());
    assert(ss.tellg() == 6);
}

但是，如果不是read()ing data I ignore() it，则设置 EOF：

#include <sstream>
#include <cassert>

int main()
{
    std::stringstream ss("abcdef");
    ss.ignore(6);

    assert(!ss.eof());        // <-- FAILS
    assert(ss.tellg() == 6);  // <-- FAILS
}

这是在 GCC 4.8 和 GCC 主干 (Coliru) 上。

它还有一个不幸的副作用是让tellg() 返回-1（因为这就是tellg() 所做的），这对我正在做的事情来说很烦人。

这是标准规定的吗？如果有，是哪一段，为什么？为什么ignore() 会尝试阅读比我告诉它的更多的内容？

我在cppreference's ignore() page 上找不到这种行为的任何原因。我可能可以.seekg(6, std::ios::cur) 代替，对吧？但我还是想知道发生了什么。

Answer 1

我认为这是一个 libstdc++ 错误（42875、h/tNathanOliver）。 [istream.unformatted] 中对ignore() 的要求是：

字符被提取，直到任何 发生以下情况：
— 到目前为止，n != numeric_limits<streamsize>::max() (18.3.2) 和 n 字符已被提取
— 文件结束出现在输入序列上（在这种情况下，函数调用setstate(eofbit)， 这可能会抛出 ios_base::failure (27.5.5.4));
— traits::eq_int_type(traits::to_int_type(c), delim) 用于下一个可用的输入字符 c（在这种情况下，c 被提取）。
备注：如果traits::eq_int_type(delim, traits::eof())，则不会出现最后一个条件。

所以我们有两个条件（最后一个被忽略）——我们要么读取n 字符，要么在某些时候遇到文件结尾，在这种情况下我们设置eofbit。但是，在这种情况下，我们能够从流中读取 n 字符（实际上您的流中有 6 个字符），因此我们不会在输入序列上命中文件结尾。

在 libc++ 中，eof() 未设置，tellg() 确实返回 6。