Является ли следующее определение корректным в С++ или нет? Я вынужден "конвертировать" исключения в коды возврата (рассматриваемый API используется многими пользователями C, поэтому мне нужно убедиться, что все исключения С++ пойманы и обработаны до того, как элемент управления возвращается вызывающему).
enum ErrorCode {…};
ErrorCode dispatcher() {
try {
throw;
}
catch (std::bad_alloc&) {
return ErrorCode_OutOfMemory;
}
catch (std::logic_error&) {
return ErrorCode_LogicError;
}
catch (myownstdexcderivedclass&) {
return ErrorCode_42;
}
catch(...) {
return ErrorCode_UnknownWeWillAllDie;
}
}
ErrorCode apifunc() {
try {
// foo() might throw anything
foo();
}
catch(...) {
// dispatcher rethrows the exception and does fine-grained handling
return dispatcher();
}
return ErrorCode_Fine;
}
ErrorCode apifunc2() {
try {
// bar() might throw anything
bar();
}
catch(...) {
return dispatcher();
}
return ErrorCode_Fine;
}
Надеюсь, что образец показывает мое намерение. Я предполагаю, что это поведение undefined, но я не уверен. При необходимости укажите котировки из стандарта. Также оцениваются альтернативные подходы.
Спасибо!