c++ - 如何正确使用 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 block 中调用了代理函数。所以我的问题是:使用 noexcept 运算符是否正确，如果不是，在这种情况下我应该如何使用它？

Answer 1

根据 C++11 §5.3.7/1:

The noexcept operator determines whether the evaluation of its operand, which is an unevaluated operand (Clause 5), can throw an exception (15.1).

计算表达式 (function)不能抛出异常，所以 noexcept(function)评估为 true .请注意，这不与评估表达式 (*function)(std::forward<Params>(args)...) 相同, noexcept((*function)(std::forward<Params>(args)...))肯定会评估为 false , 因为成员函数指针不合格 noexcept .

noexcept是对函数指针类型的限定，如 const .自函数指针类型call接受不是 noexcept -合格，复杂noexcept(noexcept(...))将始终评估为 noexcept(false) .

编辑:以下是不正确的，不可能纯粹基于 noexcept 进行重载函数指针的限定，因为“异常规范不被视为函数类型的一部分。” (§15.4/13)

如果你想要call成为noexcept当给出 noexcept -限定成员函数指针，需要提供重载call(R (T::*)() const noexcept, ...) .