ifstream 的 eof() 是如何工作的？

Question

#include <iostream>
#include <fstream>

int main() {
    std::fstream inf( "ex.txt", std::ios::in );
    while( !inf.eof() ) {
        std::cout << inf.get() << "\n";
    }
    inf.close();
    inf.clear();
    inf.open( "ex.txt", std::ios::in );
    char c;
    while( inf >> c ) {
        std::cout << c << "\n";
    }
    return 0;
}

我对 eof() 函数真的很困惑。假设我的 ex.txt 的内容是：

abc

使用 eof() 读取时，它总是读取一个额外的字符并显示 -1。但是 inf >> c 给出了正确的输出，即“abc”？谁能帮我解释一下吗？

Answer 1

-1 是 get 表示已到达文件末尾的方式。使用 std::char_traits::eof() （或 std::istream::traits_type::eof()）进行比较 - 避免 -1，这是一个神奇的数字。 （尽管另一个有点冗长 - 您始终可以只调用 istream::eof）

仅当读取尝试读取文件末尾之后时才会设置 EOF 标志嗯>。如果我有一个 3 字节的文件，并且我只读取了 3 个字节，则 EOF 为 false，因为我还没有尝试读取超过文件末尾的内容。虽然这对于通常知道其大小的文件来说似乎令人困惑，但直到在某些设备（例如管道和网络套接字）上尝试读取时才知道 EOF。

第二个示例的工作方式为 inf >>> foo 将始终返回 inf，其副作用是尝试读取某些内容并将其存储在 foo 中。 inf 在 if 或 while 中，如果文件“良好”，则计算结果为 true：没有错误，没有EOF。因此，当读取失败时，inf 的结果为 false，并且循环会正确中止。然而，考虑这个常见的错误：

while(!inf.eof())  // EOF is false here
{
    inf >> x;      // read fails, EOF becomes true, x is not set
    // use x       // we use x, despite our read failing.
}

然而，这：

while(inf >> x)  // Attempt read into x, return false if it fails
{
    // will only be entered if read succeeded.
}

这就是我们想要的。

Answer 2

仅当读取操作尝试读取文件末尾之后，才会设置 EOF 标志。 get() 返回符号常量 traits::eof() （恰好等于 -1），因为它到达文件末尾并且无法读取任何内容更多数据，只有此时 eof() 才会为 true。如果您想检查这种情况，可以执行以下操作：

int ch;
while ((ch = inf.get()) != EOF) {
    std::cout << static_cast<char>(ch) << "\n";
}

Answer 3

iostream 不知道它位于文件末尾，直到它尝试读取文件末尾后面的第一个字符。

cplusplus.com 上的示例代码说要这样做：（但是你实际上不应该这样做）

  while (is.good())     // loop while extraction from file is possible
  {
    c = is.get();       // get character from file
    if (is.good())
      cout << c;
  }

更好的习惯用法是将读取移动到循环条件中，如下所示：
（您可以使用返回 *this 的所有 istream 读取操作来执行此操作，包括 >> 运算符）

  char c;
  while(is.get(c))
    cout << c;

Answer 4

eof() 检查流状态中的 eofbit。

在每次读取操作中，如果位置位于流末尾并且必须读取更多数据，则 eofbit 设置为 true。因此，在 eofbit=1 之前，您将获得一个额外的字符。

正确的方法是在读操作之后检查是否达到eof（或者读操作是否成功）。这就是您的第二个版本所做的 - 您执行读取操作，然后使用生成的流对象引用（>> 返回）作为布尔值，这将导致检查失败（）。