Почему Alexandrescu не использует std:: uncaught_exception() для реализации SCOPE_FAIL в ScopeGuard11?

Многие люди, без сомнения, знакомы с шаблоном Mr. Alexandrescus ScopeGuard (теперь частью Loki) и новой версией ScopeGuard11, представленной здесь: http://channel9.msdn.com/Shows/Going+Deep/C-and-Beyond-2012-Andrei-Alexandrescu-Systematic-Error-Handling-in-C

с исходным кодом здесь: https://gist.github.com/KindDragon/4650442

В своем выступлении на С++ и после 2012 года он упомянул, что не смог найти способ правильно определить, была ли удалена область из-за исключения. Поэтому он не смог реализовать макрос SCOPE_FAIL, который выполнил бы предоставленную лямбду (обычно используемую для обратного кода) тогда и только тогда, когда область завершилась из-за исключения. Это приведет к тому, что функция члена() будет отключена и сделает код более удобочитаемым.

Поскольку я отнюдь не гений или опыт, как г-н Alexandrescu, я ожидаю, что реализация SCOPE_FAIL не так проста:

~ScopeGuard11(){                      //destructor
    if(std::uncaught_exception()){    //if we are exiting because of an exception
        f_();                         //execute the functor
    }
    //otherwise do nothing
}

Мой вопрос, почему бы и нет?

ОТВЕТЫ

Ответ 1

С классом ScopeGuard11, который имеет ваш деструктор, может быть вызван член f_, даже если он не является текущей областью (которая должна быть защищена охранником), которая выходит из-за исключения, Использование этого защитника небезопасно в коде, который может использоваться во время очистки исключений.

Попробуйте этот пример:

#include <exception>
#include <iostream>
#include <string>

// simplified ScopeGuard11
template <class Fun>
struct ScopeGuard11 {
     Fun f_;
     ScopeGuard11(Fun f) : f_(f) {}
     ~ScopeGuard11(){                      //destructor
        if(std::uncaught_exception()){    //if we are exiting because of an exception
            f_();                         //execute the functor
         }
         //otherwise do nothing
      }
};

void rollback() {
  std::cout << "Rolling back everything\n";
}
void could_throw(bool doit) {
  if (doit) throw std::string("Too bad");
}

void foo() {
   ScopeGuard11<void (*)()> rollback_on_exception(rollback);
   could_throw(false);
   // should never see a rollback here
   // as could throw won't throw with this argument
   // in reality there might sometimes be exceptions
   // but here we care about the case where there is none 
}

struct Bar {
   ~Bar() {
      // to cleanup is to foo
      // and never throw from d'tor
      try { foo(); } catch (...) {}
   }
};

void baz() {
   Bar bar;
   ScopeGuard11<void (*)()> more_rollback_on_exception(rollback);
   could_throw(true);
}

int main() try {
   baz();
} catch (std::string & e) {
   std::cout << "caught: " << e << std::endl;
}

Если вы оставите baz, вы захотите увидеть один rollback, но вы увидите два - включая ложный, выходящий из foo.