强保证方法称为强保证方法

Question

当我有一个方法调用一组提供强有力保证的方法时,我经常遇到回滚更改的问题,以便也有一个强大的保证方法.我们来举个例子:

// Would like this to offer strong guarantee
void MacroMethod() throw(...)
{
  int i = 0;
  try
  {
    for(i = 0; i < 100; ++i)
       SetMethod(i); // this might throw
  }
  catch(const std::exception& _e)
  {
    // Undo changes that were done
    for(int j = i; j >= 0; --j)
      UnsetMethod(j); // this might throw
    throw;
  }
}

// Offers strong guarantee
void SetMethod(int i) throw(...)
{
  // Does a change on member i
}

// Offers strong guarantee
void UnsetMethod() throw(...)
{
  // Undoes a change on member i
}

显然,UnsetMethod可能会抛出.在这种情况下,我的MacroMathod()仅提供基本保证.然而,我尽我所能提供强有力的保证,但我不能绝对确定我的UnsetMethod()不会抛出.这是我的问题:

1. 在这种情况下,我是否应该尝试提供强有力的保证？
2. 我应该将我的MacroMethod()记录为具有基本或强有力的保证吗？即使UnsetMethod不太可能抛出？
3. 你能看到一种方法让这种方法真正提供强有力的保证吗？
4. 我应该尝试调用UnsetMethod(),但感觉相当沉重,我应该怎么做才能捕获？

谢谢!

Answer 1

尝试实现此目的的一个好方法是使您的方法适用于要修改的对象的副本.完成所有修改后,您可以交换对象(应保证交换不要抛出).这只有在有效实现复制和交换时才有意义.

此方法的优点是您try...catch的代码中不需要任何-blocks,也没有清理代码.如果抛出异常,则在堆栈展开期间会丢弃修改后的副本,并且根本不会修改原始副本.