在模板中使用noexcept运算符

Question

我已经试着去理解更多的内容，比如noexcept运算符是如何工作的，以及如何在模板中使用它。我的目标是启用或禁用模板函数，这取决于成员函数类的noexcept类型。

class ObjTestNoExcept
{
public:
   ObjTestNoExcept() noexcept {}
   void Test() noexcept {}
};

class ObjTestExcept
{
public:
   ObjTestExcept() {}
   void Test() {}
};

template <class T, typename = typename std::enable_if_t<noexcept(T().Test()), T>>
void DoSomething()
{
   std::cout << "OK" << std::endl;
}

int main()
{
   DoSomething<ObjTestNoExcept>();
   DoSomething<ObjTestExcept>(); // error C2672: 'DoSomething': no matching overloaded function found
   return 0;
}

对于ObjTextExcept类，它按预期工作并禁用该函数；对于ObjTestNoExcept类，它按预期工作并启用该函数。

但是，如果我删除了ObjTestNoExcept类上的noexcept关键字，那么该函数将被禁用，而它仍然是noexcept。

class ObjTestNoExcept
{
public:
   ObjTestNoExcept() {}
   void Test() noexcept {}
};

template <class T, typename = typename std::enable_if_t<noexcept(T().Test()), T>>
void DoSomething()
{
   std::cout << "OK" << std::endl;
}

int main()
{
   DoSomething<ObjTestNoExcept>(); // error C2672: 'DoSomething': no matching overloaded function found
   return 0;
}

我不知道在构造函数中删除noexcept关键字有什么问题。

此代码是在Visual Studio 2017专业版15.6.3下开发的。

感谢您的阅读。

奥利维尔

Answer 1

如果表达式X为noexcept，则noexcept(X)为true。在第二个示例(noexcept(T().Test()))中，混合了两个部分：T的构造，然后是对Test方法的调用。这就是为什么从构造函数中删除noexcept会破坏代码。

若要避免假设没有异常的默认构造函数，请使用：noexcept(std::declval<T>().Test())