私有函数成员应该是异常安全的吗？

Question

在编写异常安全代码时，所有私有成员函数都应该至少保证基本的异常安全吗？在这种情况下，最佳/最佳做法是什么？替代品？

例如，假设我有一个类Foo 和public 函数成员DoSomething，它调用private 函数成员DoSomeOfIt。 DoSomeOfIt 可能由于某些我无法影响的功能而失败，并且当它发生时，它可能会使 Foo 对象处于部分修改状态，这违反了 Foo 的不变量。所以我可以将DoSomeOfIt 包装在try-catch 块中，并在catch 块中调用另一个private 函数成员UndoThat 来撤消DoSomeOfIt 所做的事情。单独来说，DoSomeOfIt 和 UndoThat 可能不是异常安全的，但 DoSomething 是。那会是异常安全代码吗？ （本案有强保证）

class Foo {
public:
  // I provide strong exception safety guarantee
  void DoSomething() {
    try {
      DoSomeOfIt();
    } catch (const std::exception& e) {
      UndoThat();
      throw;
    }
  }
private:
  // I provide no exception safety guarantee.
  DoSomeOfIt() {
    // may throw and violate class invariants.
  }

  // I provide no exception safety guarantee.
  UndoThat() {
    // undoes everything most recent call of
    // DoSomeOfIt did.
  }
};

当然，我可以简单地将DoSomeOfIt 和UndoThat 的代码包含在DoSomething 中，但这可能会导致代码膨胀和函数体过长，而分解函数会使任务模块化，并可能使代码更具可读性（？）

免责声明： 我知道这可能是基于意见的。我不确定这是否会成为一篇糟糕的帖子，但我会很感激任何意见或经验，这会导致问题，或者是常见的做法等。

Answer 1

这是我的看法。

如果DoSomeOfIt 有可能被多个函数使用，则最好将异常处理代码驻留在该函数本身中——您不想拥有异常处理代码跨多个功能重复。如果这不可能，您发布的代码就可以了。

话虽如此，如果将异常处理代码移至DoSomething，则不会丢失任何内容。事实上，功能变得更好。如果将来被另一个函数使用，异常处理已经处理好了。从那个角度来看，把异常处理代码移到DoSomething会比较好。