Как использовать noexcept оператор правильно

Question

Я реализовал смарт-указатель, который хранит объект типа T с функцией прокси, который вызывает методы внутреннего объекта в:

template <class Function, class ...Args, class ...Params> 
inline bool call(Function (T::*function)(Args...) const, Params&& ...args) const noexcept(noexcept(function)); 

Но я нашел странную проблему - когда std :: exception генерируется в функции-члене, программа завершается, даже если функция прокси вызывается внутри блока try. Поэтому мой вопрос: правильно ли использовать оператор noexcept, а если нет, как его использовать в этом случае?

Answer 1

Перли C++ 11 §5.3.7/1:

noexcept оператор определяет, является ли оценка ее операнда, который является невычисленным операндом (раздел 5), может вызывать исключение (15.1) ,

Вычисление выражения (function) не может бросить исключение, поэтому noexcept(function) вычисляется в true. Обратите внимание, что это не то же самое, что и выражение (*function)(std::forward<Params>(args)...), noexcept((*function)(std::forward<Params>(args)...)), безусловно, оценивается до false, так как указатель функции-члена не квалифицирован noexcept.

noexcept является квалификацией по типам указателей функций, таких как const. Так как указатель функции call принимает NOT noexcept -qualified, этот сложный noexcept(noexcept(...)) всегда будет оценивать как noexcept(false).

EDIT: ниже неправильно, это не возможно перегружать исключительно на основе noexcept квалификации указателя функции, так как «исключение-спецификация не считается частью типа А функции.» (§15.4/13)

Если вы хотите call быть noexcept когда дано noexcept -qualified указатель на функцию-член, необходимо обеспечить перегрузку call(R (T::*)() const noexcept, ...).