Блог

У меня есть некоторый код, который выглядит следующим образом:

 const SomeType amp; elt = x.find();
try {
    // ... do something with elt ...
} catch (...) {
    // handle processing exception
}
  

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

То, что я хотел бы написать, было бы

 try {
    const SomeType amp; elt = x.find();
} catch (...) {
    // handle "not found" exception
    return;
}
try {
    // ... do something with elt ...
} catch (...) {
    // handle processing exception
}
  

Но, конечно, это не работает, потому elt что к моменту достижения его блока обработки он уже не находится в области видимости. Я не могу изменить это на

 const SomeType amp; e<
try {
    elt = x.find();
} catch (...) {
    // handle "not found" exception
    return;
}
  

потому что, конечно, ссылочные типы в C не могут быть неинициализированы. Итак, у меня остались варианты временной настройки elt в качестве ссылки на фиктивный объект типа SomeType , чего я бы предпочел не делать, или вложения блоков try / catch, например:

 try {
    const SomeType amp; elt = x.find();
    try {
        // ... do something with elt ...
    } catch (...) {
        // handle processing exception
    }
} catch (...) {
    // handle "not found" exception
}
  

Мне это тоже не нравится: вложенность сбивает с толку, и мне не нравится, как обработчик исключений «не найден» скрывается там в конце.

Кто-нибудь может придумать лучший способ организовать это? (В C, конечно, мы бы просто попросили find функцию возвращать нулевой указатель в случае, если он не найден, и обрабатывали бы его таким образом, но мне нравится стараться не быть старым программистом на C, когда я пишу C , и в любом случае x.find() он уже настроен на возврат ссылки,не указатель.)

Если исключения разные, вы можете использовать один и тот же блок try:

 try {
    const SomeTypeamp; elt = x.find();
    // ... do something with elt ...
} catch (const NotFoundExceptionamp;) {
    // handle "not found" exception
} catch (...) {
    // handle processing exception
}
  

в противном случае повторная привязка ссылки не допускается, но может быть смоделирована указателем или std::reference_wrapper вообще,

И необязательная ссылка (не разрешена ни в std, но boost разрешает ее) может быть смоделирована указателем или std::optional<std::reference_wrapper<T>> .

Итак:

 const SomeType* eltPtr = nullptr; 
try {
    eltPtr = amp;x.find();
} catch (const NotFoundExceptionamp;) {
    // handle "not found" exception
    return;
}
const SomeTypeamp; elt = *eltPtr; 
try {
    // ... do something with elt ...
} catch (...) {
    // handle processing exception
}
  

Разделить на другую функцию:

 void func1()
{
    try {
        const SomeType amp; elt = x.find();
        func2(elt);
    } catch (...) {
        // handle "not found" exception
    }
}

void funct2(const SomeType amp; elt)
{
    try {
        // ... do something with elt ...
    } catch (...) {
        // handle processing exception
    }
}
  

Хотя в целом я нахожу ваш интерфейс немного тревожным, поскольку в первую очередь требуются все эти блоки try / catch. К сожалению, трудно дать совет о том, как улучшить общий стиль с такой небольшой информацией.

Это будет не всем по вкусу (поведение определяется кстати), но вы могли бы использовать

 #include <functional>
std::reference_wrapper<const SomeType> elt = e<
try {
    elt = x.find();
} catch (...) {
    // handle "not found" exception
    return;
}