Я начал использовать исключения С++ единообразно, и теперь мне хотелось бы, чтобы компилятор (g++) проверял, нет ли утечек исключений. Декорация throw должна делать это, например, const для констант методов класса.
Ну, это не так.
Использование throw по-прежнему документально, но может даже оказаться опасным для введения в заблуждение, если другие считают, что функция не может выбрасывать другие исключения, кроме тех, которые указаны в его документации.
Можно ли как-то убедить g++ быть более строгим в его проверке на бросок, т.е. действительно удостовериться, что функция, украшенная как throw(), никогда никогда не выбросит что-либо.
Изменить: Нашел этот вопрос, рассматривая этот вопрос широко.
Он не проверяет время компиляции, но соответствующий компилятор должен обеспечить его во время выполнения.
Если функция выбрасывает что-либо за пределами своего объявления throw, во время выполнения С++ следует вызвать std:: неожиданно, если я правильно помню.
Я также рекомендую посмотреть это эссе об спецификациях исключений. Он указывает на проблемы этой функции С++, такие как:
В принципе, спецификации исключений являются хорошими только в качестве пустой спецификации исключения. В противном случае я думаю, что это эксперимент, который не прошел. Посмотрите ответ phlipsy.
Я не знаю, может ли контролер/компилятор сделать это. Возможно, проще прокомментировать это в объявлении функции. Ну, это не дурацкое доказательство, но если люди видят, что может возникнуть исключение, чем большинство людей, он завершает вызов функции в try и catch.
//Can throw Exception
GetFoo();