在模板中使用 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 Professional Version 15.6.3 下开发的。

感谢阅读。

奥利维尔

Answer 1

noexcept(X) 为真，如果表达式 X 为 noexcept。在第二个示例（noexcept(T().Test())）中，有两件事混合在一起：T 的构造，然后是对Test 方法的调用。这就是为什么从构造函数中移除 noexcept 会破坏代码。

为避免假设默认构造函数为 noexcept，请使用：noexcept(std::declval<T>().Test())