c++ - 文件流析构函数可以在 C++ 中抛出异常吗？

Question

文件流析构函数能否抛出异常，例如，如果文件关闭操作失败？

   auto f = new std::ofstream("data.txt");
   f->exceptions(std::ofstream::failbit | std::ofstream::badbit);
   ...
   delete f; // May throw?     

我可以通过手动关闭流来防止此类异常吗？

   auto f = new std::ofstream("data.txt");
   f->exceptions(std::ofstream::failbit | std::ofstream::badbit);
   ...
   f->close();
   delete f; // May throw?     

Answer 1

从析构函数中抛出是危险的，应该避免。 C++ 标准库的任何对象都不会从其析构函数中抛出。 C++ 语言隐式假定析构函数声明为 noexcept .

事实上，这是 std::basic_filebuf<>::close() 之间的唯一区别。和 std::basic_filebuf<>::~std::basic_filebuf() : 后者调用 close()但捕获任何异常而不重新抛出。所以，如果你想捕获关闭底层文件的问题，你可以显式调用 ofstream::rdbuf()->close() .然而ofstream::close()有效调用 rdbuf()->close()并捕获任何异常。在这种情况下，它设置了 failbit并且 iff 您已经相应地设置了流的异常掩码(通过 ofstream::exceptions() ，就像您在问题中所做的那样)抛出类型为 std::ios_base::failure 的(不同的)异常.

因此，总结一下:

• 如果您使用 RAII(即析构函数)关闭文件，则不会异常将从析构函数中传播出去，即使基础文件无法干净地关闭。在这种情况下，将设置故障位。
• 如果您明确 close() std::ofstream ，然后，根据流的异常掩码，std::ios_base::failure可能会在遇到关闭文件的问题时抛出。