std::istream 不抛出 eof 异常（已启用）

Question

我正在尝试使用std::istream 解析文件，并希望使用异常来简化错误处理。但是流永远不会在 eof 上抛出异常，即使它们已启用。

考虑以下 sn-p：

std::string line("Lorem ipsum");
std::istringstream is(line);
is.exceptions(std::ios::eofbit | std::ios::failbit);

std::string value1, value2, value3;
is >> value1;
std::cout << is.eof() << std::endl;
is >> value2;
std::cout << is.eof() << std::endl;
is >> value3;
std::cout << is.eof() << std::endl;

读取 value2 后，eof() 返回 true，但在任何时候都不会抛出异常，即使流被指示这样做（参见第 3 行）。最后，value3 包含一个空字符串。

我错过了什么？

以防万一：我使用的是 Xcode 4.6.1 中的 LLVM libc++（支持 C++11 的 LLVM C++）。

Answer 1

我刚刚查看了 libc++ 实现和指定此行为的标准部分：

27.7.2.1 类模板 basic_istream [istream]/p3:

如果rdbuf()->sbumpc() 或rdbuf()->sgetc() 返回traits::eof()，则 输入函数，除非另有明确说明，否则完成 它的动作和setstate(eofbit)，这可能会抛出 ios_base::failure (27.5.5.4)，在返回之前。

然后是 p4：

如果这些被调用函数之一抛出异常，则除非 另有明确说明，输入函数设置 badbit 错误 状态。如果badbit 在exceptions() 中打开，则输入函数重新抛出 异常没有完成它的动作，否则它不会 抛出任何东西并继续进行，就好像被调用的函数返回了一个 故障指示。

我相信这里的关键是对“其中一个被调用的函数”的解释。我将该短语解释为指上一段中提到的所有功能，包括setstate(eofbit)。在这种解释下，libc++ 的行为是正确的，因为未设置 badbit。

要获得您想要的行为，请执行以下操作：

is.exceptions(std::ios::eofbit | std::ios::failbit | std::ios::badbit);