默认情况下继承构造函数 noexcept(true) 吗？

Question

Here我发现：

默认情况下，继承构造函数 [...] 都是 noexcept(true)，除非它们需要调用 noexcept(false) 的函数，在这种情况下，这些函数是 noexcept(false)。

这是否意味着在下面的示例中，继承的构造函数是noexcept(true)，即使它已在基类中明确定义为noexcept(false)，或者它本身被视为一个没有例外的函数(false) 被调用？

struct Base {
    Base() noexcept(false) { }
};

struct Derived: public Base {
    using Base::Base;
};

int main() {
    Derived d;
}

Answer 1

继承的构造函数也将是noexcept(false)，因为正如您引用的那样，继承的构造函数默认为noexcept(true)

除非他们需要调用 noexcept(false) 的函数

Derived 构造函数运行时，它也会调用Base 构造函数，即noexcept(false)，因此，Derived 构造函数也将是noexcept(false)。

以下内容证明了这一点。

#include <iostream>

struct Base {
  Base() noexcept(false) { }
};

struct Derived: public Base {
  using Base::Base;
};

int main() {
  std::cout << noexcept(Derived());
}

输出 0。