我已经实现了一个智能指针,它存储一个类型为 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 运算符是否正确,如果不是,在这种情况下我应该如何使用它?
最佳答案
根据 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, ...)
.
关于c++ - 如何正确使用 noexcept 运算符,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/18150625/