如何处理错误情况与非错误情况下的对象破坏

Question

我有一个程序负责读取数据、格式化数据并创建记录，以及将记录输出到文件。本次讨论的重要类是：

• RecordGenerator - 包含控制主流程的线程 （获取数据、格式、输出）
• FileManager - 管理输出文件。记录发送至此 类，然后将其放入收费文件中。
• OutputFile - 包含记录的文件的抽象，具有 print()、close() 等。这些对象由 FileManager 拥有。

在正常进程关闭期间，这些类的析构函数都会被调用，这会导致所有剩余记录被刷新到当前输出文件，然后它被关闭。这确保我们不会丢失任何数据。 但是，在错误情况下，我们需要关闭，但我们不想刷新并关闭文件，因为数据可能已损坏。通常情况下，会抛出一个异常，该异常会被 RecordGenerator 捕获，然后由 RecordGenerator 决定这是否是致命错误。如果是，它将启动应用程序关闭。此时，FileManager 被破坏，但需要知道是否存在错误。同样，当FileManager被破坏时，这会导致OutputFile被破坏，它也需要知道是否有错误。

我的第一反应是添加一些为这些类设置错误标志的公共函数，因此 RecordGenerator 可以调用 FileManager::setErrorFlag() ，然后调用 OutputFile ::setErrorFlag()。添加这些对象链对我来说似乎是一种非常难闻的气味，特别是如果您认为对象链可能比这长得多。

有没有更好的方法来处理这种情况？

Answer 1

当人们开始以不应该使用的方式使用 RAII 时，这是一个典型的问题。析构函数应该清理资源并恢复它们负责的任何内容。他们不应该提交更改。典型的异常安全 C++ 代码如下所示：

• 分配资源
• 执行某些操作
• 提交更改

例如：

X& X::operator = (const X& x)
{
    X y(x); // allocate
    this->swap(y); // commit
    return *this;
}

void f()
{
    Transaction t(...); // begin transaction
    // operate
    t.commit(); // commit transaction
}

void g()
{
    File f(...); // open file
    // write to file
    f.flush(); // flush the buffers, this may throw but not f.~File()
}