c – 特殊成员函数是noexcept还是throw()？

struct A {
  A();
  A(const A&) throw();
  A(A&&) throw();
  ~A() throw(X);
};
struct B {
  B() throw();
  B(const B&) throw();
  B(B&&) throw(Y);
  ~B() throw(Y);
};
struct D : public A,public B {
  // Implicit declaration of D::D();
  // Implicit declaration of D::D(const D&) throw();
  // Implicit declaration of D::D(D&&) throw(Y);
  // Implicit declaration of D::D() throw(X,Y);
};

我知道,注释不是规范性的,但值得注意的是,D的复制构造函数被声明为throw()而不是noexcept.它有所不同,因为如果违反了throw()而违反了noexcept,则程序的行为会有所不同.

示例上方15.4 / 14中的文本是规范性的,它说：

An implicitly declared special member function (Clause 12)
shall have an exception-specification. If f is an implicitly declared
default constructor,copy constructor,move constructor,destructor,
copy assignment operator,or move assignment operator,its implicit
exception-specification specifies the type-id T if and only if T is
allowed by the exception-specification of a function directly invoked
by f’s implicit definition; f shall allow all exceptions if any
function it directly invokes allows all exceptions,and f shall allow
no exceptions if every function it directly invokes allows no
exceptions.

鉴于此处仅引用了动态异常规范,我担心隐式生成的特殊成员函数永远不会被声明为noexcept.那是真的吗？