c++ - 使用 noexcept 运算符链接 noexcept 声明

Question

为什么 noexcept 运算符采用表达式而不是函数签名/声明？

考虑以下虚拟示例:

#include <string>

void strProcessor(const std::string& str) noexcept(true) { };

struct Type{
  void method1() noexcept(strProcessor("")) { //Error: Call to nonconstexpr function
     strProcessor("");
  }
};

它不会编译，因为 method1 在其 noexcept 中有一个非 constexpr 表达式，但为什么我首先需要在其中放置一个表达式？

我想做的就是告诉编译器 method1 是 noexcept 当且仅当使用成功构建的字符串调用 strProcessor 是 noexcept (它是)。

那么为什么不noexcept(void strProcessor(const std::string&))呢？

另一个类似的虚拟示例:

struct Type{
   Type(bool shouldThrow=false) noexcept(false) { if(shouldThrow) throw "error"; };
   void method1() noexcept(true) {};
   void method2() noexcept(noexcept(Type().method1())) { method1(); };
}

在这里我想说 method2 是 noexcept 当且仅当在成功构造的 Type 实例上调用 method1 是 noexcept(它是在这种情况下)，但是 Type 在 method2 id 定义的地方甚至还不完整。

如果我对这个功能的理解有误，请解释。

Answer 1

void method1() noexcept(noexcept(strProcessor(""))) {
//   Second 'noexcept'  ^^^^^^^^^                ^

第一个是 noexcept specifier ，它指定是否method1()是 noexcept。

嵌套的是 noexcept operator ，它检查是否strProcessor()当用 "" 调用时是 noexcept .

你的第二个案例有点棘手:Type在我们想使用 method1() 的时候仍然不完整里面noexcept .我来到以下解决方法，滥用指向成员的指针:

void method2() noexcept(noexcept(
    (std::declval<Type>().*&Type::method1)()
)) {};

但是，我不认为存在只能推断出 method2() 的情况。来自 method1() 的 noexcept 规范.