Почему std :: chrono :: time_point не ведет себя так, как ожидалось?

Question

#include <chrono> 

int main() 
{ 
    using clock = std::chrono::system_clock; 
    using time_point = std::chrono::time_point<clock>; 

    auto tp_now = clock::now(); 
    auto tp_min = time_point::min(); 

    bool b1 = tp_now > tp_min; 
    bool b2 = (tp_now - tp_min) > std::chrono::seconds{ 0 }; 
    cout << boolalpha << b1 << endl << b2 << endl; 
} 

Ожидаемый результат:

правда

правда

Но фактический выход:

верно

фа lse

Почему именно std::chrono::time_point не работает должным образом?

Answer 1

С:

using clock = std::chrono::system_clock; 
using time_point = std::chrono::time_point<clock>; 

time_point реализуется как если он хранит значение типа Длительность указывающей интервал времени от начала эпохи для часов. (См std::chrono::time_point)

Тип duration членом clock (и из time_point) способен представлять отрицательные длительности.

Таким образом, duration в вашей реализации может быть реализован с помощью целочисленного целочисленного символа (он может быть реализован с целым числом без знака, но со сложным сравнением).

В этой конкретной реализации

time_point::min(); 
time_point t(clock::duration::min()); 
time_point t(clock::duration(std::numeric_limits<Rep>::lowest())); 

и tp_now больше zero, таким образом, когда вы вычитать их, вы получите целочисленное переполнение, так как результат больше, чем std::numeric_limits<Rep>::max(). В реализации с подписанным back-end, это неопределенное поведение, в реализации с неподписанным back-end, я не знаю об этом, но, я думаю, его специальное сравнение сделает его false.

В this example, tp_min является -9223372036854775808 тиков от своей эпохи, что число совпадает с std::numeric_limits<duration::rep>::lowest()

---

TL; DR; Это целочисленное переполнение. Не используйте

(tp1 - tp2) > std::chrono::duration<whatever_rep>::zero 

Вместо этого используйте

tp1 > tp2