Обеспечение того, чтобы исключения всегда перехватывались

№

Смотрите прагматичный взгляд на спецификации исключений по причинам, почему нет.

Единственный способ сделать это-задокументировать исключения, которые может выдать ваша функция, скажем, в виде комментария в заголовочном файле, объявляющем ее. Это не навязывается компилятором или чем-то еще. Используйте для этой цели обзоры кода.

Вы не должны использовать здесь исключение. Это явно не исключительный случай, если вам нужно ожидать его везде, где вы используете эту функцию!

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

class SearchResult
{
  private:
    ResultType result_;
    bool succeeded_;
    bool succeessChecked_;

  public:
    SearchResult(Result& result, bool succeeded)
      : result_(result)
      , succeeded_(succeeded)
      , successChecked_(false)
    {
    }

    ~SearchResult()
    {
      ASSERT(successChecked_);
    }

    ResultType& Result() { return result_; }
    bool Succeeded() { successChecked_ = true; return succeeded_; }
}

Вне рамок вашего вопроса, поэтому я решил не публиковать это, но в Java есть на самом деле 2 типа исключений, проверенных и непроверенных. Основное отличие заключается в том , что, как и в c[++], вам не нужно ловить непроверенное исключение.

Для хорошей справки попробуйте это

У Криса, вероятно, есть лучший чистый ответ на этот вопрос:

Однако мне любопытно, в чем корень вопроса. Если пользователь должен всегда заключать вызов в блок try/catch, должна ли вызываемая пользователем функция действительно создавать исключения в первую очередь?

На этот вопрос трудно ответить без дополнительного контекста, касающегося рассматриваемой кодовой базы. Стреляя от бедра, я думаю, что лучший ответ здесь-это обернуть функцию так, чтобы рекомендуемый (если не только, в зависимости от общего стиля исключения кода) публичный интерфейс делал попытку/захват для пользователя. Если вы просто пытаетесь убедиться, что в вашем коде нет необработанных исключений, модульные тесты и проверка кода, вероятно, являются лучшим решением.

Есть ли способ, которым можно гарантировать, что брошенные исключения всегда перехвачены использование try/catch по вызову функция?

Я нахожу довольно забавным, что толпа Java- включая меня -пытается избежать проверенных исключений. Они пытаются обойти необходимость ловить исключения с помощью RuntimeExceptions .

Однажды была предпринята попытка добавить спецификации динамических исключений к сигнатуре функции, но поскольку язык не мог обеспечить их точность, они были впоследствии обесценены.

В C++11 и вперед, теперь у нас есть noexcept спецификатор .
Опять же, если подпись помечена для броска, по-прежнему не требуется, чтобы она обрабатывалась вызывающим объектом.

В зависимости от контекста вы можете гарантировать, что исключительное поведение будет обработано путем кодирования его в систему типов.

См.: std::optional как часть основ библиотеки.

Или вы можете начать выбрасывать критические исключения. Несомненно, исключение нарушения доступа привлечет внимание ваших пользователей.