Спецификации исключений в качестве комментариев при объявлении функций

Question

Я использую исключения C++ в своем коде вместо возвращаемых значений для указания ошибок, поэтому мой код должен быть безопасным для исключений. Поэтому я добавляю спецификацию исключения в качестве комментариев к объявлениям моей функции. Например:

// Does x and y. strong-guarantee 
void XandY(); 

// Checks something. 
bool CheckSomething() noexcept; 

Это хорошая практика?

Кроме того, если я оцениваю свой код для выполнения этих спецификаций, должен ли я иметь в виду только исключения на C++, а также исключения SEH, такие как разыменование nullptr, переполнение или деление на нулевые исключения?

Предположим, я использую стороннюю библиотеку, которая никогда не бросает исключения на C++, но может генерировать исключения SEH. Может ли моя функция, которая полагается на функции этой библиотеки, никогда не перестанет существовать?

void MyFunction() noexcept // <-- Is noexcept viable? 
{ 
    OtherFunction(); // may throw SEH exception 
} 

Answer 1

Спецификация исключений в C++ работает только с исключениями C++, а не с исключениями Windows (SEH). В частности, исключения Windows не могут быть обнаружены с помощью блока C++ try-catch. Большинство условий, которые вызывают исключение Windows, классифицируются как неопределенные или определенные по реализации поведения по стандарту.