如果资源获取失败，如何实施RAII

Question

我想在 RAII 的帮助下实现一个课程。资源应该在构造函数中获取，但有可能获取失败。下面我将使用 FILE 给出一个示例：

class file {
public:
    file(const char* filename) {
        file_ = fopen(filename, "w+");
        if(!file_) {
          // Okay
        }
        else {
          // ERROR
        }
    }

    ~file() {
        if (fclose(file_)) {
           // ERROR
        }
    }

    void write(const char* str) {
        if (EOF == fputs(str, file_)) {
            throw runtime_error("file write failure");
        }
    }
private:
    FILE* file_;
};

那么，处理 fopen 返回 NULL 时发生的错误的最佳方法是什么？因为它是构造函数，所以我不能返回 NULL。

我希望有人能给我提示如何处理此类错误！

谢谢你，最诚挚的问候，

闪光者

Answer 1

构造函数报告失败的唯一方法是抛出异常。

相反，析构函数不得抛出异常（如果析构函数在堆栈展开期间抛出异常，则调用 std::terminate，这将默认结束程序）。

如果销毁失败，您可以

• 默默地吞掉错误，
• 中止程序，
• 记录错误并执行上述任一操作。

如果正确使用 RAII，异常可以遍历您的代码而不会造成损坏。

此处的示例：

#include <cerrno>
#include <cstring>
#include <sstream>

file::file(const char* filename) 
{
    file_ = fopen(filename, "w+");

    if (!file_)
    {
        std::ostringstream os;
        os << "Cannot open " << filename << ": "
           << std::strerror(errno);

        throw std::runtime_error(os.str());
    }
}

file::~file()
{
    fclose(file_);
}

请注意，此代码有许多错误：fclose 函数可能会失败，并且该失败可能与关闭相关，也可能无关（例如，某些写入错误仅在刷新时报告 < code>close POSIX 系统上的系统调用）。请在 C++ 中使用 iostream 进行文件 I/O，因为它们为这些问题提供了方便的抽象。

Answer 2

尽管有这个名称，RAII 并不一定涉及资源获取；而是涉及资源获取。
例如，std::shared_ptr 不会执行new。名字是
历史性的，并且该模式确实与清理有关。

当然，对于 File 来说，“正确”的答案是使用
std::ifstream 和 std::ofstream，然后就完成了。 而且非常
重要（至少对于输出）：RAII 只能用于特殊情况
清理，因为您必须验证 close 是否正确
在正常情况下，在离开街区之前完成。作为一名将军
规则，如果关闭失败，则要删除该文件（并返回
来自 main 的 EXIT_FAILURE，或者执行一些会导致错误的操作
显而易见，并阻止进一步的代码执行，假设
数据已写入）。所以唯一一次可以接受的是
将 close 推迟到析构函数是在您已经这样做的情况下
发现错误，并将删除该文件作为清理的一部分
反正。

一般来说，输出遵循交易模型，而不是 RAII 模型；我
倾向于将我的 std::ofstream 包装在 OutputFile 类中，并带有
commit() 函数关闭文件，并将类标记为
当（且仅当）关闭成功时才提交；如果析构函数是
调用并且文件尚未提交，析构函数关闭
文件，然后将其删除。 （大概更高的水平会捕捉到
异常并将其转换为 main 中的return EXIT_FAILURE。）

此外，IO 通常有点异常。通常情况下，如果你不能
创建一个对象，无论出于何种原因，构造函数都应该引发一个
例外;你不希望“僵尸”物体漂浮在周围，这不能
被使用。然而，对于 IO，您必须面对这样一个事实：
该对象在构造后可能会变得无效且无法使用，甚至
当构建成功时。因为你必须不断地检查他们的
无论如何状态（每次读取输入后以及关闭输出后），
在对象中设置一些内部标志通常是合适的，
你测试的。