struct Test{
  Test() = default;  // why the implicitly declared as non-throwing exception specification ?
};

类X的隐式声明的复制构造函数将具有以下形式

x::x（常量x(&C) 如果类类型M（或其数组）的每个潜在构造的子对象都有一个复制构造函数，其第一个参数为常量M&； 或者const volatile m&；。119否则，隐式声明的复制构造函数将具有x::x(X&；）

根据Vacuous truth，类Test的隐式声明的复制构造函数是Test::Test(const X&；），因为没有任何类类型子对象。

因此，对于异常规范，

根据以下规则:

类X的隐式声明的构造函数，或者在第一次声明时没有默认的noexcept说明符的构造函数，当且仅当下列任何构造是潜在引发的时，才具有潜在引发的异常规范:

• 由类X的构造函数的隐式定义中的重载解析选择的构造函数，以初始化可能构造的子对象，或
• 此类初始化的子表达式，如默认参数表达式或，
• 对于默认构造函数，默认成员初始值设定项。

没有选择任何用于初始化子对象的构造函数，没有任何初始化的子表达式，也没有任何默认的成员初始值设定项。

前提条件为false，因此我认为异常规范应该是潜在抛出的，但是为什么默认构造函数具有非抛出的异常规范。 我认为在标准中是不明确的。 如果我误解了，请您解读一下。