class Reporter
{
public:
    virtual void report(...)=0;
};

void отдать_кучу_бабок(Reporter *reporter, ...)
{
    //переводим кучу бабок
    reporter->report(отчет_о_переводе_кучи_бабок);
}

class Reporter
{
public:
    bool void report(...)=0;
};

bool отдать_кучу_бабок(Reporter *reporter, ...)
{
    //переводим кучу бабок
    if (!reporter->report(отчет_о_переводе_кучи_бабок)) return false;
    ...
    return true;
}

class Reporter
{
public:
    Error *error;
    bool void report(...)=0;
};

bool отдать_кучу_бабок(Reporter *reporter, ...)
{
    //переводим кучу бабок
    if (!reporter->report(отчет_о_переводе_кучи_бабок))
    {
        //Откатить транзакцию, выполнить cleanup
        return false;
    }
    ...
    return true;
}

class Reporter
{
public:
    bool void report(...)=0;
};

class ErrorContext
{
public:
        Error *error;
};

bool отдать_кучу_бабок(Reporter *reporter, ErrorContext *ctx,...)
{
    //переводим кучу бабок
    if (!reporter->report(отчет_о_переводе_кучи_бабок))
    {
        //Откатить транзакцию, выполнить cleanup
        return false;
    }
    ...
    return true;
}

...
ErrorContext ctx;
Reporter *rep = .... ;
отдать_кучу_бабок(rep,&ctx,....);

if (ctx.error) //Случилась беда?
{
    //Да, все плохо :(
    if (std::typeid(ctx.error)==std::typeif(ErrorEmailFailed))
       //Делаем MessageBox с сообщением "не удалось послать письмо"
    else if (std::typeid(ctx.error)==std::typeif(ErrorDiskFull))
       //....
}
...

  IF TryReturnString(str) THEN 
    ... 
  ELSE 
    ... 
  END

  bool valid = false;
  try
  {
    str = ReturnString();
    valid = true;
  }
  catch
  {
    ......
  }
  if (valid)
  {
     ........
  }

СГ>  bool valid = false;
СГ>  try
СГ>  {
СГ>    str = ReturnString();
СГ>    valid = true;
СГ>  }
СГ>  catch
СГ>  {
СГ>    ......
СГ>  }
СГ>  if (valid)
СГ>  {
СГ>     ........
СГ>  }
СГ>

try
    {
        str = ReturnString();
        useStringAsYouWant();
    }
catch( const std::exception & x )
    {
        allGoingToForest();
    }