std::chrono::time_point致特殊函数隐式删除的两类疑问

咱们来逐个拆解你的两个疑问：

疑问1：为什么time_point的默认构造函数不是noexcept？ #

你对time_point的理解没错——它本质上封装了一个代表时间戳的算术类型（rep），默认构造确实会把这个值初始化为0，但它的noexcept属性并不是固定的。根据C++标准，std::chrono::time_point的默认构造函数的异常规格定义为：

constexpr time_point() noexcept(is_nothrow_default_constructible_v<rep>);

简单来说，它是否noexcept完全取决于底层rep类型的默认构造是否满足noexcept。

在大多数现代编译器的实现中，steady_clock的rep是普通算术类型（比如long long），这类类型的默认构造确实是noexcept的，但部分旧编译器版本或标准库实现可能没有严格遵循这一规则，或者在C++11早期版本中，noexcept的推导逻辑还不够完善，导致time_point的默认构造没有被标记为noexcept——这就是你的编译器认为它可能抛出异常的原因。

疑问2：为什么移除默认构造函数的noexcept就能编译，而复制构造函数没问题？ #

这背后是C++中显式默认函数的异常规格匹配规则：

当你显式默认一个函数（用= default）并手动指定noexcept时，编译器只有在所有子对象（成员变量、基类）的对应操作都满足noexcept的前提下，才会生成这个函数。如果有任何一个子对象的操作不满足noexcept，编译器会直接将这个函数标记为删除状态（deleted）——这就是你看到报错的核心原因：编译器无法生成符合你指定的noexcept规格的默认构造函数，只能把它删掉，导致你创建MyClass myObject;时触发错误。

我们分别看两个构造函数的情况：

• 默认构造函数：你声明了MyClass() noexcept = default;，但编译器发现成员timestamp的默认构造函数不是noexcept（如疑问1所述），无法生成符合你要求的异常规格的构造函数，因此将其删除。
• 复制构造函数：MyClass(const MyClass&) noexcept = default;，而time_point的复制构造函数是noexcept的（算术类型的复制操作肯定不会抛出异常），所以编译器可以正常生成符合noexcept规格的复制构造函数，因此复制操作不会报错。

当你移除默认构造函数的noexcept时，编译器会自动推导异常规格：它会根据成员timestamp的默认构造的异常情况，生成一个异常规格完全匹配的默认构造函数（也就是允许抛出异常），这个构造函数不会被删除，代码自然就能正常编译了。

内容的提问来源于stack exchange，提问作者Eternal