为何std::numeric_limits与std::chrono::time_point的max()结果不同？

这一现象的核心原因是std::numeric_limits并没有为std::chrono::time_point提供标准特化，导致它使用了默认模板的行为，而time_point自身的max()成员函数才是符合预期的实现。

1. std::numeric_limits的默认模板行为 #

C++标准规定，std::numeric_limits的主模板（未被特化的版本）中，max()等成员函数会返回默认构造的对象实例。因为std::chrono::time_point不属于标准库为numeric_limits特化的类型列表（标准仅给基本算术类型、std::duration等少数类型做了特化），所以调用std::numeric_limits<timepoint>::max()时，实际返回的是timepoint()——也就是默认构造的零时间点（epoch）。

2. time_point::max()的正确实现 #

std::chrono::time_point自身的静态成员函数max()是专门设计的：它会返回一个时间点，其内部存储的duration值为该duration类型的最大值（即std::chrono::duration::max()）。这才是预期中的“最大时间点”，对应你代码里用max_nanos构造的实例。

对应代码断言的逐一解释 #

结合你给出的代码：

// 以下所有静态断言均有效

using timepoint = std::chrono::time_point<std::chrono::system_clock>;
constexpr static auto max_nanos = std::chrono::nanoseconds(std::numeric_limits<int64_t>::max());
constexpr static auto zero_nanos = std::chrono::nanoseconds(0);
constexpr static auto default_time_point = timepoint();
constexpr static auto numeric_max_time_point = std::numeric_limits<timepoint>::max();
constexpr static auto explicit_max_time_point = timepoint::max();

static_assert(default_time_point == timepoint(zero_nanos), "");
static_assert(default_time_point == numeric_max_time_point, ""); // !?
static_assert(explicit_max_time_point != numeric_max_time_point, ""); //!?
static_assert(explicit_max_time_point == timepoint(max_nanos), "");

• default_time_point == timepoint(zero_nanos)：默认构造的时间点就是零时间点（对应系统时钟的epoch），符合预期。
• default_time_point == numeric_max_time_point：因为numeric_limits<timepoint>::max()返回默认构造的对象，所以和零时间点相等。
• explicit_max_time_point != numeric_max_time_point：前者是真正的最大时间点，后者是零时间点，自然不相等。
• explicit_max_time_point == timepoint(max_nanos)：timepoint::max()内部就是用duration::max()构造的时间点，和你手动用max_nanos构造的实例一致。

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