blob: f3be02b58d7d9f6d44cb7a19ee934d475a01ac62 [file] [log] [blame]
Howard Hinnantc51e1022010-05-11 19:42:16 +00001// -*- C++ -*-
2//===---------------------------- chrono ----------------------------------===//
3//
Chandler Carruthd2012102019-01-19 10:56:40 +00004// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
5// See https://llvm.org/LICENSE.txt for license information.
6// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Howard Hinnantc51e1022010-05-11 19:42:16 +00007//
8//===----------------------------------------------------------------------===//
9
10#ifndef _LIBCPP_CHRONO
11#define _LIBCPP_CHRONO
12
13/*
14 chrono synopsis
15
16namespace std
17{
18namespace chrono
19{
20
21template <class ToDuration, class Rep, class Period>
Howard Hinnantcf3143c2012-07-13 19:17:27 +000022constexpr
Howard Hinnantc51e1022010-05-11 19:42:16 +000023ToDuration
24duration_cast(const duration<Rep, Period>& fd);
25
26template <class Rep> struct treat_as_floating_point : is_floating_point<Rep> {};
27
Marshall Clowf1bf62f2018-01-02 17:17:01 +000028template <class Rep> inline constexpr bool treat_as_floating_point_v
Marshall Clow59581f02015-11-30 05:39:30 +000029 = treat_as_floating_point<Rep>::value; // C++17
30
Howard Hinnantc51e1022010-05-11 19:42:16 +000031template <class Rep>
32struct duration_values
33{
34public:
Marshall Clowb1296bd2018-11-13 17:22:41 +000035 static constexpr Rep zero(); // noexcept in C++20
36 static constexpr Rep max(); // noexcept in C++20
37 static constexpr Rep min(); // noexcept in C++20
Howard Hinnantc51e1022010-05-11 19:42:16 +000038};
39
40// duration
41
42template <class Rep, class Period = ratio<1>>
43class duration
44{
45 static_assert(!__is_duration<Rep>::value, "A duration representation can not be a duration");
46 static_assert(__is_ratio<Period>::value, "Second template parameter of duration must be a std::ratio");
47 static_assert(Period::num > 0, "duration period must be positive");
48public:
49 typedef Rep rep;
Marshall Clow76200b22017-03-21 18:38:57 +000050 typedef typename _Period::type period;
Howard Hinnantc51e1022010-05-11 19:42:16 +000051
Howard Hinnantcf3143c2012-07-13 19:17:27 +000052 constexpr duration() = default;
Howard Hinnantc51e1022010-05-11 19:42:16 +000053 template <class Rep2>
Howard Hinnantcf3143c2012-07-13 19:17:27 +000054 constexpr explicit duration(const Rep2& r,
Howard Hinnantc51e1022010-05-11 19:42:16 +000055 typename enable_if
56 <
57 is_convertible<Rep2, rep>::value &&
58 (treat_as_floating_point<rep>::value ||
59 !treat_as_floating_point<rep>::value && !treat_as_floating_point<Rep2>::value)
60 >::type* = 0);
61
62 // conversions
63 template <class Rep2, class Period2>
Howard Hinnantcf3143c2012-07-13 19:17:27 +000064 constexpr duration(const duration<Rep2, Period2>& d,
Howard Hinnantc51e1022010-05-11 19:42:16 +000065 typename enable_if
66 <
67 treat_as_floating_point<rep>::value ||
68 ratio_divide<Period2, period>::type::den == 1
69 >::type* = 0);
70
71 // observer
72
Howard Hinnantcf3143c2012-07-13 19:17:27 +000073 constexpr rep count() const;
Howard Hinnantc51e1022010-05-11 19:42:16 +000074
75 // arithmetic
76
Marshall Clow76200b22017-03-21 18:38:57 +000077 constexpr common_type<duration>::type operator+() const;
78 constexpr common_type<duration>::type operator-() const;
Marshall Clowdf247eb2018-08-29 23:02:15 +000079 constexpr duration& operator++(); // constexpr in C++17
80 constexpr duration operator++(int); // constexpr in C++17
81 constexpr duration& operator--(); // constexpr in C++17
82 constexpr duration operator--(int); // constexpr in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +000083
Marshall Clowdf247eb2018-08-29 23:02:15 +000084 constexpr duration& operator+=(const duration& d); // constexpr in C++17
85 constexpr duration& operator-=(const duration& d); // constexpr in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +000086
Marshall Clowdf247eb2018-08-29 23:02:15 +000087 duration& operator*=(const rep& rhs); // constexpr in C++17
88 duration& operator/=(const rep& rhs); // constexpr in C++17
89 duration& operator%=(const rep& rhs); // constexpr in C++17
90 duration& operator%=(const duration& rhs); // constexpr in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +000091
92 // special values
93
Marshall Clowb1296bd2018-11-13 17:22:41 +000094 static constexpr duration zero(); // noexcept in C++20
95 static constexpr duration min(); // noexcept in C++20
96 static constexpr duration max(); // noexcept in C++20
Howard Hinnantc51e1022010-05-11 19:42:16 +000097};
98
99typedef duration<long long, nano> nanoseconds;
100typedef duration<long long, micro> microseconds;
101typedef duration<long long, milli> milliseconds;
102typedef duration<long long > seconds;
103typedef duration< long, ratio< 60> > minutes;
104typedef duration< long, ratio<3600> > hours;
105
106template <class Clock, class Duration = typename Clock::duration>
107class time_point
108{
109public:
110 typedef Clock clock;
111 typedef Duration duration;
112 typedef typename duration::rep rep;
113 typedef typename duration::period period;
114private:
115 duration d_; // exposition only
116
117public:
Marshall Clow5c459c92013-07-31 19:32:19 +0000118 time_point(); // has value "epoch" // constexpr in C++14
119 explicit time_point(const duration& d); // same as time_point() + d // constexpr in C++14
Howard Hinnantc51e1022010-05-11 19:42:16 +0000120
121 // conversions
122 template <class Duration2>
Marshall Clow5c459c92013-07-31 19:32:19 +0000123 time_point(const time_point<clock, Duration2>& t); // constexpr in C++14
Howard Hinnantc51e1022010-05-11 19:42:16 +0000124
125 // observer
126
Marshall Clow5c459c92013-07-31 19:32:19 +0000127 duration time_since_epoch() const; // constexpr in C++14
Howard Hinnantc51e1022010-05-11 19:42:16 +0000128
129 // arithmetic
130
Marshall Clowdf247eb2018-08-29 23:02:15 +0000131 time_point& operator+=(const duration& d); // constexpr in C++17
132 time_point& operator-=(const duration& d); // constexpr in C++17
Howard Hinnantc51e1022010-05-11 19:42:16 +0000133
134 // special values
135
Marshall Clowb1296bd2018-11-13 17:22:41 +0000136 static constexpr time_point min(); // noexcept in C++20
137 static constexpr time_point max(); // noexcept in C++20
Howard Hinnantc51e1022010-05-11 19:42:16 +0000138};
139
140} // chrono
141
142// common_type traits
143template <class Rep1, class Period1, class Rep2, class Period2>
144 struct common_type<chrono::duration<Rep1, Period1>, chrono::duration<Rep2, Period2>>;
145
146template <class Clock, class Duration1, class Duration2>
147 struct common_type<chrono::time_point<Clock, Duration1>, chrono::time_point<Clock, Duration2>>;
148
149namespace chrono {
150
Marshall Clow40ca0c12018-07-18 17:37:51 +0000151
152template<class T> struct is_clock; // C++20
153template<class T> inline constexpr bool is_clock_v = is_clock<T>::value; // C++20
154
155
Howard Hinnantc51e1022010-05-11 19:42:16 +0000156// duration arithmetic
157template <class Rep1, class Period1, class Rep2, class Period2>
Howard Hinnantcf3143c2012-07-13 19:17:27 +0000158 constexpr
Howard Hinnantc51e1022010-05-11 19:42:16 +0000159 typename common_type<duration<Rep1, Period1>, duration<Rep2, Period2>>::type
160 operator+(const duration<Rep1, Period1>& lhs, const duration<Rep2, Period2>& rhs);
161template <class Rep1, class Period1, class Rep2, class Period2>
Howard Hinnantcf3143c2012-07-13 19:17:27 +0000162 constexpr
Howard Hinnantc51e1022010-05-11 19:42:16 +0000163 typename common_type<duration<Rep1, Period1>, duration<Rep2, Period2>>::type
164 operator-(const duration<Rep1, Period1>& lhs, const duration<Rep2, Period2>& rhs);
165template <class Rep1, class Period, class Rep2>
Howard Hinnantcf3143c2012-07-13 19:17:27 +0000166 constexpr
Howard Hinnantc51e1022010-05-11 19:42:16 +0000167 duration<typename common_type<Rep1, Rep2>::type, Period>
168 operator*(const duration<Rep1, Period>& d, const Rep2& s);
169template <class Rep1, class Period, class Rep2>
Howard Hinnantcf3143c2012-07-13 19:17:27 +0000170 constexpr
Howard Hinnantc51e1022010-05-11 19:42:16 +0000171 duration<typename common_type<Rep1, Rep2>::type, Period>
172 operator*(const Rep1& s, const duration<Rep2, Period>& d);
173template <class Rep1, class Period, class Rep2>
Howard Hinnantcf3143c2012-07-13 19:17:27 +0000174 constexpr
Howard Hinnantc51e1022010-05-11 19:42:16 +0000175 duration<typename common_type<Rep1, Rep2>::type, Period>
176 operator/(const duration<Rep1, Period>& d, const Rep2& s);
177template <class Rep1, class Period1, class Rep2, class Period2>
Howard Hinnantcf3143c2012-07-13 19:17:27 +0000178 constexpr
Howard Hinnantc51e1022010-05-11 19:42:16 +0000179 typename common_type<Rep1, Rep2>::type
180 operator/(const duration<Rep1, Period1>& lhs, const duration<Rep2, Period2>& rhs);
181
182// duration comparisons
183template <class Rep1, class Period1, class Rep2, class Period2>
Howard Hinnantcf3143c2012-07-13 19:17:27 +0000184 constexpr
Howard Hinnantc51e1022010-05-11 19:42:16 +0000185 bool operator==(const duration<Rep1, Period1>& lhs, const duration<Rep2, Period2>& rhs);
186template <class Rep1, class Period1, class Rep2, class Period2>
Howard Hinnantcf3143c2012-07-13 19:17:27 +0000187 constexpr
Howard Hinnantc51e1022010-05-11 19:42:16 +0000188 bool operator!=(const duration<Rep1, Period1>& lhs, const duration<Rep2, Period2>& rhs);
189template <class Rep1, class Period1, class Rep2, class Period2>
Howard Hinnantcf3143c2012-07-13 19:17:27 +0000190 constexpr
Howard Hinnantc51e1022010-05-11 19:42:16 +0000191 bool operator< (const duration<Rep1, Period1>& lhs, const duration<Rep2, Period2>& rhs);
192template <class Rep1, class Period1, class Rep2, class Period2>
Howard Hinnantcf3143c2012-07-13 19:17:27 +0000193 constexpr
Howard Hinnantc51e1022010-05-11 19:42:16 +0000194 bool operator<=(const duration<Rep1, Period1>& lhs, const duration<Rep2, Period2>& rhs);
195template <class Rep1, class Period1, class Rep2, class Period2>
Howard Hinnantcf3143c2012-07-13 19:17:27 +0000196 constexpr
Howard Hinnantc51e1022010-05-11 19:42:16 +0000197 bool operator> (const duration<Rep1, Period1>& lhs, const duration<Rep2, Period2>& rhs);
198template <class Rep1, class Period1, class Rep2, class Period2>
Howard Hinnantcf3143c2012-07-13 19:17:27 +0000199 constexpr
Howard Hinnantc51e1022010-05-11 19:42:16 +0000200 bool operator>=(const duration<Rep1, Period1>& lhs, const duration<Rep2, Period2>& rhs);
201
202// duration_cast
203template <class ToDuration, class Rep, class Period>
204 ToDuration duration_cast(const duration<Rep, Period>& d);
205
Marshall Clowf2eabaf2015-11-05 19:33:59 +0000206template <class ToDuration, class Rep, class Period>
207 constexpr ToDuration floor(const duration<Rep, Period>& d); // C++17
208template <class ToDuration, class Rep, class Period>
209 constexpr ToDuration ceil(const duration<Rep, Period>& d); // C++17
210template <class ToDuration, class Rep, class Period>
211 constexpr ToDuration round(const duration<Rep, Period>& d); // C++17
212
Marshall Clow40ca0c12018-07-18 17:37:51 +0000213// duration I/O is elsewhere
214
Marshall Clow5c459c92013-07-31 19:32:19 +0000215// time_point arithmetic (all constexpr in C++14)
Howard Hinnantc51e1022010-05-11 19:42:16 +0000216template <class Clock, class Duration1, class Rep2, class Period2>
217 time_point<Clock, typename common_type<Duration1, duration<Rep2, Period2>>::type>
218 operator+(const time_point<Clock, Duration1>& lhs, const duration<Rep2, Period2>& rhs);
219template <class Rep1, class Period1, class Clock, class Duration2>
220 time_point<Clock, typename common_type<duration<Rep1, Period1>, Duration2>::type>
221 operator+(const duration<Rep1, Period1>& lhs, const time_point<Clock, Duration2>& rhs);
222template <class Clock, class Duration1, class Rep2, class Period2>
223 time_point<Clock, typename common_type<Duration1, duration<Rep2, Period2>>::type>
224 operator-(const time_point<Clock, Duration1>& lhs, const duration<Rep2, Period2>& rhs);
225template <class Clock, class Duration1, class Duration2>
226 typename common_type<Duration1, Duration2>::type
227 operator-(const time_point<Clock, Duration1>& lhs, const time_point<Clock, Duration2>& rhs);
228
Marshall Clow5c459c92013-07-31 19:32:19 +0000229// time_point comparisons (all constexpr in C++14)
Howard Hinnantc51e1022010-05-11 19:42:16 +0000230template <class Clock, class Duration1, class Duration2>
231 bool operator==(const time_point<Clock, Duration1>& lhs, const time_point<Clock, Duration2>& rhs);
232template <class Clock, class Duration1, class Duration2>
233 bool operator!=(const time_point<Clock, Duration1>& lhs, const time_point<Clock, Duration2>& rhs);
234template <class Clock, class Duration1, class Duration2>
235 bool operator< (const time_point<Clock, Duration1>& lhs, const time_point<Clock, Duration2>& rhs);
236template <class Clock, class Duration1, class Duration2>
237 bool operator<=(const time_point<Clock, Duration1>& lhs, const time_point<Clock, Duration2>& rhs);
238template <class Clock, class Duration1, class Duration2>
239 bool operator> (const time_point<Clock, Duration1>& lhs, const time_point<Clock, Duration2>& rhs);
240template <class Clock, class Duration1, class Duration2>
241 bool operator>=(const time_point<Clock, Duration1>& lhs, const time_point<Clock, Duration2>& rhs);
242
Marshall Clow5c459c92013-07-31 19:32:19 +0000243// time_point_cast (constexpr in C++14)
Howard Hinnantc51e1022010-05-11 19:42:16 +0000244
245template <class ToDuration, class Clock, class Duration>
246 time_point<Clock, ToDuration> time_point_cast(const time_point<Clock, Duration>& t);
247
Marshall Clowf2eabaf2015-11-05 19:33:59 +0000248template <class ToDuration, class Clock, class Duration>
249 constexpr time_point<Clock, ToDuration>
250 floor(const time_point<Clock, Duration>& tp); // C++17
251
252template <class ToDuration, class Clock, class Duration>
253 constexpr time_point<Clock, ToDuration>
254 ceil(const time_point<Clock, Duration>& tp); // C++17
255
256template <class ToDuration, class Clock, class Duration>
257 constexpr time_point<Clock, ToDuration>
258 round(const time_point<Clock, Duration>& tp); // C++17
259
260template <class Rep, class Period>
261 constexpr duration<Rep, Period> abs(duration<Rep, Period> d); // C++17
Marshall Clow40ca0c12018-07-18 17:37:51 +0000262
Howard Hinnantc51e1022010-05-11 19:42:16 +0000263// Clocks
264
265class system_clock
266{
267public:
268 typedef microseconds duration;
269 typedef duration::rep rep;
270 typedef duration::period period;
271 typedef chrono::time_point<system_clock> time_point;
Marshall Clow5c459c92013-07-31 19:32:19 +0000272 static const bool is_steady = false; // constexpr in C++14
Howard Hinnantc51e1022010-05-11 19:42:16 +0000273
Howard Hinnantaa54ac42011-05-28 18:34:36 +0000274 static time_point now() noexcept;
275 static time_t to_time_t (const time_point& __t) noexcept;
276 static time_point from_time_t(time_t __t) noexcept;
Howard Hinnantc51e1022010-05-11 19:42:16 +0000277};
278
Marshall Clow40ca0c12018-07-18 17:37:51 +0000279template <class Duration>
280 using sys_time = time_point<system_clock, Duration>; // C++20
281using sys_seconds = sys_time<seconds>; // C++20
282using sys_days = sys_time<days>; // C++20
283
284class utc_clock; // C++20
285
286template <class Duration>
287 using utc_time = time_point<utc_clock, Duration>; // C++20
288using utc_seconds = utc_time<seconds>; // C++20
289
290class tai_clock; // C++20
291
292template <class Duration>
293 using tai_time = time_point<tai_clock, Duration>; // C++20
294using tai_seconds = tai_time<seconds>; // C++20
295
296class file_clock; // C++20
297
298template<class Duration>
299 using file_time = time_point<file_clock, Duration>; // C++20
300
Howard Hinnantc8dbd222010-11-20 19:16:30 +0000301class steady_clock
Howard Hinnantc51e1022010-05-11 19:42:16 +0000302{
303public:
304 typedef nanoseconds duration;
305 typedef duration::rep rep;
306 typedef duration::period period;
Howard Hinnantc8dbd222010-11-20 19:16:30 +0000307 typedef chrono::time_point<steady_clock, duration> time_point;
Marshall Clow5c459c92013-07-31 19:32:19 +0000308 static const bool is_steady = true; // constexpr in C++14
Howard Hinnantc51e1022010-05-11 19:42:16 +0000309
Howard Hinnantaa54ac42011-05-28 18:34:36 +0000310 static time_point now() noexcept;
Howard Hinnantc51e1022010-05-11 19:42:16 +0000311};
312
Howard Hinnantc8dbd222010-11-20 19:16:30 +0000313typedef steady_clock high_resolution_clock;
Howard Hinnantc51e1022010-05-11 19:42:16 +0000314
Marshall Clow40ca0c12018-07-18 17:37:51 +0000315// 25.7.8, local time // C++20
316struct local_t {};
317template<class Duration>
318 using local_time = time_point<local_t, Duration>;
319using local_seconds = local_time<seconds>;
320using local_days = local_time<days>;
321
322// 25.7.9, time_point conversions template<class DestClock, class SourceClock> // C++20
323struct clock_time_conversion;
324
325template<class DestClock, class SourceClock, class Duration>
326 auto clock_cast(const time_point<SourceClock, Duration>& t);
Louis Dionne44bcff92018-08-03 22:36:53 +0000327
Marshall Clow40ca0c12018-07-18 17:37:51 +0000328// 25.8.2, class last_spec // C++20
329struct last_spec;
330
331// 25.8.3, class day // C++20
332
333class day;
334constexpr bool operator==(const day& x, const day& y) noexcept;
335constexpr bool operator!=(const day& x, const day& y) noexcept;
336constexpr bool operator< (const day& x, const day& y) noexcept;
337constexpr bool operator> (const day& x, const day& y) noexcept;
338constexpr bool operator<=(const day& x, const day& y) noexcept;
339constexpr bool operator>=(const day& x, const day& y) noexcept;
340constexpr day operator+(const day& x, const days& y) noexcept;
341constexpr day operator+(const days& x, const day& y) noexcept;
342constexpr day operator-(const day& x, const days& y) noexcept;
343constexpr days operator-(const day& x, const day& y) noexcept;
344
345// 25.8.4, class month // C++20
346class month;
347constexpr bool operator==(const month& x, const month& y) noexcept;
348constexpr bool operator!=(const month& x, const month& y) noexcept;
349constexpr bool operator< (const month& x, const month& y) noexcept;
350constexpr bool operator> (const month& x, const month& y) noexcept;
351constexpr bool operator<=(const month& x, const month& y) noexcept;
352constexpr bool operator>=(const month& x, const month& y) noexcept;
353constexpr month operator+(const month& x, const months& y) noexcept;
354constexpr month operator+(const months& x, const month& y) noexcept;
355constexpr month operator-(const month& x, const months& y) noexcept;
356constexpr months operator-(const month& x, const month& y) noexcept;
357
358// 25.8.5, class year // C++20
359class year;
360constexpr bool operator==(const year& x, const year& y) noexcept;
361constexpr bool operator!=(const year& x, const year& y) noexcept;
362constexpr bool operator< (const year& x, const year& y) noexcept;
363constexpr bool operator> (const year& x, const year& y) noexcept;
364constexpr bool operator<=(const year& x, const year& y) noexcept;
365constexpr bool operator>=(const year& x, const year& y) noexcept;
366constexpr year operator+(const year& x, const years& y) noexcept;
367constexpr year operator+(const years& x, const year& y) noexcept;
368constexpr year operator-(const year& x, const years& y) noexcept;
369constexpr years operator-(const year& x, const year& y) noexcept;
370
371// 25.8.6, class weekday // C++20
372class weekday;
373
374constexpr bool operator==(const weekday& x, const weekday& y) noexcept;
375constexpr bool operator!=(const weekday& x, const weekday& y) noexcept;
376constexpr weekday operator+(const weekday& x, const days& y) noexcept;
377constexpr weekday operator+(const days& x, const weekday& y) noexcept;
378constexpr weekday operator-(const weekday& x, const days& y) noexcept;
379constexpr days operator-(const weekday& x, const weekday& y) noexcept;
380
381// 25.8.7, class weekday_indexed // C++20
382
383class weekday_indexed;
384constexpr bool operator==(const weekday_indexed& x, const weekday_indexed& y) noexcept;
385constexpr bool operator!=(const weekday_indexed& x, const weekday_indexed& y) noexcept;
386
387// 25.8.8, class weekday_last // C++20
388class weekday_last;
389
390constexpr bool operator==(const weekday_last& x, const weekday_last& y) noexcept;
391constexpr bool operator!=(const weekday_last& x, const weekday_last& y) noexcept;
392
393// 25.8.9, class month_day // C++20
394class month_day;
395
396constexpr bool operator==(const month_day& x, const month_day& y) noexcept;
397constexpr bool operator!=(const month_day& x, const month_day& y) noexcept;
398constexpr bool operator< (const month_day& x, const month_day& y) noexcept;
399constexpr bool operator> (const month_day& x, const month_day& y) noexcept;
400constexpr bool operator<=(const month_day& x, const month_day& y) noexcept;
401constexpr bool operator>=(const month_day& x, const month_day& y) noexcept;
402
403
404// 25.8.10, class month_day_last // C++20
405class month_day_last;
406
407constexpr bool operator==(const month_day_last& x, const month_day_last& y) noexcept;
408constexpr bool operator!=(const month_day_last& x, const month_day_last& y) noexcept;
409constexpr bool operator< (const month_day_last& x, const month_day_last& y) noexcept;
410constexpr bool operator> (const month_day_last& x, const month_day_last& y) noexcept;
411constexpr bool operator<=(const month_day_last& x, const month_day_last& y) noexcept;
412constexpr bool operator>=(const month_day_last& x, const month_day_last& y) noexcept;
413
414// 25.8.11, class month_weekday // C++20
415class month_weekday;
416
417constexpr bool operator==(const month_weekday& x, const month_weekday& y) noexcept;
418constexpr bool operator!=(const month_weekday& x, const month_weekday& y) noexcept;
419
420// 25.8.12, class month_weekday_last // C++20
421class month_weekday_last;
422
423constexpr bool operator==(const month_weekday_last& x, const month_weekday_last& y) noexcept;
424constexpr bool operator!=(const month_weekday_last& x, const month_weekday_last& y) noexcept;
425
426
427// 25.8.13, class year_month // C++20
428class year_month;
429
430constexpr bool operator==(const year_month& x, const year_month& y) noexcept;
431constexpr bool operator!=(const year_month& x, const year_month& y) noexcept;
432constexpr bool operator< (const year_month& x, const year_month& y) noexcept;
433constexpr bool operator> (const year_month& x, const year_month& y) noexcept;
434constexpr bool operator<=(const year_month& x, const year_month& y) noexcept;
435constexpr bool operator>=(const year_month& x, const year_month& y) noexcept;
436
437constexpr year_month operator+(const year_month& ym, const months& dm) noexcept;
438constexpr year_month operator+(const months& dm, const year_month& ym) noexcept;
439constexpr year_month operator-(const year_month& ym, const months& dm) noexcept;
440constexpr months operator-(const year_month& x, const year_month& y) noexcept;
441constexpr year_month operator+(const year_month& ym, const years& dy) noexcept;
442constexpr year_month operator+(const years& dy, const year_month& ym) noexcept;
443constexpr year_month operator-(const year_month& ym, const years& dy) noexcept;
444
445// 25.8.14, class year_month_day class // C++20
446year_month_day;
447
448constexpr bool operator==(const year_month_day& x, const year_month_day& y) noexcept;
449constexpr bool operator!=(const year_month_day& x, const year_month_day& y) noexcept;
450constexpr bool operator< (const year_month_day& x, const year_month_day& y) noexcept;
451constexpr bool operator> (const year_month_day& x, const year_month_day& y) noexcept;
452constexpr bool operator<=(const year_month_day& x, const year_month_day& y) noexcept;
453constexpr bool operator>=(const year_month_day& x, const year_month_day& y) noexcept;
454
455constexpr year_month_day operator+(const year_month_day& ymd, const months& dm) noexcept;
456constexpr year_month_day operator+(const months& dm, const year_month_day& ymd) noexcept;
457constexpr year_month_day operator+(const year_month_day& ymd, const years& dy) noexcept;
458constexpr year_month_day operator+(const years& dy, const year_month_day& ymd) noexcept;
459constexpr year_month_day operator-(const year_month_day& ymd, const months& dm) noexcept;
460constexpr year_month_day operator-(const year_month_day& ymd, const years& dy) noexcept;
461
462
463// 25.8.15, class year_month_day_last // C++20
464class year_month_day_last;
465
466constexpr bool operator==(const year_month_day_last& x,
467 const year_month_day_last& y) noexcept;
468constexpr bool operator!=(const year_month_day_last& x,
469 const year_month_day_last& y) noexcept;
470constexpr bool operator< (const year_month_day_last& x,
471 const year_month_day_last& y) noexcept;
472constexpr bool operator> (const year_month_day_last& x,
473 const year_month_day_last& y) noexcept;
474constexpr bool operator<=(const year_month_day_last& x,
475 const year_month_day_last& y) noexcept;
476constexpr bool operator>=(const year_month_day_last& x,
477 const year_month_day_last& y) noexcept;
478
479constexpr year_month_day_last
480 operator+(const year_month_day_last& ymdl, const months& dm) noexcept;
481constexpr year_month_day_last
482 operator+(const months& dm, const year_month_day_last& ymdl) noexcept;
483constexpr year_month_day_last
484 operator+(const year_month_day_last& ymdl, const years& dy) noexcept;
485constexpr year_month_day_last
486 operator+(const years& dy, const year_month_day_last& ymdl) noexcept;
487constexpr year_month_day_last
488 operator-(const year_month_day_last& ymdl, const months& dm) noexcept;
489constexpr year_month_day_last
490 operator-(const year_month_day_last& ymdl, const years& dy) noexcept;
491
492// 25.8.16, class year_month_weekday // C++20
493class year_month_weekday;
494
495constexpr bool operator==(const year_month_weekday& x,
496 const year_month_weekday& y) noexcept;
497constexpr bool operator!=(const year_month_weekday& x,
498 const year_month_weekday& y) noexcept;
499
500constexpr year_month_weekday
501 operator+(const year_month_weekday& ymwd, const months& dm) noexcept;
502constexpr year_month_weekday
503 operator+(const months& dm, const year_month_weekday& ymwd) noexcept;
504constexpr year_month_weekday
505 operator+(const year_month_weekday& ymwd, const years& dy) noexcept;
506constexpr year_month_weekday
507 operator+(const years& dy, const year_month_weekday& ymwd) noexcept;
508constexpr year_month_weekday
509 operator-(const year_month_weekday& ymwd, const months& dm) noexcept;
510constexpr year_month_weekday
511 operator-(const year_month_weekday& ymwd, const years& dy) noexcept;
512
513// 25.8.17, class year_month_weekday_last // C++20
514class year_month_weekday_last;
515
516constexpr bool operator==(const year_month_weekday_last& x,
517 const year_month_weekday_last& y) noexcept;
518constexpr bool operator!=(const year_month_weekday_last& x,
519 const year_month_weekday_last& y) noexcept;
520constexpr year_month_weekday_last
521 operator+(const year_month_weekday_last& ymwdl, const months& dm) noexcept;
522constexpr year_month_weekday_last
523 operator+(const months& dm, const year_month_weekday_last& ymwdl) noexcept;
524constexpr year_month_weekday_last
525 operator+(const year_month_weekday_last& ymwdl, const years& dy) noexcept;
526constexpr year_month_weekday_last
527 operator+(const years& dy, const year_month_weekday_last& ymwdl) noexcept;
528constexpr year_month_weekday_last
529 operator-(const year_month_weekday_last& ymwdl, const months& dm) noexcept;
530constexpr year_month_weekday_last
531 operator-(const year_month_weekday_last& ymwdl, const years& dy) noexcept;
Louis Dionne44bcff92018-08-03 22:36:53 +0000532
Marshall Clow40ca0c12018-07-18 17:37:51 +0000533// 25.8.18, civil calendar conventional syntax operators // C++20
534constexpr year_month
535 operator/(const year& y, const month& m) noexcept;
536constexpr year_month
537 operator/(const year& y, int m) noexcept;
538constexpr month_day
539 operator/(const month& m, const day& d) noexcept;
540constexpr month_day
541 operator/(const month& m, int d) noexcept;
542constexpr month_day
543 operator/(int m, const day& d) noexcept;
544constexpr month_day
545 operator/(const day& d, const month& m) noexcept;
546constexpr month_day
547 operator/(const day& d, int m) noexcept;
548constexpr month_day_last
549 operator/(const month& m, last_spec) noexcept;
550constexpr month_day_last
551 operator/(int m, last_spec) noexcept;
552constexpr month_day_last
553 operator/(last_spec, const month& m) noexcept;
554constexpr month_day_last
555 operator/(last_spec, int m) noexcept;
556constexpr month_weekday
557 operator/(const month& m, const weekday_indexed& wdi) noexcept;
558constexpr month_weekday
559 operator/(int m, const weekday_indexed& wdi) noexcept;
560constexpr month_weekday
561 operator/(const weekday_indexed& wdi, const month& m) noexcept;
562constexpr month_weekday
563 operator/(const weekday_indexed& wdi, int m) noexcept;
564constexpr month_weekday_last
565 operator/(const month& m, const weekday_last& wdl) noexcept;
566constexpr month_weekday_last
567 operator/(int m, const weekday_last& wdl) noexcept;
568constexpr month_weekday_last
569 operator/(const weekday_last& wdl, const month& m) noexcept;
570constexpr month_weekday_last
571 operator/(const weekday_last& wdl, int m) noexcept;
572constexpr year_month_day
573 operator/(const year_month& ym, const day& d) noexcept;
574constexpr year_month_day
575 operator/(const year_month& ym, int d) noexcept;
576constexpr year_month_day
577 operator/(const year& y, const month_day& md) noexcept;
578constexpr year_month_day
579 operator/(int y, const month_day& md) noexcept;
580constexpr year_month_day
581 operator/(const month_day& md, const year& y) noexcept;
582constexpr year_month_day
583 operator/(const month_day& md, int y) noexcept;
584constexpr year_month_day_last
585 operator/(const year_month& ym, last_spec) noexcept;
586constexpr year_month_day_last
587 operator/(const year& y, const month_day_last& mdl) noexcept;
588constexpr year_month_day_last
589 operator/(int y, const month_day_last& mdl) noexcept;
590constexpr year_month_day_last
591 operator/(const month_day_last& mdl, const year& y) noexcept;
592constexpr year_month_day_last
593 operator/(const month_day_last& mdl, int y) noexcept;
594constexpr year_month_weekday
595 operator/(const year_month& ym, const weekday_indexed& wdi) noexcept;
596constexpr year_month_weekday
597 operator/(const year& y, const month_weekday& mwd) noexcept;
598constexpr year_month_weekday
599 operator/(int y, const month_weekday& mwd) noexcept;
600constexpr year_month_weekday
601 operator/(const month_weekday& mwd, const year& y) noexcept;
602constexpr year_month_weekday
603 operator/(const month_weekday& mwd, int y) noexcept;
604constexpr year_month_weekday_last
605 operator/(const year_month& ym, const weekday_last& wdl) noexcept;
606constexpr year_month_weekday_last
607 operator/(const year& y, const month_weekday_last& mwdl) noexcept;
608constexpr year_month_weekday_last
609 operator/(int y, const month_weekday_last& mwdl) noexcept;
610constexpr year_month_weekday_last
611 operator/(const month_weekday_last& mwdl, const year& y) noexcept;
612constexpr year_month_weekday_last
Louis Dionne44bcff92018-08-03 22:36:53 +0000613 operator/(const month_weekday_last& mwdl, int y) noexcept;
Marshall Clow40ca0c12018-07-18 17:37:51 +0000614
Marshall Clow748d1a62019-08-08 14:36:07 +0000615// 26.9, class template hh_mm_ss
616template <class Duration>
617class hh_mm_ss
618{
619 bool is_neg; // exposition only
620 chrono::hours h; // exposition only
621 chrono::minutes m; // exposition only
622 chrono::seconds s; // exposition only
623 precision ss; // exposition only
Marshall Clow40ca0c12018-07-18 17:37:51 +0000624
Marshall Clow748d1a62019-08-08 14:36:07 +0000625public:
626 static unsigned constexpr fractional_width = see below;
627 using precision = see below;
628
629 constexpr hh_mm_ss() noexcept : hh_mm_ss{Duration::zero()} {}
630 constexpr explicit hh_mm_ss(Duration d) noexcept;
631
632 constexpr bool is_negative() const noexcept;
633 constexpr chrono::hours hours() const noexcept;
634 constexpr chrono::minutes minutes() const noexcept;
635 constexpr chrono::seconds seconds() const noexcept;
636 constexpr precision subseconds() const noexcept;
637
638 constexpr explicit operator precision() const noexcept;
639 constexpr precision to_duration() const noexcept;
640};
641
642template <class charT, class traits, class Duration>
643 basic_ostream<charT, traits>&
644 operator<<(basic_ostream<charT, traits>& os, hh_mm_ss<Duration> const& hms);
645
646// 26.10, 12/24 hour functions
647constexpr bool is_am(hours const& h) noexcept;
648constexpr bool is_pm(hours const& h) noexcept;
649constexpr hours make12(const hours& h) noexcept;
650constexpr hours make24(const hours& h, bool is_pm) noexcept;
651
Marshall Clow40ca0c12018-07-18 17:37:51 +0000652
653// 25.10.2, time zone database // C++20
654struct tzdb;
655class tzdb_list;
656
657// 25.10.2.3, time zone database access // C++20
658const tzdb& get_tzdb();
659tzdb_list& get_tzdb_list();
660const time_zone* locate_zone(string_view tz_name);
661const time_zone* current_zone();
662
663// 25.10.2.4, remote time zone database support // C++20
664const tzdb& reload_tzdb();
665string remote_version();
666
667// 25.10.3, exception classes // C++20
668class nonexistent_local_time;
669class ambiguous_local_time;
670
671// 25.10.4, information classes // C++20
672struct sys_info;
673struct local_info;
Louis Dionne44bcff92018-08-03 22:36:53 +0000674
Marshall Clow40ca0c12018-07-18 17:37:51 +0000675// 25.10.5, class time_zone // C++20
676enum class choose {earliest, latest};
677class time_zone;
678bool operator==(const time_zone& x, const time_zone& y) noexcept;
679bool operator!=(const time_zone& x, const time_zone& y) noexcept;
680bool operator<(const time_zone& x, const time_zone& y) noexcept;
681bool operator>(const time_zone& x, const time_zone& y) noexcept;
682bool operator<=(const time_zone& x, const time_zone& y) noexcept;
683bool operator>=(const time_zone& x, const time_zone& y) noexcept;
Louis Dionne44bcff92018-08-03 22:36:53 +0000684
Marshall Clow40ca0c12018-07-18 17:37:51 +0000685// 25.10.6, class template zoned_traits // C++20
686template<class T> struct zoned_traits;
687
688// 25.10.7, class template zoned_time // C++20
689template<class Duration, class TimeZonePtr = const time_zone*> class zoned_time;
690using zoned_seconds = zoned_time<seconds>;
691
692template<class Duration1, class Duration2, class TimeZonePtr>
693 bool operator==(const zoned_time<Duration1, TimeZonePtr>& x,
694 const zoned_time<Duration2, TimeZonePtr>& y);
695template<class Duration1, class Duration2, class TimeZonePtr>
696 bool operator!=(const zoned_time<Duration1, TimeZonePtr>& x,
697 const zoned_time<Duration2, TimeZonePtr>& y);
698
699// 25.10.8, leap second support // C++20
700class leap;
701
702bool operator==(const leap& x, const leap& y);
703bool operator!=(const leap& x, const leap& y);
704bool operator< (const leap& x, const leap& y);
705bool operator> (const leap& x, const leap& y);
706bool operator<=(const leap& x, const leap& y);
707bool operator>=(const leap& x, const leap& y);
708template<class Duration>
709 bool operator==(const leap& x, const sys_time<Duration>& y);
710template<class Duration>
711 bool operator==(const sys_time<Duration>& x, const leap& y);
712template<class Duration>
713 bool operator!=(const leap& x, const sys_time<Duration>& y);
714template<class Duration>
715 bool operator!=(const sys_time<Duration>& x, const leap& y);
716template<class Duration>
717 bool operator< (const leap& x, const sys_time<Duration>& y);
718template<class Duration>
719 bool operator< (const sys_time<Duration>& x, const leap& y);
720template<class Duration>
721 bool operator> (const leap& x, const sys_time<Duration>& y);
722template<class Duration>
723 bool operator> (const sys_time<Duration>& x, const leap& y);
724template<class Duration>
725 bool operator<=(const leap& x, const sys_time<Duration>& y);
726template<class Duration>
727 bool operator<=(const sys_time<Duration>& x, const leap& y);
728template<class Duration>
729 bool operator>=(const leap& x, const sys_time<Duration>& y);
730template<class Duration>
731 bool operator>=(const sys_time<Duration>& x, const leap& y);
732
733// 25.10.9, class link // C++20
734class link;
735bool operator==(const link& x, const link& y);
736bool operator!=(const link& x, const link& y);
737bool operator< (const link& x, const link& y);
738bool operator> (const link& x, const link& y);
739bool operator<=(const link& x, const link& y);
740bool operator>=(const link& x, const link& y);
741
742// 25.11, formatting // C++20
743template<class charT, class Streamable>
744 basic_string<charT>
745 format(const charT* fmt, const Streamable& s);
746
747template<class charT, class Streamable>
748 basic_string<charT>
749 format(const locale& loc, const charT* fmt, const Streamable& s);
750
751template<class charT, class traits, class Alloc, class Streamable>
752 basic_string<charT, traits, Alloc>
753 format(const basic_string<charT, traits, Alloc>& fmt, const Streamable& s);
754
755template<class charT, class traits, class Alloc, class Streamable>
756 basic_string<charT, traits, Alloc>
757 format(const locale& loc, const basic_string<charT, traits, Alloc>& fmt,
Louis Dionne44bcff92018-08-03 22:36:53 +0000758 const Streamable& s);
Marshall Clow40ca0c12018-07-18 17:37:51 +0000759
760// 25.12, parsing // C++20
761template<class charT, class traits, class Alloc, class Parsable>
762unspecified
763 parse(const basic_string<charT, traits, Alloc>& format, Parsable& tp);
764
765template<class charT, class traits, class Alloc, class Parsable>
766unspecified
767 parse(const basic_string<charT, traits, Alloc>& format, Parsable& tp,
768 basic_string<charT, traits, Alloc>& abbrev);
769
770template<class charT, class traits, class Alloc, class Parsable>
771unspecified
772 parse(const basic_string<charT, traits, Alloc>& format, Parsable& tp,
773 minutes& offset);
774
775template<class charT, class traits, class Alloc, class Parsable>
776unspecified
777 parse(const basic_string<charT, traits, Alloc>& format, Parsable& tp,
778 basic_string<charT, traits, Alloc>& abbrev, minutes& offset);
779
Marshall Clow26058352018-10-16 17:27:54 +0000780// calendrical constants
Louis Dionne44bcff92018-08-03 22:36:53 +0000781inline constexpr last_spec last{}; // C++20
Marshall Clow40ca0c12018-07-18 17:37:51 +0000782inline constexpr chrono::weekday Sunday{0}; // C++20
783inline constexpr chrono::weekday Monday{1}; // C++20
784inline constexpr chrono::weekday Tuesday{2}; // C++20
785inline constexpr chrono::weekday Wednesday{3}; // C++20
786inline constexpr chrono::weekday Thursday{4}; // C++20
787inline constexpr chrono::weekday Friday{5}; // C++20
788inline constexpr chrono::weekday Saturday{6}; // C++20
789
790inline constexpr chrono::month January{1}; // C++20
791inline constexpr chrono::month February{2}; // C++20
792inline constexpr chrono::month March{3}; // C++20
793inline constexpr chrono::month April{4}; // C++20
794inline constexpr chrono::month May{5}; // C++20
795inline constexpr chrono::month June{6}; // C++20
796inline constexpr chrono::month July{7}; // C++20
797inline constexpr chrono::month August{8}; // C++20
798inline constexpr chrono::month September{9}; // C++20
799inline constexpr chrono::month October{10}; // C++20
800inline constexpr chrono::month November{11}; // C++20
801inline constexpr chrono::month December{12}; // C++20
Howard Hinnantc51e1022010-05-11 19:42:16 +0000802} // chrono
803
Marshall Clow40ca0c12018-07-18 17:37:51 +0000804inline namespace literals {
805 inline namespace chrono_literals {
Marshall Clow2ac805a2017-08-09 15:42:50 +0000806constexpr chrono::hours operator ""h(unsigned long long); // C++14
807constexpr chrono::duration<unspecified , ratio<3600,1>> operator ""h(long double); // C++14
808constexpr chrono::minutes operator ""min(unsigned long long); // C++14
809constexpr chrono::duration<unspecified , ratio<60,1>> operator ""min(long double); // C++14
810constexpr chrono::seconds operator ""s(unsigned long long); // C++14
811constexpr chrono::duration<unspecified > operator ""s(long double); // C++14
812constexpr chrono::milliseconds operator ""ms(unsigned long long); // C++14
813constexpr chrono::duration<unspecified , milli> operator ""ms(long double); // C++14
814constexpr chrono::microseconds operator ""us(unsigned long long); // C++14
815constexpr chrono::duration<unspecified , micro> operator ""us(long double); // C++14
816constexpr chrono::nanoseconds operator ""ns(unsigned long long); // C++14
817constexpr chrono::duration<unspecified , nano> operator ""ns(long double); // C++14
Marshall Clow40ca0c12018-07-18 17:37:51 +0000818constexpr chrono::day operator ""d(unsigned long long d) noexcept; // C++20
819constexpr chrono::year operator ""y(unsigned long long y) noexcept; // C++20
820} // chrono_literals
821} // literals
Marshall Cloweb41e5c2013-07-24 21:18:14 +0000822
Howard Hinnantc51e1022010-05-11 19:42:16 +0000823} // std
824*/
825
826#include <__config>
827#include <ctime>
828#include <type_traits>
829#include <ratio>
830#include <limits>
Marshall Clow0a1e7502018-09-12 19:41:40 +0000831#include <version>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000832
Howard Hinnantaaaa52b2011-10-17 20:05:10 +0000833#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
Howard Hinnantc51e1022010-05-11 19:42:16 +0000834#pragma GCC system_header
Howard Hinnantaaaa52b2011-10-17 20:05:10 +0000835#endif
Howard Hinnantc51e1022010-05-11 19:42:16 +0000836
Eric Fiselierf4433a32017-05-31 22:07:49 +0000837_LIBCPP_PUSH_MACROS
838#include <__undef_macros>
839
Eric Fiselier4dcc2542018-12-21 04:30:04 +0000840#ifndef _LIBCPP_CXX03_LANG
Eric Fiselier049273c2018-12-21 03:54:57 +0000841_LIBCPP_BEGIN_NAMESPACE_FILESYSTEM
842struct _FilesystemClock;
843_LIBCPP_END_NAMESPACE_FILESYSTEM
Eric Fiselier4dcc2542018-12-21 04:30:04 +0000844#endif // !_LIBCPP_CXX03_LANG
Eric Fiselierf4433a32017-05-31 22:07:49 +0000845
Howard Hinnantc51e1022010-05-11 19:42:16 +0000846_LIBCPP_BEGIN_NAMESPACE_STD
847
848namespace chrono
849{
850
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000851template <class _Rep, class _Period = ratio<1> > class _LIBCPP_TEMPLATE_VIS duration;
Howard Hinnantc51e1022010-05-11 19:42:16 +0000852
Howard Hinnantf39463b2010-05-18 17:32:30 +0000853template <class _Tp>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000854struct __is_duration : false_type {};
855
856template <class _Rep, class _Period>
857struct __is_duration<duration<_Rep, _Period> > : true_type {};
858
859template <class _Rep, class _Period>
860struct __is_duration<const duration<_Rep, _Period> > : true_type {};
861
862template <class _Rep, class _Period>
863struct __is_duration<volatile duration<_Rep, _Period> > : true_type {};
864
865template <class _Rep, class _Period>
866struct __is_duration<const volatile duration<_Rep, _Period> > : true_type {};
867
868} // chrono
869
870template <class _Rep1, class _Period1, class _Rep2, class _Period2>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000871struct _LIBCPP_TEMPLATE_VIS common_type<chrono::duration<_Rep1, _Period1>,
Howard Hinnanta37d3cf2013-08-12 18:38:34 +0000872 chrono::duration<_Rep2, _Period2> >
Howard Hinnantc51e1022010-05-11 19:42:16 +0000873{
874 typedef chrono::duration<typename common_type<_Rep1, _Rep2>::type,
875 typename __ratio_gcd<_Period1, _Period2>::type> type;
876};
877
878namespace chrono {
879
880// duration_cast
881
882template <class _FromDuration, class _ToDuration,
883 class _Period = typename ratio_divide<typename _FromDuration::period, typename _ToDuration::period>::type,
884 bool = _Period::num == 1,
885 bool = _Period::den == 1>
886struct __duration_cast;
887
888template <class _FromDuration, class _ToDuration, class _Period>
889struct __duration_cast<_FromDuration, _ToDuration, _Period, true, true>
890{
Howard Hinnantcf3143c2012-07-13 19:17:27 +0000891 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
Howard Hinnantc51e1022010-05-11 19:42:16 +0000892 _ToDuration operator()(const _FromDuration& __fd) const
893 {
894 return _ToDuration(static_cast<typename _ToDuration::rep>(__fd.count()));
895 }
896};
897
898template <class _FromDuration, class _ToDuration, class _Period>
899struct __duration_cast<_FromDuration, _ToDuration, _Period, true, false>
900{
Howard Hinnantcf3143c2012-07-13 19:17:27 +0000901 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
Howard Hinnantc51e1022010-05-11 19:42:16 +0000902 _ToDuration operator()(const _FromDuration& __fd) const
903 {
904 typedef typename common_type<typename _ToDuration::rep, typename _FromDuration::rep, intmax_t>::type _Ct;
905 return _ToDuration(static_cast<typename _ToDuration::rep>(
906 static_cast<_Ct>(__fd.count()) / static_cast<_Ct>(_Period::den)));
907 }
908};
909
910template <class _FromDuration, class _ToDuration, class _Period>
911struct __duration_cast<_FromDuration, _ToDuration, _Period, false, true>
912{
Howard Hinnantcf3143c2012-07-13 19:17:27 +0000913 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
Howard Hinnantc51e1022010-05-11 19:42:16 +0000914 _ToDuration operator()(const _FromDuration& __fd) const
915 {
916 typedef typename common_type<typename _ToDuration::rep, typename _FromDuration::rep, intmax_t>::type _Ct;
917 return _ToDuration(static_cast<typename _ToDuration::rep>(
918 static_cast<_Ct>(__fd.count()) * static_cast<_Ct>(_Period::num)));
919 }
920};
921
922template <class _FromDuration, class _ToDuration, class _Period>
923struct __duration_cast<_FromDuration, _ToDuration, _Period, false, false>
924{
Howard Hinnantcf3143c2012-07-13 19:17:27 +0000925 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
Howard Hinnantc51e1022010-05-11 19:42:16 +0000926 _ToDuration operator()(const _FromDuration& __fd) const
927 {
928 typedef typename common_type<typename _ToDuration::rep, typename _FromDuration::rep, intmax_t>::type _Ct;
929 return _ToDuration(static_cast<typename _ToDuration::rep>(
930 static_cast<_Ct>(__fd.count()) * static_cast<_Ct>(_Period::num)
931 / static_cast<_Ct>(_Period::den)));
932 }
933};
934
935template <class _ToDuration, class _Rep, class _Period>
936inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantcf3143c2012-07-13 19:17:27 +0000937_LIBCPP_CONSTEXPR
Howard Hinnantc51e1022010-05-11 19:42:16 +0000938typename enable_if
939<
940 __is_duration<_ToDuration>::value,
941 _ToDuration
942>::type
943duration_cast(const duration<_Rep, _Period>& __fd)
944{
945 return __duration_cast<duration<_Rep, _Period>, _ToDuration>()(__fd);
946}
947
Howard Hinnant874ad9a2010-09-21 21:28:23 +0000948template <class _Rep>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000949struct _LIBCPP_TEMPLATE_VIS treat_as_floating_point : is_floating_point<_Rep> {};
Howard Hinnantc51e1022010-05-11 19:42:16 +0000950
Marshall Clow59581f02015-11-30 05:39:30 +0000951#if _LIBCPP_STD_VER > 14 && !defined(_LIBCPP_HAS_NO_VARIABLE_TEMPLATES)
Marshall Clowf1bf62f2018-01-02 17:17:01 +0000952template <class _Rep>
953_LIBCPP_INLINE_VAR _LIBCPP_CONSTEXPR bool treat_as_floating_point_v
Marshall Clow59581f02015-11-30 05:39:30 +0000954 = treat_as_floating_point<_Rep>::value;
955#endif
956
Howard Hinnantc51e1022010-05-11 19:42:16 +0000957template <class _Rep>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +0000958struct _LIBCPP_TEMPLATE_VIS duration_values
Howard Hinnantc51e1022010-05-11 19:42:16 +0000959{
960public:
Marshall Clowb1296bd2018-11-13 17:22:41 +0000961 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR _Rep zero() _NOEXCEPT {return _Rep(0);}
962 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR _Rep max() _NOEXCEPT {return numeric_limits<_Rep>::max();}
963 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR _Rep min() _NOEXCEPT {return numeric_limits<_Rep>::lowest();}
Howard Hinnantc51e1022010-05-11 19:42:16 +0000964};
965
Marshall Clowf2eabaf2015-11-05 19:33:59 +0000966#if _LIBCPP_STD_VER > 14
967template <class _ToDuration, class _Rep, class _Period>
968inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
969typename enable_if
970<
971 __is_duration<_ToDuration>::value,
972 _ToDuration
973>::type
974floor(const duration<_Rep, _Period>& __d)
975{
976 _ToDuration __t = duration_cast<_ToDuration>(__d);
977 if (__t > __d)
978 __t = __t - _ToDuration{1};
979 return __t;
980}
981
982template <class _ToDuration, class _Rep, class _Period>
983inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
984typename enable_if
985<
986 __is_duration<_ToDuration>::value,
987 _ToDuration
988>::type
989ceil(const duration<_Rep, _Period>& __d)
990{
991 _ToDuration __t = duration_cast<_ToDuration>(__d);
992 if (__t < __d)
993 __t = __t + _ToDuration{1};
994 return __t;
995}
996
997template <class _ToDuration, class _Rep, class _Period>
998inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
999typename enable_if
1000<
1001 __is_duration<_ToDuration>::value,
1002 _ToDuration
1003>::type
1004round(const duration<_Rep, _Period>& __d)
1005{
1006 _ToDuration __lower = floor<_ToDuration>(__d);
1007 _ToDuration __upper = __lower + _ToDuration{1};
1008 auto __lowerDiff = __d - __lower;
1009 auto __upperDiff = __upper - __d;
1010 if (__lowerDiff < __upperDiff)
1011 return __lower;
1012 if (__lowerDiff > __upperDiff)
1013 return __upper;
1014 return __lower.count() & 1 ? __upper : __lower;
1015}
1016#endif
1017
Howard Hinnantc51e1022010-05-11 19:42:16 +00001018// duration
1019
1020template <class _Rep, class _Period>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +00001021class _LIBCPP_TEMPLATE_VIS duration
Howard Hinnantc51e1022010-05-11 19:42:16 +00001022{
1023 static_assert(!__is_duration<_Rep>::value, "A duration representation can not be a duration");
1024 static_assert(__is_ratio<_Period>::value, "Second template parameter of duration must be a std::ratio");
1025 static_assert(_Period::num > 0, "duration period must be positive");
Howard Hinnant0a51e152013-08-31 16:51:56 +00001026
1027 template <class _R1, class _R2>
1028 struct __no_overflow
1029 {
1030 private:
1031 static const intmax_t __gcd_n1_n2 = __static_gcd<_R1::num, _R2::num>::value;
1032 static const intmax_t __gcd_d1_d2 = __static_gcd<_R1::den, _R2::den>::value;
1033 static const intmax_t __n1 = _R1::num / __gcd_n1_n2;
1034 static const intmax_t __d1 = _R1::den / __gcd_d1_d2;
1035 static const intmax_t __n2 = _R2::num / __gcd_n1_n2;
1036 static const intmax_t __d2 = _R2::den / __gcd_d1_d2;
1037 static const intmax_t max = -((intmax_t(1) << (sizeof(intmax_t) * CHAR_BIT - 1)) + 1);
1038
1039 template <intmax_t _Xp, intmax_t _Yp, bool __overflow>
1040 struct __mul // __overflow == false
1041 {
1042 static const intmax_t value = _Xp * _Yp;
1043 };
1044
1045 template <intmax_t _Xp, intmax_t _Yp>
1046 struct __mul<_Xp, _Yp, true>
1047 {
1048 static const intmax_t value = 1;
1049 };
1050
1051 public:
1052 static const bool value = (__n1 <= max / __d2) && (__n2 <= max / __d1);
1053 typedef ratio<__mul<__n1, __d2, !value>::value,
1054 __mul<__n2, __d1, !value>::value> type;
1055 };
Louis Dionne44bcff92018-08-03 22:36:53 +00001056
Howard Hinnantc51e1022010-05-11 19:42:16 +00001057public:
1058 typedef _Rep rep;
Marshall Clow76200b22017-03-21 18:38:57 +00001059 typedef typename _Period::type period;
Howard Hinnantc51e1022010-05-11 19:42:16 +00001060private:
1061 rep __rep_;
1062public:
1063
Marshall Clow5c459c92013-07-31 19:32:19 +00001064 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
Eric Fiselier07b2b552016-11-18 06:42:17 +00001065#ifndef _LIBCPP_CXX03_LANG
Marshall Clow5c459c92013-07-31 19:32:19 +00001066 duration() = default;
Marshall Clow3dbcf132013-07-31 19:39:37 +00001067#else
1068 duration() {}
Marshall Clow5c459c92013-07-31 19:32:19 +00001069#endif
1070
Howard Hinnantc51e1022010-05-11 19:42:16 +00001071 template <class _Rep2>
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001072 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
Howard Hinnantc51e1022010-05-11 19:42:16 +00001073 explicit duration(const _Rep2& __r,
1074 typename enable_if
1075 <
1076 is_convertible<_Rep2, rep>::value &&
1077 (treat_as_floating_point<rep>::value ||
1078 !treat_as_floating_point<_Rep2>::value)
1079 >::type* = 0)
1080 : __rep_(__r) {}
1081
1082 // conversions
1083 template <class _Rep2, class _Period2>
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001084 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
Howard Hinnantc51e1022010-05-11 19:42:16 +00001085 duration(const duration<_Rep2, _Period2>& __d,
1086 typename enable_if
1087 <
Howard Hinnant0a51e152013-08-31 16:51:56 +00001088 __no_overflow<_Period2, period>::value && (
Howard Hinnantc51e1022010-05-11 19:42:16 +00001089 treat_as_floating_point<rep>::value ||
Howard Hinnant0a51e152013-08-31 16:51:56 +00001090 (__no_overflow<_Period2, period>::type::den == 1 &&
1091 !treat_as_floating_point<_Rep2>::value))
Howard Hinnantc51e1022010-05-11 19:42:16 +00001092 >::type* = 0)
Howard Hinnantb1ad5a82011-06-30 21:18:19 +00001093 : __rep_(_VSTD::chrono::duration_cast<duration>(__d).count()) {}
Howard Hinnantc51e1022010-05-11 19:42:16 +00001094
1095 // observer
1096
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001097 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR rep count() const {return __rep_;}
Howard Hinnantc51e1022010-05-11 19:42:16 +00001098
1099 // arithmetic
1100
Marshall Clow76200b22017-03-21 18:38:57 +00001101 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR typename common_type<duration>::type operator+() const {return typename common_type<duration>::type(*this);}
1102 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR typename common_type<duration>::type operator-() const {return typename common_type<duration>::type(-__rep_);}
Marshall Clow5c87ad02017-01-04 23:03:24 +00001103 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 duration& operator++() {++__rep_; return *this;}
1104 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 duration operator++(int) {return duration(__rep_++);}
1105 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 duration& operator--() {--__rep_; return *this;}
1106 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 duration operator--(int) {return duration(__rep_--);}
Howard Hinnantc51e1022010-05-11 19:42:16 +00001107
Marshall Clow5c87ad02017-01-04 23:03:24 +00001108 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 duration& operator+=(const duration& __d) {__rep_ += __d.count(); return *this;}
1109 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 duration& operator-=(const duration& __d) {__rep_ -= __d.count(); return *this;}
Howard Hinnantc51e1022010-05-11 19:42:16 +00001110
Marshall Clow5c87ad02017-01-04 23:03:24 +00001111 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 duration& operator*=(const rep& rhs) {__rep_ *= rhs; return *this;}
1112 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 duration& operator/=(const rep& rhs) {__rep_ /= rhs; return *this;}
1113 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 duration& operator%=(const rep& rhs) {__rep_ %= rhs; return *this;}
1114 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 duration& operator%=(const duration& rhs) {__rep_ %= rhs.count(); return *this;}
Howard Hinnantc51e1022010-05-11 19:42:16 +00001115
1116 // special values
1117
Marshall Clowb1296bd2018-11-13 17:22:41 +00001118 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR duration zero() _NOEXCEPT {return duration(duration_values<rep>::zero());}
1119 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR duration min() _NOEXCEPT {return duration(duration_values<rep>::min());}
1120 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR duration max() _NOEXCEPT {return duration(duration_values<rep>::max());}
Howard Hinnantc51e1022010-05-11 19:42:16 +00001121};
1122
1123typedef duration<long long, nano> nanoseconds;
1124typedef duration<long long, micro> microseconds;
1125typedef duration<long long, milli> milliseconds;
1126typedef duration<long long > seconds;
1127typedef duration< long, ratio< 60> > minutes;
1128typedef duration< long, ratio<3600> > hours;
Marshall Clow26058352018-10-16 17:27:54 +00001129#if _LIBCPP_STD_VER > 17
1130typedef duration< int, ratio_multiply<ratio<24>, hours::period>> days;
1131typedef duration< int, ratio_multiply<ratio<7>, days::period>> weeks;
1132typedef duration< int, ratio_multiply<ratio<146097, 400>, days::period>> years;
1133typedef duration< int, ratio_divide<years::period, ratio<12>>> months;
1134#endif
Howard Hinnantc51e1022010-05-11 19:42:16 +00001135// Duration ==
1136
1137template <class _LhsDuration, class _RhsDuration>
1138struct __duration_eq
1139{
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001140 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
Howard Hinnant12967fb2013-06-28 18:09:35 +00001141 bool operator()(const _LhsDuration& __lhs, const _RhsDuration& __rhs) const
Howard Hinnantc51e1022010-05-11 19:42:16 +00001142 {
1143 typedef typename common_type<_LhsDuration, _RhsDuration>::type _Ct;
1144 return _Ct(__lhs).count() == _Ct(__rhs).count();
1145 }
1146};
1147
1148template <class _LhsDuration>
1149struct __duration_eq<_LhsDuration, _LhsDuration>
1150{
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001151 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
Howard Hinnant12967fb2013-06-28 18:09:35 +00001152 bool operator()(const _LhsDuration& __lhs, const _LhsDuration& __rhs) const
Howard Hinnantc51e1022010-05-11 19:42:16 +00001153 {return __lhs.count() == __rhs.count();}
1154};
1155
1156template <class _Rep1, class _Period1, class _Rep2, class _Period2>
1157inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001158_LIBCPP_CONSTEXPR
Howard Hinnantc51e1022010-05-11 19:42:16 +00001159bool
1160operator==(const duration<_Rep1, _Period1>& __lhs, const duration<_Rep2, _Period2>& __rhs)
1161{
1162 return __duration_eq<duration<_Rep1, _Period1>, duration<_Rep2, _Period2> >()(__lhs, __rhs);
1163}
1164
1165// Duration !=
1166
1167template <class _Rep1, class _Period1, class _Rep2, class _Period2>
1168inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001169_LIBCPP_CONSTEXPR
Howard Hinnantc51e1022010-05-11 19:42:16 +00001170bool
1171operator!=(const duration<_Rep1, _Period1>& __lhs, const duration<_Rep2, _Period2>& __rhs)
1172{
1173 return !(__lhs == __rhs);
1174}
1175
1176// Duration <
1177
1178template <class _LhsDuration, class _RhsDuration>
1179struct __duration_lt
1180{
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001181 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
Howard Hinnant12967fb2013-06-28 18:09:35 +00001182 bool operator()(const _LhsDuration& __lhs, const _RhsDuration& __rhs) const
Howard Hinnantc51e1022010-05-11 19:42:16 +00001183 {
1184 typedef typename common_type<_LhsDuration, _RhsDuration>::type _Ct;
1185 return _Ct(__lhs).count() < _Ct(__rhs).count();
1186 }
1187};
1188
1189template <class _LhsDuration>
1190struct __duration_lt<_LhsDuration, _LhsDuration>
1191{
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001192 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
Howard Hinnant12967fb2013-06-28 18:09:35 +00001193 bool operator()(const _LhsDuration& __lhs, const _LhsDuration& __rhs) const
Howard Hinnantc51e1022010-05-11 19:42:16 +00001194 {return __lhs.count() < __rhs.count();}
1195};
1196
1197template <class _Rep1, class _Period1, class _Rep2, class _Period2>
1198inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001199_LIBCPP_CONSTEXPR
Howard Hinnantc51e1022010-05-11 19:42:16 +00001200bool
1201operator< (const duration<_Rep1, _Period1>& __lhs, const duration<_Rep2, _Period2>& __rhs)
1202{
1203 return __duration_lt<duration<_Rep1, _Period1>, duration<_Rep2, _Period2> >()(__lhs, __rhs);
1204}
1205
1206// Duration >
1207
1208template <class _Rep1, class _Period1, class _Rep2, class _Period2>
1209inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001210_LIBCPP_CONSTEXPR
Howard Hinnantc51e1022010-05-11 19:42:16 +00001211bool
1212operator> (const duration<_Rep1, _Period1>& __lhs, const duration<_Rep2, _Period2>& __rhs)
1213{
1214 return __rhs < __lhs;
1215}
1216
1217// Duration <=
1218
1219template <class _Rep1, class _Period1, class _Rep2, class _Period2>
1220inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001221_LIBCPP_CONSTEXPR
Howard Hinnantc51e1022010-05-11 19:42:16 +00001222bool
1223operator<=(const duration<_Rep1, _Period1>& __lhs, const duration<_Rep2, _Period2>& __rhs)
1224{
1225 return !(__rhs < __lhs);
1226}
1227
1228// Duration >=
1229
1230template <class _Rep1, class _Period1, class _Rep2, class _Period2>
1231inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001232_LIBCPP_CONSTEXPR
Howard Hinnantc51e1022010-05-11 19:42:16 +00001233bool
1234operator>=(const duration<_Rep1, _Period1>& __lhs, const duration<_Rep2, _Period2>& __rhs)
1235{
1236 return !(__lhs < __rhs);
1237}
1238
1239// Duration +
1240
1241template <class _Rep1, class _Period1, class _Rep2, class _Period2>
1242inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001243_LIBCPP_CONSTEXPR
Howard Hinnantc51e1022010-05-11 19:42:16 +00001244typename common_type<duration<_Rep1, _Period1>, duration<_Rep2, _Period2> >::type
1245operator+(const duration<_Rep1, _Period1>& __lhs, const duration<_Rep2, _Period2>& __rhs)
1246{
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001247 typedef typename common_type<duration<_Rep1, _Period1>, duration<_Rep2, _Period2> >::type _Cd;
1248 return _Cd(_Cd(__lhs).count() + _Cd(__rhs).count());
Howard Hinnantc51e1022010-05-11 19:42:16 +00001249}
1250
1251// Duration -
1252
1253template <class _Rep1, class _Period1, class _Rep2, class _Period2>
1254inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001255_LIBCPP_CONSTEXPR
Howard Hinnantc51e1022010-05-11 19:42:16 +00001256typename common_type<duration<_Rep1, _Period1>, duration<_Rep2, _Period2> >::type
1257operator-(const duration<_Rep1, _Period1>& __lhs, const duration<_Rep2, _Period2>& __rhs)
1258{
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001259 typedef typename common_type<duration<_Rep1, _Period1>, duration<_Rep2, _Period2> >::type _Cd;
1260 return _Cd(_Cd(__lhs).count() - _Cd(__rhs).count());
Howard Hinnantc51e1022010-05-11 19:42:16 +00001261}
1262
1263// Duration *
1264
1265template <class _Rep1, class _Period, class _Rep2>
1266inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001267_LIBCPP_CONSTEXPR
Howard Hinnantc51e1022010-05-11 19:42:16 +00001268typename enable_if
1269<
1270 is_convertible<_Rep2, typename common_type<_Rep1, _Rep2>::type>::value,
1271 duration<typename common_type<_Rep1, _Rep2>::type, _Period>
1272>::type
1273operator*(const duration<_Rep1, _Period>& __d, const _Rep2& __s)
1274{
1275 typedef typename common_type<_Rep1, _Rep2>::type _Cr;
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001276 typedef duration<_Cr, _Period> _Cd;
1277 return _Cd(_Cd(__d).count() * static_cast<_Cr>(__s));
Howard Hinnantc51e1022010-05-11 19:42:16 +00001278}
1279
1280template <class _Rep1, class _Period, class _Rep2>
1281inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001282_LIBCPP_CONSTEXPR
Howard Hinnantc51e1022010-05-11 19:42:16 +00001283typename enable_if
1284<
1285 is_convertible<_Rep1, typename common_type<_Rep1, _Rep2>::type>::value,
1286 duration<typename common_type<_Rep1, _Rep2>::type, _Period>
1287>::type
1288operator*(const _Rep1& __s, const duration<_Rep2, _Period>& __d)
1289{
1290 return __d * __s;
1291}
1292
1293// Duration /
1294
Howard Hinnantc51e1022010-05-11 19:42:16 +00001295template <class _Rep1, class _Period, class _Rep2>
1296inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001297_LIBCPP_CONSTEXPR
Marshall Clowb8f3cd02019-04-01 16:38:02 +00001298typename enable_if
1299<
1300 !__is_duration<_Rep2>::value &&
1301 is_convertible<_Rep2, typename common_type<_Rep1, _Rep2>::type>::value,
1302 duration<typename common_type<_Rep1, _Rep2>::type, _Period>
1303>::type
Howard Hinnantc51e1022010-05-11 19:42:16 +00001304operator/(const duration<_Rep1, _Period>& __d, const _Rep2& __s)
1305{
1306 typedef typename common_type<_Rep1, _Rep2>::type _Cr;
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001307 typedef duration<_Cr, _Period> _Cd;
1308 return _Cd(_Cd(__d).count() / static_cast<_Cr>(__s));
Howard Hinnantc51e1022010-05-11 19:42:16 +00001309}
1310
1311template <class _Rep1, class _Period1, class _Rep2, class _Period2>
1312inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001313_LIBCPP_CONSTEXPR
Howard Hinnantc51e1022010-05-11 19:42:16 +00001314typename common_type<_Rep1, _Rep2>::type
1315operator/(const duration<_Rep1, _Period1>& __lhs, const duration<_Rep2, _Period2>& __rhs)
1316{
1317 typedef typename common_type<duration<_Rep1, _Period1>, duration<_Rep2, _Period2> >::type _Ct;
1318 return _Ct(__lhs).count() / _Ct(__rhs).count();
1319}
1320
1321// Duration %
1322
1323template <class _Rep1, class _Period, class _Rep2>
1324inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001325_LIBCPP_CONSTEXPR
Marshall Clowb8f3cd02019-04-01 16:38:02 +00001326typename enable_if
1327<
1328 !__is_duration<_Rep2>::value &&
1329 is_convertible<_Rep2, typename common_type<_Rep1, _Rep2>::type>::value,
1330 duration<typename common_type<_Rep1, _Rep2>::type, _Period>
1331>::type
Howard Hinnantc51e1022010-05-11 19:42:16 +00001332operator%(const duration<_Rep1, _Period>& __d, const _Rep2& __s)
1333{
1334 typedef typename common_type<_Rep1, _Rep2>::type _Cr;
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001335 typedef duration<_Cr, _Period> _Cd;
1336 return _Cd(_Cd(__d).count() % static_cast<_Cr>(__s));
Howard Hinnantc51e1022010-05-11 19:42:16 +00001337}
1338
1339template <class _Rep1, class _Period1, class _Rep2, class _Period2>
1340inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001341_LIBCPP_CONSTEXPR
Howard Hinnantc51e1022010-05-11 19:42:16 +00001342typename common_type<duration<_Rep1, _Period1>, duration<_Rep2, _Period2> >::type
1343operator%(const duration<_Rep1, _Period1>& __lhs, const duration<_Rep2, _Period2>& __rhs)
1344{
Howard Hinnantcf3143c2012-07-13 19:17:27 +00001345 typedef typename common_type<_Rep1, _Rep2>::type _Cr;
1346 typedef typename common_type<duration<_Rep1, _Period1>, duration<_Rep2, _Period2> >::type _Cd;
1347 return _Cd(static_cast<_Cr>(_Cd(__lhs).count()) % static_cast<_Cr>(_Cd(__rhs).count()));
Howard Hinnantc51e1022010-05-11 19:42:16 +00001348}
1349
1350//////////////////////////////////////////////////////////
1351///////////////////// time_point /////////////////////////
1352//////////////////////////////////////////////////////////
1353
1354template <class _Clock, class _Duration = typename _Clock::duration>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +00001355class _LIBCPP_TEMPLATE_VIS time_point
Howard Hinnantc51e1022010-05-11 19:42:16 +00001356{
1357 static_assert(__is_duration<_Duration>::value,
1358 "Second template parameter of time_point must be a std::chrono::duration");
1359public:
1360 typedef _Clock clock;
1361 typedef _Duration duration;
1362 typedef typename duration::rep rep;
1363 typedef typename duration::period period;
1364private:
1365 duration __d_;
1366
1367public:
Marshall Clow5c459c92013-07-31 19:32:19 +00001368 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11 time_point() : __d_(duration::zero()) {}
1369 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11 explicit time_point(const duration& __d) : __d_(__d) {}
Howard Hinnantc51e1022010-05-11 19:42:16 +00001370
1371 // conversions
1372 template <class _Duration2>
Marshall Clow5c459c92013-07-31 19:32:19 +00001373 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
Howard Hinnantc51e1022010-05-11 19:42:16 +00001374 time_point(const time_point<clock, _Duration2>& t,
1375 typename enable_if
1376 <
1377 is_convertible<_Duration2, duration>::value
1378 >::type* = 0)
1379 : __d_(t.time_since_epoch()) {}
1380
1381 // observer
1382
Marshall Clow5c459c92013-07-31 19:32:19 +00001383 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11 duration time_since_epoch() const {return __d_;}
Howard Hinnantc51e1022010-05-11 19:42:16 +00001384
1385 // arithmetic
1386
Marshall Clowdf247eb2018-08-29 23:02:15 +00001387 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 time_point& operator+=(const duration& __d) {__d_ += __d; return *this;}
1388 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX14 time_point& operator-=(const duration& __d) {__d_ -= __d; return *this;}
Howard Hinnantc51e1022010-05-11 19:42:16 +00001389
1390 // special values
1391
Marshall Clowb1296bd2018-11-13 17:22:41 +00001392 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR time_point min() _NOEXCEPT {return time_point(duration::min());}
1393 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR time_point max() _NOEXCEPT {return time_point(duration::max());}
Howard Hinnantc51e1022010-05-11 19:42:16 +00001394};
1395
1396} // chrono
1397
1398template <class _Clock, class _Duration1, class _Duration2>
Eric Fiselierb5eb1bf2017-01-04 23:56:00 +00001399struct _LIBCPP_TEMPLATE_VIS common_type<chrono::time_point<_Clock, _Duration1>,
Howard Hinnanta37d3cf2013-08-12 18:38:34 +00001400 chrono::time_point<_Clock, _Duration2> >
Howard Hinnantc51e1022010-05-11 19:42:16 +00001401{
1402 typedef chrono::time_point<_Clock, typename common_type<_Duration1, _Duration2>::type> type;
1403};
1404
1405namespace chrono {
1406
1407template <class _ToDuration, class _Clock, class _Duration>
Marshall Clow5c459c92013-07-31 19:32:19 +00001408inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
Howard Hinnantc51e1022010-05-11 19:42:16 +00001409time_point<_Clock, _ToDuration>
1410time_point_cast(const time_point<_Clock, _Duration>& __t)
1411{
Howard Hinnantb1ad5a82011-06-30 21:18:19 +00001412 return time_point<_Clock, _ToDuration>(_VSTD::chrono::duration_cast<_ToDuration>(__t.time_since_epoch()));
Howard Hinnantc51e1022010-05-11 19:42:16 +00001413}
1414
Marshall Clowf2eabaf2015-11-05 19:33:59 +00001415#if _LIBCPP_STD_VER > 14
1416template <class _ToDuration, class _Clock, class _Duration>
1417inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
1418typename enable_if
1419<
1420 __is_duration<_ToDuration>::value,
1421 time_point<_Clock, _ToDuration>
1422>::type
1423floor(const time_point<_Clock, _Duration>& __t)
1424{
1425 return time_point<_Clock, _ToDuration>{floor<_ToDuration>(__t.time_since_epoch())};
1426}
1427
1428template <class _ToDuration, class _Clock, class _Duration>
1429inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
1430typename enable_if
1431<
1432 __is_duration<_ToDuration>::value,
1433 time_point<_Clock, _ToDuration>
1434>::type
1435ceil(const time_point<_Clock, _Duration>& __t)
1436{
1437 return time_point<_Clock, _ToDuration>{ceil<_ToDuration>(__t.time_since_epoch())};
1438}
1439
1440template <class _ToDuration, class _Clock, class _Duration>
1441inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
1442typename enable_if
1443<
1444 __is_duration<_ToDuration>::value,
1445 time_point<_Clock, _ToDuration>
1446>::type
1447round(const time_point<_Clock, _Duration>& __t)
1448{
1449 return time_point<_Clock, _ToDuration>{round<_ToDuration>(__t.time_since_epoch())};
1450}
1451
1452template <class _Rep, class _Period>
1453inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
1454typename enable_if
1455<
1456 numeric_limits<_Rep>::is_signed,
1457 duration<_Rep, _Period>
1458>::type
1459abs(duration<_Rep, _Period> __d)
1460{
Marshall Clow46a4ce82019-07-26 15:10:46 +00001461 return __d >= __d.zero() ? +__d : -__d;
Marshall Clowf2eabaf2015-11-05 19:33:59 +00001462}
1463#endif
1464
Howard Hinnantc51e1022010-05-11 19:42:16 +00001465// time_point ==
1466
1467template <class _Clock, class _Duration1, class _Duration2>
Marshall Clow5c459c92013-07-31 19:32:19 +00001468inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
Howard Hinnantc51e1022010-05-11 19:42:16 +00001469bool
1470operator==(const time_point<_Clock, _Duration1>& __lhs, const time_point<_Clock, _Duration2>& __rhs)
1471{
1472 return __lhs.time_since_epoch() == __rhs.time_since_epoch();
1473}
1474
1475// time_point !=
1476
1477template <class _Clock, class _Duration1, class _Duration2>
Marshall Clow5c459c92013-07-31 19:32:19 +00001478inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
Howard Hinnantc51e1022010-05-11 19:42:16 +00001479bool
1480operator!=(const time_point<_Clock, _Duration1>& __lhs, const time_point<_Clock, _Duration2>& __rhs)
1481{
1482 return !(__lhs == __rhs);
1483}
1484
1485// time_point <
1486
1487template <class _Clock, class _Duration1, class _Duration2>
Marshall Clow5c459c92013-07-31 19:32:19 +00001488inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
Howard Hinnantc51e1022010-05-11 19:42:16 +00001489bool
1490operator<(const time_point<_Clock, _Duration1>& __lhs, const time_point<_Clock, _Duration2>& __rhs)
1491{
1492 return __lhs.time_since_epoch() < __rhs.time_since_epoch();
1493}
1494
1495// time_point >
1496
1497template <class _Clock, class _Duration1, class _Duration2>
Marshall Clow5c459c92013-07-31 19:32:19 +00001498inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
Howard Hinnantc51e1022010-05-11 19:42:16 +00001499bool
1500operator>(const time_point<_Clock, _Duration1>& __lhs, const time_point<_Clock, _Duration2>& __rhs)
1501{
1502 return __rhs < __lhs;
1503}
1504
1505// time_point <=
1506
1507template <class _Clock, class _Duration1, class _Duration2>
Marshall Clow5c459c92013-07-31 19:32:19 +00001508inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
Howard Hinnantc51e1022010-05-11 19:42:16 +00001509bool
1510operator<=(const time_point<_Clock, _Duration1>& __lhs, const time_point<_Clock, _Duration2>& __rhs)
1511{
1512 return !(__rhs < __lhs);
1513}
1514
1515// time_point >=
1516
1517template <class _Clock, class _Duration1, class _Duration2>
Marshall Clow5c459c92013-07-31 19:32:19 +00001518inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
Howard Hinnantc51e1022010-05-11 19:42:16 +00001519bool
1520operator>=(const time_point<_Clock, _Duration1>& __lhs, const time_point<_Clock, _Duration2>& __rhs)
1521{
1522 return !(__lhs < __rhs);
1523}
1524
1525// time_point operator+(time_point x, duration y);
1526
1527template <class _Clock, class _Duration1, class _Rep2, class _Period2>
Marshall Clow5c459c92013-07-31 19:32:19 +00001528inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
Howard Hinnantc51e1022010-05-11 19:42:16 +00001529time_point<_Clock, typename common_type<_Duration1, duration<_Rep2, _Period2> >::type>
1530operator+(const time_point<_Clock, _Duration1>& __lhs, const duration<_Rep2, _Period2>& __rhs)
1531{
1532 typedef time_point<_Clock, typename common_type<_Duration1, duration<_Rep2, _Period2> >::type> _Tr;
Marshall Clow5c459c92013-07-31 19:32:19 +00001533 return _Tr (__lhs.time_since_epoch() + __rhs);
Howard Hinnantc51e1022010-05-11 19:42:16 +00001534}
1535
1536// time_point operator+(duration x, time_point y);
1537
1538template <class _Rep1, class _Period1, class _Clock, class _Duration2>
Marshall Clow5c459c92013-07-31 19:32:19 +00001539inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
Howard Hinnantc51e1022010-05-11 19:42:16 +00001540time_point<_Clock, typename common_type<duration<_Rep1, _Period1>, _Duration2>::type>
1541operator+(const duration<_Rep1, _Period1>& __lhs, const time_point<_Clock, _Duration2>& __rhs)
1542{
1543 return __rhs + __lhs;
1544}
1545
1546// time_point operator-(time_point x, duration y);
1547
1548template <class _Clock, class _Duration1, class _Rep2, class _Period2>
Marshall Clow5c459c92013-07-31 19:32:19 +00001549inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
Howard Hinnantc51e1022010-05-11 19:42:16 +00001550time_point<_Clock, typename common_type<_Duration1, duration<_Rep2, _Period2> >::type>
1551operator-(const time_point<_Clock, _Duration1>& __lhs, const duration<_Rep2, _Period2>& __rhs)
1552{
Marshall Clow78dbe462016-11-14 18:22:19 +00001553 typedef time_point<_Clock, typename common_type<_Duration1, duration<_Rep2, _Period2> >::type> _Ret;
1554 return _Ret(__lhs.time_since_epoch() -__rhs);
Howard Hinnantc51e1022010-05-11 19:42:16 +00001555}
1556
1557// duration operator-(time_point x, time_point y);
1558
1559template <class _Clock, class _Duration1, class _Duration2>
Marshall Clow5c459c92013-07-31 19:32:19 +00001560inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
Howard Hinnantc51e1022010-05-11 19:42:16 +00001561typename common_type<_Duration1, _Duration2>::type
1562operator-(const time_point<_Clock, _Duration1>& __lhs, const time_point<_Clock, _Duration2>& __rhs)
1563{
1564 return __lhs.time_since_epoch() - __rhs.time_since_epoch();
1565}
1566
1567//////////////////////////////////////////////////////////
1568/////////////////////// clocks ///////////////////////////
1569//////////////////////////////////////////////////////////
1570
Howard Hinnant8331b762013-03-06 23:30:19 +00001571class _LIBCPP_TYPE_VIS system_clock
Howard Hinnantc51e1022010-05-11 19:42:16 +00001572{
1573public:
1574 typedef microseconds duration;
1575 typedef duration::rep rep;
1576 typedef duration::period period;
1577 typedef chrono::time_point<system_clock> time_point;
Marshall Clow5c459c92013-07-31 19:32:19 +00001578 static _LIBCPP_CONSTEXPR_AFTER_CXX11 const bool is_steady = false;
Howard Hinnantc51e1022010-05-11 19:42:16 +00001579
Howard Hinnantaa54ac42011-05-28 18:34:36 +00001580 static time_point now() _NOEXCEPT;
1581 static time_t to_time_t (const time_point& __t) _NOEXCEPT;
1582 static time_point from_time_t(time_t __t) _NOEXCEPT;
Howard Hinnantc51e1022010-05-11 19:42:16 +00001583};
1584
Jonathan Roelofscce96eb2014-09-02 21:14:38 +00001585#ifndef _LIBCPP_HAS_NO_MONOTONIC_CLOCK
Howard Hinnant8331b762013-03-06 23:30:19 +00001586class _LIBCPP_TYPE_VIS steady_clock
Howard Hinnantc51e1022010-05-11 19:42:16 +00001587{
1588public:
1589 typedef nanoseconds duration;
1590 typedef duration::rep rep;
1591 typedef duration::period period;
Howard Hinnantc8dbd222010-11-20 19:16:30 +00001592 typedef chrono::time_point<steady_clock, duration> time_point;
Marshall Clow5c459c92013-07-31 19:32:19 +00001593 static _LIBCPP_CONSTEXPR_AFTER_CXX11 const bool is_steady = true;
Howard Hinnantc51e1022010-05-11 19:42:16 +00001594
Howard Hinnantaa54ac42011-05-28 18:34:36 +00001595 static time_point now() _NOEXCEPT;
Howard Hinnantc51e1022010-05-11 19:42:16 +00001596};
1597
Howard Hinnantc8dbd222010-11-20 19:16:30 +00001598typedef steady_clock high_resolution_clock;
Jonathan Roelofscce96eb2014-09-02 21:14:38 +00001599#else
1600typedef system_clock high_resolution_clock;
1601#endif
Howard Hinnantc51e1022010-05-11 19:42:16 +00001602
Marshall Clow26058352018-10-16 17:27:54 +00001603#if _LIBCPP_STD_VER > 17
Eric Fiselier049273c2018-12-21 03:54:57 +00001604// [time.clock.file], type file_clock
1605using file_clock = _VSTD_FS::_FilesystemClock;
1606
1607template<class _Duration>
1608using file_time = time_point<file_clock, _Duration>;
Marshall Clow26058352018-10-16 17:27:54 +00001609
Marshall Clow188b3342019-01-11 15:12:04 +00001610
1611template <class _Duration>
1612using sys_time = time_point<system_clock, _Duration>;
1613using sys_seconds = sys_time<seconds>;
1614using sys_days = sys_time<days>;
1615
1616struct local_t {};
1617template<class Duration>
1618using local_time = time_point<local_t, Duration>;
1619using local_seconds = local_time<seconds>;
1620using local_days = local_time<days>;
1621
1622
Eric Fiselier28bc4292019-03-21 01:48:15 +00001623struct last_spec { explicit last_spec() = default; };
Marshall Clow26058352018-10-16 17:27:54 +00001624
Eric Fiselier28bc4292019-03-21 01:48:15 +00001625class day {
Marshall Clow26058352018-10-16 17:27:54 +00001626private:
1627 unsigned char __d;
1628public:
1629 day() = default;
1630 explicit inline constexpr day(unsigned __val) noexcept : __d(static_cast<unsigned char>(__val)) {}
1631 inline constexpr day& operator++() noexcept { ++__d; return *this; }
1632 inline constexpr day operator++(int) noexcept { day __tmp = *this; ++(*this); return __tmp; }
1633 inline constexpr day& operator--() noexcept { --__d; return *this; }
1634 inline constexpr day operator--(int) noexcept { day __tmp = *this; --(*this); return __tmp; }
1635 constexpr day& operator+=(const days& __dd) noexcept;
1636 constexpr day& operator-=(const days& __dd) noexcept;
1637 explicit inline constexpr operator unsigned() const noexcept { return __d; }
1638 inline constexpr bool ok() const noexcept { return __d >= 1 && __d <= 31; }
1639 };
1640
1641
1642inline constexpr
1643bool operator==(const day& __lhs, const day& __rhs) noexcept
1644{ return static_cast<unsigned>(__lhs) == static_cast<unsigned>(__rhs); }
1645
1646inline constexpr
1647bool operator!=(const day& __lhs, const day& __rhs) noexcept
1648{ return !(__lhs == __rhs); }
1649
1650inline constexpr
1651bool operator< (const day& __lhs, const day& __rhs) noexcept
1652{ return static_cast<unsigned>(__lhs) < static_cast<unsigned>(__rhs); }
1653
1654inline constexpr
1655bool operator> (const day& __lhs, const day& __rhs) noexcept
1656{ return __rhs < __lhs; }
1657
1658inline constexpr
1659bool operator<=(const day& __lhs, const day& __rhs) noexcept
1660{ return !(__rhs < __lhs);}
1661
1662inline constexpr
1663bool operator>=(const day& __lhs, const day& __rhs) noexcept
1664{ return !(__lhs < __rhs); }
1665
1666inline constexpr
1667day operator+ (const day& __lhs, const days& __rhs) noexcept
1668{ return day(static_cast<unsigned>(__lhs) + __rhs.count()); }
1669
1670inline constexpr
1671day operator+ (const days& __lhs, const day& __rhs) noexcept
1672{ return __rhs + __lhs; }
1673
1674inline constexpr
1675day operator- (const day& __lhs, const days& __rhs) noexcept
1676{ return __lhs + -__rhs; }
1677
1678inline constexpr
1679days operator-(const day& __lhs, const day& __rhs) noexcept
1680{ return days(static_cast<int>(static_cast<unsigned>(__lhs)) -
1681 static_cast<int>(static_cast<unsigned>(__rhs))); }
1682
1683inline constexpr day& day::operator+=(const days& __dd) noexcept
1684{ *this = *this + __dd; return *this; }
1685
1686inline constexpr day& day::operator-=(const days& __dd) noexcept
1687{ *this = *this - __dd; return *this; }
1688
1689
Eric Fiselier28bc4292019-03-21 01:48:15 +00001690class month {
Marshall Clow26058352018-10-16 17:27:54 +00001691private:
1692 unsigned char __m;
1693public:
1694 month() = default;
1695 explicit inline constexpr month(unsigned __val) noexcept : __m(static_cast<unsigned char>(__val)) {}
1696 inline constexpr month& operator++() noexcept { ++__m; return *this; }
1697 inline constexpr month operator++(int) noexcept { month __tmp = *this; ++(*this); return __tmp; }
1698 inline constexpr month& operator--() noexcept { --__m; return *this; }
1699 inline constexpr month operator--(int) noexcept { month __tmp = *this; --(*this); return __tmp; }
1700 constexpr month& operator+=(const months& __m1) noexcept;
1701 constexpr month& operator-=(const months& __m1) noexcept;
1702 explicit inline constexpr operator unsigned() const noexcept { return __m; }
1703 inline constexpr bool ok() const noexcept { return __m >= 1 && __m <= 12; }
1704};
1705
1706
1707inline constexpr
1708bool operator==(const month& __lhs, const month& __rhs) noexcept
1709{ return static_cast<unsigned>(__lhs) == static_cast<unsigned>(__rhs); }
1710
1711inline constexpr
1712bool operator!=(const month& __lhs, const month& __rhs) noexcept
1713{ return !(__lhs == __rhs); }
1714
1715inline constexpr
1716bool operator< (const month& __lhs, const month& __rhs) noexcept
1717{ return static_cast<unsigned>(__lhs) < static_cast<unsigned>(__rhs); }
1718
1719inline constexpr
1720bool operator> (const month& __lhs, const month& __rhs) noexcept
1721{ return __rhs < __lhs; }
1722
1723inline constexpr
1724bool operator<=(const month& __lhs, const month& __rhs) noexcept
1725{ return !(__rhs < __lhs); }
1726
1727inline constexpr
1728bool operator>=(const month& __lhs, const month& __rhs) noexcept
1729{ return !(__lhs < __rhs); }
1730
1731inline constexpr
1732month operator+ (const month& __lhs, const months& __rhs) noexcept
1733{
1734 auto const __mu = static_cast<long long>(static_cast<unsigned>(__lhs)) + (__rhs.count() - 1);
1735 auto const __yr = (__mu >= 0 ? __mu : __mu - 11) / 12;
1736 return month{static_cast<unsigned>(__mu - __yr * 12 + 1)};
1737}
1738
1739inline constexpr
1740month operator+ (const months& __lhs, const month& __rhs) noexcept
1741{ return __rhs + __lhs; }
1742
1743inline constexpr
1744month operator- (const month& __lhs, const months& __rhs) noexcept
1745{ return __lhs + -__rhs; }
1746
1747inline constexpr
1748months operator-(const month& __lhs, const month& __rhs) noexcept
1749{
1750 auto const __dm = static_cast<unsigned>(__lhs) - static_cast<unsigned>(__rhs);
1751 return months(__dm <= 11 ? __dm : __dm + 12);
1752}
1753
1754inline constexpr month& month::operator+=(const months& __dm) noexcept
1755{ *this = *this + __dm; return *this; }
1756
1757inline constexpr month& month::operator-=(const months& __dm) noexcept
1758{ *this = *this - __dm; return *this; }
1759
1760
Eric Fiselier28bc4292019-03-21 01:48:15 +00001761class year {
Marshall Clow26058352018-10-16 17:27:54 +00001762private:
1763 short __y;
1764public:
1765 year() = default;
1766 explicit inline constexpr year(int __val) noexcept : __y(static_cast<short>(__val)) {}
1767
Eric Fiselierebdb6b42019-02-10 18:29:00 +00001768 inline constexpr year& operator++() noexcept { ++__y; return *this; }
1769 inline constexpr year operator++(int) noexcept { year __tmp = *this; ++(*this); return __tmp; }
1770 inline constexpr year& operator--() noexcept { --__y; return *this; }
1771 inline constexpr year operator--(int) noexcept { year __tmp = *this; --(*this); return __tmp; }
Marshall Clow26058352018-10-16 17:27:54 +00001772 constexpr year& operator+=(const years& __dy) noexcept;
1773 constexpr year& operator-=(const years& __dy) noexcept;
1774 inline constexpr year operator+() const noexcept { return *this; }
Eric Fiselierebdb6b42019-02-10 18:29:00 +00001775 inline constexpr year operator-() const noexcept { return year{-__y}; }
Marshall Clow26058352018-10-16 17:27:54 +00001776
1777 inline constexpr bool is_leap() const noexcept { return __y % 4 == 0 && (__y % 100 != 0 || __y % 400 == 0); }
1778 explicit inline constexpr operator int() const noexcept { return __y; }
1779 constexpr bool ok() const noexcept;
1780 static inline constexpr year min() noexcept { return year{-32767}; }
1781 static inline constexpr year max() noexcept { return year{ 32767}; }
1782};
1783
1784
1785inline constexpr
1786bool operator==(const year& __lhs, const year& __rhs) noexcept
1787{ return static_cast<int>(__lhs) == static_cast<int>(__rhs); }
1788
1789inline constexpr
1790bool operator!=(const year& __lhs, const year& __rhs) noexcept
1791{ return !(__lhs == __rhs); }
1792
1793inline constexpr
1794bool operator< (const year& __lhs, const year& __rhs) noexcept
1795{ return static_cast<int>(__lhs) < static_cast<int>(__rhs); }
1796
1797inline constexpr
1798bool operator> (const year& __lhs, const year& __rhs) noexcept
1799{ return __rhs < __lhs; }
1800
1801inline constexpr
1802bool operator<=(const year& __lhs, const year& __rhs) noexcept
1803{ return !(__rhs < __lhs); }
1804
1805inline constexpr
1806bool operator>=(const year& __lhs, const year& __rhs) noexcept
1807{ return !(__lhs < __rhs); }
1808
1809inline constexpr
1810year operator+ (const year& __lhs, const years& __rhs) noexcept
1811{ return year(static_cast<int>(__lhs) + __rhs.count()); }
1812
1813inline constexpr
1814year operator+ (const years& __lhs, const year& __rhs) noexcept
1815{ return __rhs + __lhs; }
1816
1817inline constexpr
1818year operator- (const year& __lhs, const years& __rhs) noexcept
1819{ return __lhs + -__rhs; }
1820
1821inline constexpr
1822years operator-(const year& __lhs, const year& __rhs) noexcept
1823{ return years{static_cast<int>(__lhs) - static_cast<int>(__rhs)}; }
1824
1825
1826inline constexpr year& year::operator+=(const years& __dy) noexcept
1827{ *this = *this + __dy; return *this; }
1828
1829inline constexpr year& year::operator-=(const years& __dy) noexcept
1830{ *this = *this - __dy; return *this; }
1831
1832inline constexpr bool year::ok() const noexcept
1833{ return static_cast<int>(min()) <= __y && __y <= static_cast<int>(max()); }
1834
Eric Fiselier28bc4292019-03-21 01:48:15 +00001835class weekday_indexed;
1836class weekday_last;
Marshall Clow26058352018-10-16 17:27:54 +00001837
Eric Fiselier28bc4292019-03-21 01:48:15 +00001838class weekday {
Marshall Clow26058352018-10-16 17:27:54 +00001839private:
1840 unsigned char __wd;
1841public:
1842 weekday() = default;
Marshall Clowc0194d52019-07-25 03:26:05 +00001843 inline explicit constexpr weekday(unsigned __val) noexcept : __wd(static_cast<unsigned char>(__val == 7 ? 0 : __val)) {}
Marshall Clow188b3342019-01-11 15:12:04 +00001844 inline constexpr weekday(const sys_days& __sysd) noexcept
1845 : __wd(__weekday_from_days(__sysd.time_since_epoch().count())) {}
1846 inline explicit constexpr weekday(const local_days& __locd) noexcept
1847 : __wd(__weekday_from_days(__locd.time_since_epoch().count())) {}
1848
Marshall Clow26058352018-10-16 17:27:54 +00001849 inline constexpr weekday& operator++() noexcept { __wd = (__wd == 6 ? 0 : __wd + 1); return *this; }
1850 inline constexpr weekday operator++(int) noexcept { weekday __tmp = *this; ++(*this); return __tmp; }
1851 inline constexpr weekday& operator--() noexcept { __wd = (__wd == 0 ? 6 : __wd - 1); return *this; }
1852 inline constexpr weekday operator--(int) noexcept { weekday __tmp = *this; --(*this); return __tmp; }
1853 constexpr weekday& operator+=(const days& __dd) noexcept;
1854 constexpr weekday& operator-=(const days& __dd) noexcept;
Marshall Clowc0194d52019-07-25 03:26:05 +00001855 inline constexpr unsigned c_encoding() const noexcept { return __wd; }
1856 inline constexpr unsigned iso_encoding() const noexcept { return __wd == 0u ? 7 : __wd; }
Marshall Clow26058352018-10-16 17:27:54 +00001857 inline constexpr bool ok() const noexcept { return __wd <= 6; }
Marshall Clow188b3342019-01-11 15:12:04 +00001858 constexpr weekday_indexed operator[](unsigned __index) const noexcept;
1859 constexpr weekday_last operator[](last_spec) const noexcept;
1860
1861 static constexpr unsigned char __weekday_from_days(int __days) noexcept;
Marshall Clow26058352018-10-16 17:27:54 +00001862};
1863
Marshall Clow188b3342019-01-11 15:12:04 +00001864
1865// https://howardhinnant.github.io/date_algorithms.html#weekday_from_days
1866inline constexpr
1867unsigned char weekday::__weekday_from_days(int __days) noexcept
1868{
1869 return static_cast<unsigned char>(
1870 static_cast<unsigned>(__days >= -4 ? (__days+4) % 7 : (__days+5) % 7 + 6)
1871 );
1872}
1873
Marshall Clow26058352018-10-16 17:27:54 +00001874inline constexpr
1875bool operator==(const weekday& __lhs, const weekday& __rhs) noexcept
Marshall Clowc0194d52019-07-25 03:26:05 +00001876{ return __lhs.c_encoding() == __rhs.c_encoding(); }
Marshall Clow26058352018-10-16 17:27:54 +00001877
1878inline constexpr
1879bool operator!=(const weekday& __lhs, const weekday& __rhs) noexcept
1880{ return !(__lhs == __rhs); }
1881
1882inline constexpr
1883bool operator< (const weekday& __lhs, const weekday& __rhs) noexcept
Marshall Clowc0194d52019-07-25 03:26:05 +00001884{ return __lhs.c_encoding() < __rhs.c_encoding(); }
Marshall Clow26058352018-10-16 17:27:54 +00001885
1886inline constexpr
1887bool operator> (const weekday& __lhs, const weekday& __rhs) noexcept
1888{ return __rhs < __lhs; }
1889
1890inline constexpr
1891bool operator<=(const weekday& __lhs, const weekday& __rhs) noexcept
1892{ return !(__rhs < __lhs);}
1893
1894inline constexpr
1895bool operator>=(const weekday& __lhs, const weekday& __rhs) noexcept
1896{ return !(__lhs < __rhs); }
1897
1898constexpr weekday operator+(const weekday& __lhs, const days& __rhs) noexcept
1899{
Marshall Clowc0194d52019-07-25 03:26:05 +00001900 auto const __mu = static_cast<long long>(__lhs.c_encoding()) + __rhs.count();
Marshall Clow26058352018-10-16 17:27:54 +00001901 auto const __yr = (__mu >= 0 ? __mu : __mu - 6) / 7;
1902 return weekday{static_cast<unsigned>(__mu - __yr * 7)};
1903}
1904
1905constexpr weekday operator+(const days& __lhs, const weekday& __rhs) noexcept
1906{ return __rhs + __lhs; }
1907
1908constexpr weekday operator-(const weekday& __lhs, const days& __rhs) noexcept
1909{ return __lhs + -__rhs; }
1910
1911constexpr days operator-(const weekday& __lhs, const weekday& __rhs) noexcept
1912{
Marshall Clowc0194d52019-07-25 03:26:05 +00001913 const int __wdu = __lhs.c_encoding() - __rhs.c_encoding();
Marshall Clow26058352018-10-16 17:27:54 +00001914 const int __wk = (__wdu >= 0 ? __wdu : __wdu-6) / 7;
1915 return days{__wdu - __wk * 7};
1916}
1917
1918inline constexpr weekday& weekday::operator+=(const days& __dd) noexcept
1919{ *this = *this + __dd; return *this; }
1920
1921inline constexpr weekday& weekday::operator-=(const days& __dd) noexcept
1922{ *this = *this - __dd; return *this; }
1923
1924
Eric Fiselier28bc4292019-03-21 01:48:15 +00001925class weekday_indexed {
Marshall Clow26058352018-10-16 17:27:54 +00001926private:
1927 _VSTD::chrono::weekday __wd;
1928 unsigned char __idx;
1929public:
1930 weekday_indexed() = default;
1931 inline constexpr weekday_indexed(const _VSTD::chrono::weekday& __wdval, unsigned __idxval) noexcept
1932 : __wd{__wdval}, __idx(__idxval) {}
1933 inline constexpr _VSTD::chrono::weekday weekday() const noexcept { return __wd; }
1934 inline constexpr unsigned index() const noexcept { return __idx; }
1935 inline constexpr bool ok() const noexcept { return __wd.ok() && __idx >= 1 && __idx <= 5; }
1936};
1937
1938inline constexpr
1939bool operator==(const weekday_indexed& __lhs, const weekday_indexed& __rhs) noexcept
1940{ return __lhs.weekday() == __rhs.weekday() && __lhs.index() == __rhs.index(); }
1941
1942inline constexpr
1943bool operator!=(const weekday_indexed& __lhs, const weekday_indexed& __rhs) noexcept
1944{ return !(__lhs == __rhs); }
1945
1946
Eric Fiselier28bc4292019-03-21 01:48:15 +00001947class weekday_last {
Marshall Clow26058352018-10-16 17:27:54 +00001948private:
1949 _VSTD::chrono::weekday __wd;
1950public:
1951 explicit constexpr weekday_last(const _VSTD::chrono::weekday& __val) noexcept
1952 : __wd{__val} {}
1953 constexpr _VSTD::chrono::weekday weekday() const noexcept { return __wd; }
1954 constexpr bool ok() const noexcept { return __wd.ok(); }
1955};
1956
1957inline constexpr
1958bool operator==(const weekday_last& __lhs, const weekday_last& __rhs) noexcept
1959{ return __lhs.weekday() == __rhs.weekday(); }
1960
1961inline constexpr
1962bool operator!=(const weekday_last& __lhs, const weekday_last& __rhs) noexcept
1963{ return !(__lhs == __rhs); }
1964
1965inline constexpr
1966weekday_indexed weekday::operator[](unsigned __index) const noexcept { return weekday_indexed{*this, __index}; }
1967
Louis Dionne173f29e2019-05-29 16:01:36 +00001968inline constexpr
Marshall Clow26058352018-10-16 17:27:54 +00001969weekday_last weekday::operator[](last_spec) const noexcept { return weekday_last{*this}; }
1970
1971
1972inline constexpr last_spec last{};
1973inline constexpr weekday Sunday{0};
1974inline constexpr weekday Monday{1};
1975inline constexpr weekday Tuesday{2};
1976inline constexpr weekday Wednesday{3};
1977inline constexpr weekday Thursday{4};
1978inline constexpr weekday Friday{5};
1979inline constexpr weekday Saturday{6};
1980
1981inline constexpr month January{1};
1982inline constexpr month February{2};
1983inline constexpr month March{3};
1984inline constexpr month April{4};
1985inline constexpr month May{5};
1986inline constexpr month June{6};
1987inline constexpr month July{7};
1988inline constexpr month August{8};
1989inline constexpr month September{9};
1990inline constexpr month October{10};
1991inline constexpr month November{11};
1992inline constexpr month December{12};
1993
1994
Eric Fiselier28bc4292019-03-21 01:48:15 +00001995class month_day {
Marshall Clow26058352018-10-16 17:27:54 +00001996private:
1997 chrono::month __m;
1998 chrono::day __d;
1999public:
2000 month_day() = default;
2001 constexpr month_day(const chrono::month& __mval, const chrono::day& __dval) noexcept
2002 : __m{__mval}, __d{__dval} {}
2003 inline constexpr chrono::month month() const noexcept { return __m; }
2004 inline constexpr chrono::day day() const noexcept { return __d; }
2005 constexpr bool ok() const noexcept;
2006};
2007
2008inline constexpr
2009bool month_day::ok() const noexcept
2010{
2011 if (!__m.ok()) return false;
2012 const unsigned __dval = static_cast<unsigned>(__d);
2013 if (__dval < 1 || __dval > 31) return false;
2014 if (__dval <= 29) return true;
2015// Now we've got either 30 or 31
2016 const unsigned __mval = static_cast<unsigned>(__m);
2017 if (__mval == 2) return false;
2018 if (__mval == 4 || __mval == 6 || __mval == 9 || __mval == 11)
2019 return __dval == 30;
2020 return true;
2021}
2022
2023inline constexpr
2024bool operator==(const month_day& __lhs, const month_day& __rhs) noexcept
2025{ return __lhs.month() == __rhs.month() && __lhs.day() == __rhs.day(); }
2026
2027inline constexpr
2028bool operator!=(const month_day& __lhs, const month_day& __rhs) noexcept
2029{ return !(__lhs == __rhs); }
2030
2031inline constexpr
2032month_day operator/(const month& __lhs, const day& __rhs) noexcept
2033{ return month_day{__lhs, __rhs}; }
2034
2035constexpr
2036month_day operator/(const day& __lhs, const month& __rhs) noexcept
2037{ return __rhs / __lhs; }
2038
2039inline constexpr
2040month_day operator/(const month& __lhs, int __rhs) noexcept
2041{ return __lhs / day(__rhs); }
2042
2043constexpr
2044month_day operator/(int __lhs, const day& __rhs) noexcept
2045{ return month(__lhs) / __rhs; }
2046
2047constexpr
2048month_day operator/(const day& __lhs, int __rhs) noexcept
2049{ return month(__rhs) / __lhs; }
2050
2051
2052inline constexpr
2053bool operator< (const month_day& __lhs, const month_day& __rhs) noexcept
2054{ return __lhs.month() != __rhs.month() ? __lhs.month() < __rhs.month() : __lhs.day() < __rhs.day(); }
2055
2056inline constexpr
2057bool operator> (const month_day& __lhs, const month_day& __rhs) noexcept
2058{ return __rhs < __lhs; }
2059
2060inline constexpr
2061bool operator<=(const month_day& __lhs, const month_day& __rhs) noexcept
2062{ return !(__rhs < __lhs);}
2063
2064inline constexpr
2065bool operator>=(const month_day& __lhs, const month_day& __rhs) noexcept
2066{ return !(__lhs < __rhs); }
2067
2068
2069
Eric Fiselier28bc4292019-03-21 01:48:15 +00002070class month_day_last {
Marshall Clow26058352018-10-16 17:27:54 +00002071private:
2072 chrono::month __m;
2073public:
2074 explicit constexpr month_day_last(const chrono::month& __val) noexcept
2075 : __m{__val} {}
2076 inline constexpr chrono::month month() const noexcept { return __m; }
2077 inline constexpr bool ok() const noexcept { return __m.ok(); }
2078};
2079
2080inline constexpr
2081bool operator==(const month_day_last& __lhs, const month_day_last& __rhs) noexcept
2082{ return __lhs.month() == __rhs.month(); }
2083
2084inline constexpr
2085bool operator!=(const month_day_last& __lhs, const month_day_last& __rhs) noexcept
2086{ return !(__lhs == __rhs); }
2087
2088inline constexpr
2089bool operator< (const month_day_last& __lhs, const month_day_last& __rhs) noexcept
2090{ return __lhs.month() < __rhs.month(); }
2091
2092inline constexpr
2093bool operator> (const month_day_last& __lhs, const month_day_last& __rhs) noexcept
2094{ return __rhs < __lhs; }
2095
2096inline constexpr
2097bool operator<=(const month_day_last& __lhs, const month_day_last& __rhs) noexcept
2098{ return !(__rhs < __lhs);}
2099
2100inline constexpr
2101bool operator>=(const month_day_last& __lhs, const month_day_last& __rhs) noexcept
2102{ return !(__lhs < __rhs); }
2103
2104inline constexpr
2105month_day_last operator/(const month& __lhs, last_spec) noexcept
2106{ return month_day_last{__lhs}; }
2107
2108inline constexpr
2109month_day_last operator/(last_spec, const month& __rhs) noexcept
2110{ return month_day_last{__rhs}; }
2111
2112inline constexpr
2113month_day_last operator/(int __lhs, last_spec) noexcept
2114{ return month_day_last{month(__lhs)}; }
2115
2116inline constexpr
2117month_day_last operator/(last_spec, int __rhs) noexcept
2118{ return month_day_last{month(__rhs)}; }
2119
2120
Eric Fiselier28bc4292019-03-21 01:48:15 +00002121class month_weekday {
Marshall Clow26058352018-10-16 17:27:54 +00002122private:
2123 chrono::month __m;
2124 chrono::weekday_indexed __wdi;
2125public:
2126 month_weekday() = default;
2127 constexpr month_weekday(const chrono::month& __mval, const chrono::weekday_indexed& __wdival) noexcept
2128 : __m{__mval}, __wdi{__wdival} {}
2129 inline constexpr chrono::month month() const noexcept { return __m; }
2130 inline constexpr chrono::weekday_indexed weekday_indexed() const noexcept { return __wdi; }
2131 inline constexpr bool ok() const noexcept { return __m.ok() && __wdi.ok(); }
2132};
2133
2134inline constexpr
2135bool operator==(const month_weekday& __lhs, const month_weekday& __rhs) noexcept
2136{ return __lhs.month() == __rhs.month() && __lhs.weekday_indexed() == __rhs.weekday_indexed(); }
2137
2138inline constexpr
2139bool operator!=(const month_weekday& __lhs, const month_weekday& __rhs) noexcept
2140{ return !(__lhs == __rhs); }
2141
2142inline constexpr
2143month_weekday operator/(const month& __lhs, const weekday_indexed& __rhs) noexcept
2144{ return month_weekday{__lhs, __rhs}; }
2145
2146inline constexpr
2147month_weekday operator/(int __lhs, const weekday_indexed& __rhs) noexcept
2148{ return month_weekday{month(__lhs), __rhs}; }
2149
2150inline constexpr
2151month_weekday operator/(const weekday_indexed& __lhs, const month& __rhs) noexcept
2152{ return month_weekday{__rhs, __lhs}; }
2153
2154inline constexpr
2155month_weekday operator/(const weekday_indexed& __lhs, int __rhs) noexcept
2156{ return month_weekday{month(__rhs), __lhs}; }
2157
2158
Eric Fiselier28bc4292019-03-21 01:48:15 +00002159class month_weekday_last {
Marshall Clow26058352018-10-16 17:27:54 +00002160 chrono::month __m;
2161 chrono::weekday_last __wdl;
2162 public:
2163 constexpr month_weekday_last(const chrono::month& __mval, const chrono::weekday_last& __wdlval) noexcept
2164 : __m{__mval}, __wdl{__wdlval} {}
2165 inline constexpr chrono::month month() const noexcept { return __m; }
2166 inline constexpr chrono::weekday_last weekday_last() const noexcept { return __wdl; }
2167 inline constexpr bool ok() const noexcept { return __m.ok() && __wdl.ok(); }
2168};
2169
2170inline constexpr
2171bool operator==(const month_weekday_last& __lhs, const month_weekday_last& __rhs) noexcept
2172{ return __lhs.month() == __rhs.month() && __lhs.weekday_last() == __rhs.weekday_last(); }
2173
2174inline constexpr
2175bool operator!=(const month_weekday_last& __lhs, const month_weekday_last& __rhs) noexcept
2176{ return !(__lhs == __rhs); }
2177
2178
2179inline constexpr
2180month_weekday_last operator/(const month& __lhs, const weekday_last& __rhs) noexcept
2181{ return month_weekday_last{__lhs, __rhs}; }
2182
2183inline constexpr
2184month_weekday_last operator/(int __lhs, const weekday_last& __rhs) noexcept
2185{ return month_weekday_last{month(__lhs), __rhs}; }
2186
2187inline constexpr
2188month_weekday_last operator/(const weekday_last& __lhs, const month& __rhs) noexcept
2189{ return month_weekday_last{__rhs, __lhs}; }
2190
2191inline constexpr
2192month_weekday_last operator/(const weekday_last& __lhs, int __rhs) noexcept
2193{ return month_weekday_last{month(__rhs), __lhs}; }
2194
2195
Eric Fiselier28bc4292019-03-21 01:48:15 +00002196class year_month {
Marshall Clow26058352018-10-16 17:27:54 +00002197 chrono::year __y;
2198 chrono::month __m;
2199public:
2200 year_month() = default;
2201 constexpr year_month(const chrono::year& __yval, const chrono::month& __mval) noexcept
2202 : __y{__yval}, __m{__mval} {}
2203 inline constexpr chrono::year year() const noexcept { return __y; }
2204 inline constexpr chrono::month month() const noexcept { return __m; }
2205 inline constexpr year_month& operator+=(const months& __dm) noexcept { this->__m += __dm; return *this; }
2206 inline constexpr year_month& operator-=(const months& __dm) noexcept { this->__m -= __dm; return *this; }
2207 inline constexpr year_month& operator+=(const years& __dy) noexcept { this->__y += __dy; return *this; }
2208 inline constexpr year_month& operator-=(const years& __dy) noexcept { this->__y -= __dy; return *this; }
2209 inline constexpr bool ok() const noexcept { return __y.ok() && __m.ok(); }
2210};
2211
2212inline constexpr
2213year_month operator/(const year& __y, const month& __m) noexcept { return year_month{__y, __m}; }
2214
2215inline constexpr
2216year_month operator/(const year& __y, int __m) noexcept { return year_month{__y, month(__m)}; }
2217
2218inline constexpr
2219bool operator==(const year_month& __lhs, const year_month& __rhs) noexcept
2220{ return __lhs.year() == __rhs.year() && __lhs.month() == __rhs.month(); }
2221
2222inline constexpr
2223bool operator!=(const year_month& __lhs, const year_month& __rhs) noexcept
2224{ return !(__lhs == __rhs); }
2225
2226inline constexpr
2227bool operator< (const year_month& __lhs, const year_month& __rhs) noexcept
2228{ return __lhs.year() != __rhs.year() ? __lhs.year() < __rhs.year() : __lhs.month() < __rhs.month(); }
2229
2230inline constexpr
2231bool operator> (const year_month& __lhs, const year_month& __rhs) noexcept
2232{ return __rhs < __lhs; }
2233
2234inline constexpr
2235bool operator<=(const year_month& __lhs, const year_month& __rhs) noexcept
2236{ return !(__rhs < __lhs);}
2237
2238inline constexpr
2239bool operator>=(const year_month& __lhs, const year_month& __rhs) noexcept
2240{ return !(__lhs < __rhs); }
2241
2242constexpr year_month operator+(const year_month& __lhs, const months& __rhs) noexcept
2243{
2244 int __dmi = static_cast<int>(static_cast<unsigned>(__lhs.month())) - 1 + __rhs.count();
2245 const int __dy = (__dmi >= 0 ? __dmi : __dmi-11) / 12;
2246 __dmi = __dmi - __dy * 12 + 1;
2247 return (__lhs.year() + years(__dy)) / month(static_cast<unsigned>(__dmi));
2248}
2249
2250constexpr year_month operator+(const months& __lhs, const year_month& __rhs) noexcept
2251{ return __rhs + __lhs; }
2252
2253constexpr year_month operator+(const year_month& __lhs, const years& __rhs) noexcept
2254{ return (__lhs.year() + __rhs) / __lhs.month(); }
2255
2256constexpr year_month operator+(const years& __lhs, const year_month& __rhs) noexcept
2257{ return __rhs + __lhs; }
2258
2259constexpr months operator-(const year_month& __lhs, const year_month& __rhs) noexcept
2260{ return (__lhs.year() - __rhs.year()) + months(static_cast<unsigned>(__lhs.month()) - static_cast<unsigned>(__rhs.month())); }
2261
2262constexpr year_month operator-(const year_month& __lhs, const months& __rhs) noexcept
2263{ return __lhs + -__rhs; }
2264
2265constexpr year_month operator-(const year_month& __lhs, const years& __rhs) noexcept
2266{ return __lhs + -__rhs; }
2267
Marshall Clow188b3342019-01-11 15:12:04 +00002268class year_month_day_last;
Marshall Clow26058352018-10-16 17:27:54 +00002269
Eric Fiselier28bc4292019-03-21 01:48:15 +00002270class year_month_day {
Marshall Clow26058352018-10-16 17:27:54 +00002271private:
2272 chrono::year __y;
2273 chrono::month __m;
2274 chrono::day __d;
2275public:
2276 year_month_day() = default;
2277 inline constexpr year_month_day(
2278 const chrono::year& __yval, const chrono::month& __mval, const chrono::day& __dval) noexcept
Louis Dionne173f29e2019-05-29 16:01:36 +00002279 : __y{__yval}, __m{__mval}, __d{__dval} {}
Marshall Clow188b3342019-01-11 15:12:04 +00002280 constexpr year_month_day(const year_month_day_last& __ymdl) noexcept;
2281 inline constexpr year_month_day(const sys_days& __sysd) noexcept
2282 : year_month_day(__from_days(__sysd.time_since_epoch())) {}
2283 inline explicit constexpr year_month_day(const local_days& __locd) noexcept
2284 : year_month_day(__from_days(__locd.time_since_epoch())) {}
2285
Marshall Clow26058352018-10-16 17:27:54 +00002286 constexpr year_month_day& operator+=(const months& __dm) noexcept;
2287 constexpr year_month_day& operator-=(const months& __dm) noexcept;
2288 constexpr year_month_day& operator+=(const years& __dy) noexcept;
2289 constexpr year_month_day& operator-=(const years& __dy) noexcept;
Marshall Clow26058352018-10-16 17:27:54 +00002290
Marshall Clow188b3342019-01-11 15:12:04 +00002291 inline constexpr chrono::year year() const noexcept { return __y; }
2292 inline constexpr chrono::month month() const noexcept { return __m; }
2293 inline constexpr chrono::day day() const noexcept { return __d; }
2294 inline constexpr operator sys_days() const noexcept { return sys_days{__to_days()}; }
2295 inline explicit constexpr operator local_days() const noexcept { return local_days{__to_days()}; }
2296
2297 constexpr bool ok() const noexcept;
2298
2299 static constexpr year_month_day __from_days(days __d) noexcept;
2300 constexpr days __to_days() const noexcept;
Marshall Clow26058352018-10-16 17:27:54 +00002301};
2302
Marshall Clow188b3342019-01-11 15:12:04 +00002303
2304// https://howardhinnant.github.io/date_algorithms.html#civil_from_days
2305inline constexpr
2306year_month_day
2307year_month_day::__from_days(days __d) noexcept
2308{
2309 static_assert(std::numeric_limits<unsigned>::digits >= 18, "");
2310 static_assert(std::numeric_limits<int>::digits >= 20 , "");
2311 const int __z = __d.count() + 719468;
2312 const int __era = (__z >= 0 ? __z : __z - 146096) / 146097;
2313 const unsigned __doe = static_cast<unsigned>(__z - __era * 146097); // [0, 146096]
2314 const unsigned __yoe = (__doe - __doe/1460 + __doe/36524 - __doe/146096) / 365; // [0, 399]
2315 const int __yr = static_cast<int>(__yoe) + __era * 400;
2316 const unsigned __doy = __doe - (365 * __yoe + __yoe/4 - __yoe/100); // [0, 365]
2317 const unsigned __mp = (5 * __doy + 2)/153; // [0, 11]
2318 const unsigned __dy = __doy - (153 * __mp + 2)/5 + 1; // [1, 31]
2319 const unsigned __mth = __mp + (__mp < 10 ? 3 : -9); // [1, 12]
2320 return year_month_day{chrono::year{__yr + (__mth <= 2)}, chrono::month{__mth}, chrono::day{__dy}};
2321}
2322
2323// https://howardhinnant.github.io/date_algorithms.html#days_from_civil
2324inline constexpr days year_month_day::__to_days() const noexcept
2325{
2326 static_assert(std::numeric_limits<unsigned>::digits >= 18, "");
2327 static_assert(std::numeric_limits<int>::digits >= 20 , "");
2328
2329 const int __yr = static_cast<int>(__y) - (__m <= February);
2330 const unsigned __mth = static_cast<unsigned>(__m);
2331 const unsigned __dy = static_cast<unsigned>(__d);
2332
2333 const int __era = (__yr >= 0 ? __yr : __yr - 399) / 400;
2334 const unsigned __yoe = static_cast<unsigned>(__yr - __era * 400); // [0, 399]
2335 const unsigned __doy = (153 * (__mth + (__mth > 2 ? -3 : 9)) + 2) / 5 + __dy-1; // [0, 365]
2336 const unsigned __doe = __yoe * 365 + __yoe/4 - __yoe/100 + __doy; // [0, 146096]
2337 return days{__era * 146097 + static_cast<int>(__doe) - 719468};
2338}
2339
Marshall Clow26058352018-10-16 17:27:54 +00002340inline constexpr
2341bool operator==(const year_month_day& __lhs, const year_month_day& __rhs) noexcept
2342{ return __lhs.year() == __rhs.year() && __lhs.month() == __rhs.month() && __lhs.day() == __rhs.day(); }
2343
2344inline constexpr
2345bool operator!=(const year_month_day& __lhs, const year_month_day& __rhs) noexcept
2346{ return !(__lhs == __rhs); }
2347
2348inline constexpr
2349bool operator< (const year_month_day& __lhs, const year_month_day& __rhs) noexcept
2350{
2351 if (__lhs.year() < __rhs.year()) return true;
2352 if (__lhs.year() > __rhs.year()) return false;
2353 if (__lhs.month() < __rhs.month()) return true;
2354 if (__lhs.month() > __rhs.month()) return false;
2355 return __lhs.day() < __rhs.day();
2356}
2357
2358inline constexpr
2359bool operator> (const year_month_day& __lhs, const year_month_day& __rhs) noexcept
2360{ return __rhs < __lhs; }
2361
2362inline constexpr
2363bool operator<=(const year_month_day& __lhs, const year_month_day& __rhs) noexcept
2364{ return !(__rhs < __lhs);}
2365
2366inline constexpr
2367bool operator>=(const year_month_day& __lhs, const year_month_day& __rhs) noexcept
2368{ return !(__lhs < __rhs); }
2369
2370inline constexpr
2371year_month_day operator/(const year_month& __lhs, const day& __rhs) noexcept
2372{ return year_month_day{__lhs.year(), __lhs.month(), __rhs}; }
2373
2374inline constexpr
2375year_month_day operator/(const year_month& __lhs, int __rhs) noexcept
2376{ return __lhs / day(__rhs); }
2377
2378inline constexpr
2379year_month_day operator/(const year& __lhs, const month_day& __rhs) noexcept
2380{ return __lhs / __rhs.month() / __rhs.day(); }
2381
2382inline constexpr
2383year_month_day operator/(int __lhs, const month_day& __rhs) noexcept
2384{ return year(__lhs) / __rhs; }
2385
2386inline constexpr
2387year_month_day operator/(const month_day& __lhs, const year& __rhs) noexcept
2388{ return __rhs / __lhs; }
2389
2390inline constexpr
2391year_month_day operator/(const month_day& __lhs, int __rhs) noexcept
2392{ return year(__rhs) / __lhs; }
2393
2394
2395inline constexpr
2396year_month_day operator+(const year_month_day& __lhs, const months& __rhs) noexcept
2397{ return (__lhs.year()/__lhs.month() + __rhs)/__lhs.day(); }
2398
2399inline constexpr
2400year_month_day operator+(const months& __lhs, const year_month_day& __rhs) noexcept
2401{ return __rhs + __lhs; }
2402
2403inline constexpr
2404year_month_day operator-(const year_month_day& __lhs, const months& __rhs) noexcept
2405{ return __lhs + -__rhs; }
2406
2407inline constexpr
2408year_month_day operator+(const year_month_day& __lhs, const years& __rhs) noexcept
2409{ return (__lhs.year() + __rhs) / __lhs.month() / __lhs.day(); }
2410
2411inline constexpr
2412year_month_day operator+(const years& __lhs, const year_month_day& __rhs) noexcept
2413{ return __rhs + __lhs; }
2414
2415inline constexpr
2416year_month_day operator-(const year_month_day& __lhs, const years& __rhs) noexcept
2417{ return __lhs + -__rhs; }
2418
2419inline constexpr year_month_day& year_month_day::operator+=(const months& __dm) noexcept { *this = *this + __dm; return *this; }
2420inline constexpr year_month_day& year_month_day::operator-=(const months& __dm) noexcept { *this = *this - __dm; return *this; }
2421inline constexpr year_month_day& year_month_day::operator+=(const years& __dy) noexcept { *this = *this + __dy; return *this; }
2422inline constexpr year_month_day& year_month_day::operator-=(const years& __dy) noexcept { *this = *this - __dy; return *this; }
2423
Eric Fiselier28bc4292019-03-21 01:48:15 +00002424class year_month_day_last {
Marshall Clow26058352018-10-16 17:27:54 +00002425private:
2426 chrono::year __y;
2427 chrono::month_day_last __mdl;
2428public:
2429 constexpr year_month_day_last(const year& __yval, const month_day_last& __mdlval) noexcept
2430 : __y{__yval}, __mdl{__mdlval} {}
2431
2432 constexpr year_month_day_last& operator+=(const months& __m) noexcept;
2433 constexpr year_month_day_last& operator-=(const months& __m) noexcept;
2434 constexpr year_month_day_last& operator+=(const years& __y) noexcept;
2435 constexpr year_month_day_last& operator-=(const years& __y) noexcept;
2436
Marshall Clow188b3342019-01-11 15:12:04 +00002437 inline constexpr chrono::year year() const noexcept { return __y; }
2438 inline constexpr chrono::month month() const noexcept { return __mdl.month(); }
2439 inline constexpr chrono::month_day_last month_day_last() const noexcept { return __mdl; }
2440 constexpr chrono::day day() const noexcept;
2441 inline constexpr operator sys_days() const noexcept { return sys_days{year()/month()/day()}; }
2442 inline explicit constexpr operator local_days() const noexcept { return local_days{year()/month()/day()}; }
2443 inline constexpr bool ok() const noexcept { return __y.ok() && __mdl.ok(); }
Marshall Clow26058352018-10-16 17:27:54 +00002444};
2445
2446inline constexpr
Marshall Clow188b3342019-01-11 15:12:04 +00002447chrono::day year_month_day_last::day() const noexcept
2448{
2449 constexpr chrono::day __d[] =
2450 {
2451 chrono::day(31), chrono::day(28), chrono::day(31),
2452 chrono::day(30), chrono::day(31), chrono::day(30),
2453 chrono::day(31), chrono::day(31), chrono::day(30),
2454 chrono::day(31), chrono::day(30), chrono::day(31)
2455 };
2456 return month() != February || !__y.is_leap() ?
2457 __d[static_cast<unsigned>(month()) - 1] : chrono::day{29};
2458}
2459
2460inline constexpr
Marshall Clow26058352018-10-16 17:27:54 +00002461bool operator==(const year_month_day_last& __lhs, const year_month_day_last& __rhs) noexcept
2462{ return __lhs.year() == __rhs.year() && __lhs.month_day_last() == __rhs.month_day_last(); }
2463
2464inline constexpr
2465bool operator!=(const year_month_day_last& __lhs, const year_month_day_last& __rhs) noexcept
2466{ return !(__lhs == __rhs); }
2467
2468inline constexpr
2469bool operator< (const year_month_day_last& __lhs, const year_month_day_last& __rhs) noexcept
2470{
2471 if (__lhs.year() < __rhs.year()) return true;
2472 if (__lhs.year() > __rhs.year()) return false;
2473 return __lhs.month_day_last() < __rhs.month_day_last();
2474}
2475
2476inline constexpr
2477bool operator> (const year_month_day_last& __lhs, const year_month_day_last& __rhs) noexcept
2478{ return __rhs < __lhs; }
2479
2480inline constexpr
2481bool operator<=(const year_month_day_last& __lhs, const year_month_day_last& __rhs) noexcept
2482{ return !(__rhs < __lhs);}
2483
2484inline constexpr
2485bool operator>=(const year_month_day_last& __lhs, const year_month_day_last& __rhs) noexcept
2486{ return !(__lhs < __rhs); }
2487
2488inline constexpr year_month_day_last operator/(const year_month& __lhs, last_spec) noexcept
2489{ return year_month_day_last{__lhs.year(), month_day_last{__lhs.month()}}; }
2490
2491inline constexpr year_month_day_last operator/(const year& __lhs, const month_day_last& __rhs) noexcept
2492{ return year_month_day_last{__lhs, __rhs}; }
2493
2494inline constexpr year_month_day_last operator/(int __lhs, const month_day_last& __rhs) noexcept
2495{ return year_month_day_last{year{__lhs}, __rhs}; }
2496
2497inline constexpr year_month_day_last operator/(const month_day_last& __lhs, const year& __rhs) noexcept
2498{ return __rhs / __lhs; }
2499
2500inline constexpr year_month_day_last operator/(const month_day_last& __lhs, int __rhs) noexcept
2501{ return year{__rhs} / __lhs; }
2502
2503
2504inline constexpr
2505year_month_day_last operator+(const year_month_day_last& __lhs, const months& __rhs) noexcept
2506{ return (__lhs.year() / __lhs.month() + __rhs) / last; }
2507
2508inline constexpr
2509year_month_day_last operator+(const months& __lhs, const year_month_day_last& __rhs) noexcept
2510{ return __rhs + __lhs; }
2511
2512inline constexpr
2513year_month_day_last operator-(const year_month_day_last& __lhs, const months& __rhs) noexcept
2514{ return __lhs + (-__rhs); }
2515
2516inline constexpr
2517year_month_day_last operator+(const year_month_day_last& __lhs, const years& __rhs) noexcept
2518{ return year_month_day_last{__lhs.year() + __rhs, __lhs.month_day_last()}; }
2519
2520inline constexpr
2521year_month_day_last operator+(const years& __lhs, const year_month_day_last& __rhs) noexcept
2522{ return __rhs + __lhs; }
2523
2524inline constexpr
2525year_month_day_last operator-(const year_month_day_last& __lhs, const years& __rhs) noexcept
2526{ return __lhs + (-__rhs); }
2527
2528inline constexpr year_month_day_last& year_month_day_last::operator+=(const months& __dm) noexcept { *this = *this + __dm; return *this; }
2529inline constexpr year_month_day_last& year_month_day_last::operator-=(const months& __dm) noexcept { *this = *this - __dm; return *this; }
2530inline constexpr year_month_day_last& year_month_day_last::operator+=(const years& __dy) noexcept { *this = *this + __dy; return *this; }
2531inline constexpr year_month_day_last& year_month_day_last::operator-=(const years& __dy) noexcept { *this = *this - __dy; return *this; }
2532
Marshall Clow188b3342019-01-11 15:12:04 +00002533inline constexpr year_month_day::year_month_day(const year_month_day_last& __ymdl) noexcept
Louis Dionne173f29e2019-05-29 16:01:36 +00002534 : __y{__ymdl.year()}, __m{__ymdl.month()}, __d{__ymdl.day()} {}
Marshall Clow188b3342019-01-11 15:12:04 +00002535
2536inline constexpr bool year_month_day::ok() const noexcept
2537{
2538 if (!__y.ok() || !__m.ok()) return false;
2539 return chrono::day{1} <= __d && __d <= (__y / __m / last).day();
2540}
2541
Eric Fiselier28bc4292019-03-21 01:48:15 +00002542class year_month_weekday {
Marshall Clow26058352018-10-16 17:27:54 +00002543 chrono::year __y;
2544 chrono::month __m;
2545 chrono::weekday_indexed __wdi;
2546public:
2547 year_month_weekday() = default;
2548 constexpr year_month_weekday(const chrono::year& __yval, const chrono::month& __mval,
2549 const chrono::weekday_indexed& __wdival) noexcept
2550 : __y{__yval}, __m{__mval}, __wdi{__wdival} {}
Marshall Clow188b3342019-01-11 15:12:04 +00002551 constexpr year_month_weekday(const sys_days& __sysd) noexcept
2552 : year_month_weekday(__from_days(__sysd.time_since_epoch())) {}
2553 inline explicit constexpr year_month_weekday(const local_days& __locd) noexcept
2554 : year_month_weekday(__from_days(__locd.time_since_epoch())) {}
Marshall Clow26058352018-10-16 17:27:54 +00002555 constexpr year_month_weekday& operator+=(const months& m) noexcept;
2556 constexpr year_month_weekday& operator-=(const months& m) noexcept;
2557 constexpr year_month_weekday& operator+=(const years& y) noexcept;
2558 constexpr year_month_weekday& operator-=(const years& y) noexcept;
2559
2560 inline constexpr chrono::year year() const noexcept { return __y; }
2561 inline constexpr chrono::month month() const noexcept { return __m; }
2562 inline constexpr chrono::weekday weekday() const noexcept { return __wdi.weekday(); }
2563 inline constexpr unsigned index() const noexcept { return __wdi.index(); }
2564 inline constexpr chrono::weekday_indexed weekday_indexed() const noexcept { return __wdi; }
2565
Marshall Clow188b3342019-01-11 15:12:04 +00002566 inline constexpr operator sys_days() const noexcept { return sys_days{__to_days()}; }
2567 inline explicit constexpr operator local_days() const noexcept { return local_days{__to_days()}; }
Marshall Clow26058352018-10-16 17:27:54 +00002568 inline constexpr bool ok() const noexcept
2569 {
2570 if (!__y.ok() || !__m.ok() || !__wdi.ok()) return false;
2571 // TODO: make sure it's a valid date
2572 return true;
2573 }
Marshall Clow188b3342019-01-11 15:12:04 +00002574
2575 static constexpr year_month_weekday __from_days(days __d) noexcept;
2576 constexpr days __to_days() const noexcept;
Marshall Clow26058352018-10-16 17:27:54 +00002577};
2578
2579inline constexpr
Marshall Clow188b3342019-01-11 15:12:04 +00002580year_month_weekday year_month_weekday::__from_days(days __d) noexcept
2581{
2582 const sys_days __sysd{__d};
2583 const chrono::weekday __wd = chrono::weekday(__sysd);
2584 const year_month_day __ymd = year_month_day(__sysd);
Louis Dionne173f29e2019-05-29 16:01:36 +00002585 return year_month_weekday{__ymd.year(), __ymd.month(),
Marshall Clow188b3342019-01-11 15:12:04 +00002586 __wd[(static_cast<unsigned>(__ymd.day())-1)/7+1]};
2587}
2588
2589inline constexpr
2590days year_month_weekday::__to_days() const noexcept
2591{
2592 const sys_days __sysd = sys_days(__y/__m/1);
2593 return (__sysd + (__wdi.weekday() - chrono::weekday(__sysd) + days{(__wdi.index()-1)*7}))
2594 .time_since_epoch();
2595}
2596
2597inline constexpr
Marshall Clow26058352018-10-16 17:27:54 +00002598bool operator==(const year_month_weekday& __lhs, const year_month_weekday& __rhs) noexcept
2599{ return __lhs.year() == __rhs.year() && __lhs.month() == __rhs.month() && __lhs.weekday_indexed() == __rhs.weekday_indexed(); }
2600
2601inline constexpr
2602bool operator!=(const year_month_weekday& __lhs, const year_month_weekday& __rhs) noexcept
2603{ return !(__lhs == __rhs); }
2604
2605inline constexpr
2606year_month_weekday operator/(const year_month& __lhs, const weekday_indexed& __rhs) noexcept
2607{ return year_month_weekday{__lhs.year(), __lhs.month(), __rhs}; }
2608
2609inline constexpr
2610year_month_weekday operator/(const year& __lhs, const month_weekday& __rhs) noexcept
2611{ return year_month_weekday{__lhs, __rhs.month(), __rhs.weekday_indexed()}; }
2612
2613inline constexpr
2614year_month_weekday operator/(int __lhs, const month_weekday& __rhs) noexcept
2615{ return year(__lhs) / __rhs; }
2616
2617inline constexpr
2618year_month_weekday operator/(const month_weekday& __lhs, const year& __rhs) noexcept
2619{ return __rhs / __lhs; }
2620
2621inline constexpr
2622year_month_weekday operator/(const month_weekday& __lhs, int __rhs) noexcept
2623{ return year(__rhs) / __lhs; }
2624
2625
2626inline constexpr
2627year_month_weekday operator+(const year_month_weekday& __lhs, const months& __rhs) noexcept
2628{ return (__lhs.year() / __lhs.month() + __rhs) / __lhs.weekday_indexed(); }
2629
2630inline constexpr
2631year_month_weekday operator+(const months& __lhs, const year_month_weekday& __rhs) noexcept
2632{ return __rhs + __lhs; }
2633
2634inline constexpr
2635year_month_weekday operator-(const year_month_weekday& __lhs, const months& __rhs) noexcept
2636{ return __lhs + (-__rhs); }
2637
2638inline constexpr
2639year_month_weekday operator+(const year_month_weekday& __lhs, const years& __rhs) noexcept
2640{ return year_month_weekday{__lhs.year() + __rhs, __lhs.month(), __lhs.weekday_indexed()}; }
2641
2642inline constexpr
2643year_month_weekday operator+(const years& __lhs, const year_month_weekday& __rhs) noexcept
2644{ return __rhs + __lhs; }
2645
2646inline constexpr
2647year_month_weekday operator-(const year_month_weekday& __lhs, const years& __rhs) noexcept
2648{ return __lhs + (-__rhs); }
2649
2650
2651inline constexpr year_month_weekday& year_month_weekday::operator+=(const months& __dm) noexcept { *this = *this + __dm; return *this; }
2652inline constexpr year_month_weekday& year_month_weekday::operator-=(const months& __dm) noexcept { *this = *this - __dm; return *this; }
2653inline constexpr year_month_weekday& year_month_weekday::operator+=(const years& __dy) noexcept { *this = *this + __dy; return *this; }
2654inline constexpr year_month_weekday& year_month_weekday::operator-=(const years& __dy) noexcept { *this = *this - __dy; return *this; }
2655
Eric Fiselier28bc4292019-03-21 01:48:15 +00002656class year_month_weekday_last {
Marshall Clow26058352018-10-16 17:27:54 +00002657private:
2658 chrono::year __y;
2659 chrono::month __m;
2660 chrono::weekday_last __wdl;
2661public:
2662 constexpr year_month_weekday_last(const chrono::year& __yval, const chrono::month& __mval,
2663 const chrono::weekday_last& __wdlval) noexcept
2664 : __y{__yval}, __m{__mval}, __wdl{__wdlval} {}
2665 constexpr year_month_weekday_last& operator+=(const months& __dm) noexcept;
2666 constexpr year_month_weekday_last& operator-=(const months& __dm) noexcept;
2667 constexpr year_month_weekday_last& operator+=(const years& __dy) noexcept;
2668 constexpr year_month_weekday_last& operator-=(const years& __dy) noexcept;
2669
2670 inline constexpr chrono::year year() const noexcept { return __y; }
2671 inline constexpr chrono::month month() const noexcept { return __m; }
2672 inline constexpr chrono::weekday weekday() const noexcept { return __wdl.weekday(); }
2673 inline constexpr chrono::weekday_last weekday_last() const noexcept { return __wdl; }
Marshall Clow188b3342019-01-11 15:12:04 +00002674 inline constexpr operator sys_days() const noexcept { return sys_days{__to_days()}; }
2675 inline explicit constexpr operator local_days() const noexcept { return local_days{__to_days()}; }
Marshall Clow26058352018-10-16 17:27:54 +00002676 inline constexpr bool ok() const noexcept { return __y.ok() && __m.ok() && __wdl.ok(); }
Louis Dionne173f29e2019-05-29 16:01:36 +00002677
Marshall Clow188b3342019-01-11 15:12:04 +00002678 constexpr days __to_days() const noexcept;
Louis Dionne173f29e2019-05-29 16:01:36 +00002679
Marshall Clow26058352018-10-16 17:27:54 +00002680};
2681
2682inline constexpr
Marshall Clow188b3342019-01-11 15:12:04 +00002683days year_month_weekday_last::__to_days() const noexcept
2684{
2685 const sys_days __last = sys_days{__y/__m/last};
2686 return (__last - (chrono::weekday{__last} - __wdl.weekday())).time_since_epoch();
2687
2688}
2689
2690inline constexpr
Marshall Clow26058352018-10-16 17:27:54 +00002691bool operator==(const year_month_weekday_last& __lhs, const year_month_weekday_last& __rhs) noexcept
2692{ return __lhs.year() == __rhs.year() && __lhs.month() == __rhs.month() && __lhs.weekday_last() == __rhs.weekday_last(); }
2693
2694inline constexpr
2695bool operator!=(const year_month_weekday_last& __lhs, const year_month_weekday_last& __rhs) noexcept
2696{ return !(__lhs == __rhs); }
2697
2698
2699inline constexpr
2700year_month_weekday_last operator/(const year_month& __lhs, const weekday_last& __rhs) noexcept
2701{ return year_month_weekday_last{__lhs.year(), __lhs.month(), __rhs}; }
2702
2703inline constexpr
2704year_month_weekday_last operator/(const year& __lhs, const month_weekday_last& __rhs) noexcept
2705{ return year_month_weekday_last{__lhs, __rhs.month(), __rhs.weekday_last()}; }
2706
2707inline constexpr
2708year_month_weekday_last operator/(int __lhs, const month_weekday_last& __rhs) noexcept
2709{ return year(__lhs) / __rhs; }
2710
2711inline constexpr
2712year_month_weekday_last operator/(const month_weekday_last& __lhs, const year& __rhs) noexcept
2713{ return __rhs / __lhs; }
2714
2715inline constexpr
2716year_month_weekday_last operator/(const month_weekday_last& __lhs, int __rhs) noexcept
Louis Dionne173f29e2019-05-29 16:01:36 +00002717{ return year(__rhs) / __lhs; }
Marshall Clow26058352018-10-16 17:27:54 +00002718
2719
2720inline constexpr
2721year_month_weekday_last operator+(const year_month_weekday_last& __lhs, const months& __rhs) noexcept
2722{ return (__lhs.year() / __lhs.month() + __rhs) / __lhs.weekday_last(); }
2723
2724inline constexpr
2725year_month_weekday_last operator+(const months& __lhs, const year_month_weekday_last& __rhs) noexcept
2726{ return __rhs + __lhs; }
2727
2728inline constexpr
2729year_month_weekday_last operator-(const year_month_weekday_last& __lhs, const months& __rhs) noexcept
2730{ return __lhs + (-__rhs); }
2731
2732inline constexpr
2733year_month_weekday_last operator+(const year_month_weekday_last& __lhs, const years& __rhs) noexcept
2734{ return year_month_weekday_last{__lhs.year() + __rhs, __lhs.month(), __lhs.weekday_last()}; }
2735
2736inline constexpr
2737year_month_weekday_last operator+(const years& __lhs, const year_month_weekday_last& __rhs) noexcept
2738{ return __rhs + __lhs; }
2739
2740inline constexpr
2741year_month_weekday_last operator-(const year_month_weekday_last& __lhs, const years& __rhs) noexcept
2742{ return __lhs + (-__rhs); }
2743
2744inline constexpr year_month_weekday_last& year_month_weekday_last::operator+=(const months& __dm) noexcept { *this = *this + __dm; return *this; }
2745inline constexpr year_month_weekday_last& year_month_weekday_last::operator-=(const months& __dm) noexcept { *this = *this - __dm; return *this; }
2746inline constexpr year_month_weekday_last& year_month_weekday_last::operator+=(const years& __dy) noexcept { *this = *this + __dy; return *this; }
2747inline constexpr year_month_weekday_last& year_month_weekday_last::operator-=(const years& __dy) noexcept { *this = *this - __dy; return *this; }
2748
Marshall Clow748d1a62019-08-08 14:36:07 +00002749
2750template <class _Duration>
2751class hh_mm_ss
2752{
2753private:
2754 static_assert(__is_duration<_Duration>::value, "template parameter of hh_mm_ss must be a std::chrono::duration");
2755 using __CommonType = common_type_t<_Duration, chrono::seconds>;
2756
2757 static constexpr uint64_t __pow10(unsigned __exp)
2758 {
2759 uint64_t __ret = 1;
2760 for (unsigned __i = 0; __i < __exp; ++__i)
2761 __ret *= 10U;
2762 return __ret;
2763 }
2764
2765 static constexpr unsigned __width(uint64_t __n, uint64_t __d = 10, unsigned __w = 0)
2766 {
2767 if (__n >= 2 && __d != 0 && __w < 19)
2768 return 1 + __width(__n, __d % __n * 10, __w+1);
2769 return 0;
2770 }
2771
2772public:
2773 static unsigned constexpr fractional_width = __width(__CommonType::period::den) < 19 ?
2774 __width(__CommonType::period::den) : 6u;
2775 using precision = duration<typename __CommonType::rep, ratio<1, __pow10(fractional_width)>>;
2776
2777 constexpr hh_mm_ss() noexcept : hh_mm_ss{_Duration::zero()} {}
2778
2779 constexpr explicit hh_mm_ss(_Duration __d) noexcept :
2780 __is_neg(__d < _Duration(0)),
2781 __h(duration_cast<chrono::hours> (abs(__d))),
2782 __m(duration_cast<chrono::minutes>(abs(__d) - hours())),
2783 __s(duration_cast<chrono::seconds>(abs(__d) - hours() - minutes())),
2784 __f(duration_cast<precision> (abs(__d) - hours() - minutes() - seconds()))
2785 {}
2786
2787 constexpr bool is_negative() const noexcept { return __is_neg; }
2788 constexpr chrono::hours hours() const noexcept { return __h; }
2789 constexpr chrono::minutes minutes() const noexcept { return __m; }
2790 constexpr chrono::seconds seconds() const noexcept { return __s; }
2791 constexpr precision subseconds() const noexcept { return __f; }
2792
2793 constexpr precision to_duration() const noexcept
2794 {
2795 auto __dur = __h + __m + __s + __f;
2796 return __is_neg ? -__dur : __dur;
2797 }
2798
2799 constexpr explicit operator precision() const noexcept { return to_duration(); }
2800
2801private:
2802 bool __is_neg;
2803 chrono::hours __h;
2804 chrono::minutes __m;
2805 chrono::seconds __s;
2806 precision __f;
2807};
2808
2809constexpr bool is_am(const hours& __h) noexcept { return __h >= hours( 0) && __h < hours(12); }
2810constexpr bool is_pm(const hours& __h) noexcept { return __h >= hours(12) && __h < hours(24); }
2811
2812constexpr hours make12(const hours& __h) noexcept
2813{
2814 if (__h == hours( 0)) return hours(12);
2815 else if (__h <= hours(12)) return __h;
2816 else return __h - hours(12);
2817}
2818
2819constexpr hours make24(const hours& __h, bool __is_pm) noexcept
2820{
2821 if (__is_pm)
2822 return __h == hours(12) ? __h : __h + hours(12);
2823 else
2824 return __h == hours(12) ? hours(0) : __h;
2825}
2826
Marshall Clow26058352018-10-16 17:27:54 +00002827#endif // _LIBCPP_STD_VER > 17
Howard Hinnantc51e1022010-05-11 19:42:16 +00002828} // chrono
2829
Marshall Clowac868372013-10-05 21:18:32 +00002830#if _LIBCPP_STD_VER > 11
2831// Suffixes for duration literals [time.duration.literals]
2832inline namespace literals
Louis Dionne44bcff92018-08-03 22:36:53 +00002833{
Marshall Cloweb41e5c2013-07-24 21:18:14 +00002834 inline namespace chrono_literals
2835 {
2836
Marshall Clow2ac805a2017-08-09 15:42:50 +00002837 constexpr chrono::hours operator""h(unsigned long long __h)
Howard Hinnant5c167562013-08-07 19:39:48 +00002838 {
2839 return chrono::hours(static_cast<chrono::hours::rep>(__h));
2840 }
Marshall Cloweb41e5c2013-07-24 21:18:14 +00002841
Marshall Clow2ac805a2017-08-09 15:42:50 +00002842 constexpr chrono::duration<long double, ratio<3600,1>> operator""h(long double __h)
Howard Hinnant5c167562013-08-07 19:39:48 +00002843 {
2844 return chrono::duration<long double, ratio<3600,1>>(__h);
2845 }
Marshall Cloweb41e5c2013-07-24 21:18:14 +00002846
2847
Marshall Clow2ac805a2017-08-09 15:42:50 +00002848 constexpr chrono::minutes operator""min(unsigned long long __m)
Howard Hinnant5c167562013-08-07 19:39:48 +00002849 {
2850 return chrono::minutes(static_cast<chrono::minutes::rep>(__m));
2851 }
Marshall Cloweb41e5c2013-07-24 21:18:14 +00002852
Marshall Clow2ac805a2017-08-09 15:42:50 +00002853 constexpr chrono::duration<long double, ratio<60,1>> operator""min(long double __m)
Howard Hinnant5c167562013-08-07 19:39:48 +00002854 {
2855 return chrono::duration<long double, ratio<60,1>> (__m);
2856 }
Marshall Cloweb41e5c2013-07-24 21:18:14 +00002857
2858
Marshall Clow2ac805a2017-08-09 15:42:50 +00002859 constexpr chrono::seconds operator""s(unsigned long long __s)
Howard Hinnant5c167562013-08-07 19:39:48 +00002860 {
2861 return chrono::seconds(static_cast<chrono::seconds::rep>(__s));
2862 }
Marshall Cloweb41e5c2013-07-24 21:18:14 +00002863
Marshall Clow2ac805a2017-08-09 15:42:50 +00002864 constexpr chrono::duration<long double> operator""s(long double __s)
Howard Hinnant5c167562013-08-07 19:39:48 +00002865 {
2866 return chrono::duration<long double> (__s);
2867 }
Marshall Cloweb41e5c2013-07-24 21:18:14 +00002868
2869
Marshall Clow2ac805a2017-08-09 15:42:50 +00002870 constexpr chrono::milliseconds operator""ms(unsigned long long __ms)
Howard Hinnant5c167562013-08-07 19:39:48 +00002871 {
2872 return chrono::milliseconds(static_cast<chrono::milliseconds::rep>(__ms));
2873 }
Marshall Cloweb41e5c2013-07-24 21:18:14 +00002874
Marshall Clow2ac805a2017-08-09 15:42:50 +00002875 constexpr chrono::duration<long double, milli> operator""ms(long double __ms)
Howard Hinnant5c167562013-08-07 19:39:48 +00002876 {
2877 return chrono::duration<long double, milli>(__ms);
2878 }
Marshall Cloweb41e5c2013-07-24 21:18:14 +00002879
2880
Marshall Clow2ac805a2017-08-09 15:42:50 +00002881 constexpr chrono::microseconds operator""us(unsigned long long __us)
Howard Hinnant5c167562013-08-07 19:39:48 +00002882 {
2883 return chrono::microseconds(static_cast<chrono::microseconds::rep>(__us));
2884 }
Marshall Cloweb41e5c2013-07-24 21:18:14 +00002885
Marshall Clow2ac805a2017-08-09 15:42:50 +00002886 constexpr chrono::duration<long double, micro> operator""us(long double __us)
Howard Hinnant5c167562013-08-07 19:39:48 +00002887 {
2888 return chrono::duration<long double, micro> (__us);
2889 }
Louis Dionne44bcff92018-08-03 22:36:53 +00002890
Marshall Cloweb41e5c2013-07-24 21:18:14 +00002891
Marshall Clow2ac805a2017-08-09 15:42:50 +00002892 constexpr chrono::nanoseconds operator""ns(unsigned long long __ns)
Howard Hinnant5c167562013-08-07 19:39:48 +00002893 {
2894 return chrono::nanoseconds(static_cast<chrono::nanoseconds::rep>(__ns));
2895 }
Marshall Cloweb41e5c2013-07-24 21:18:14 +00002896
Marshall Clow2ac805a2017-08-09 15:42:50 +00002897 constexpr chrono::duration<long double, nano> operator""ns(long double __ns)
Howard Hinnant5c167562013-08-07 19:39:48 +00002898 {
2899 return chrono::duration<long double, nano> (__ns);
2900 }
Marshall Cloweb41e5c2013-07-24 21:18:14 +00002901
Marshall Clow26058352018-10-16 17:27:54 +00002902#if _LIBCPP_STD_VER > 17 && !defined(_LIBCPP_HAS_NO_CXX20_CHRONO_LITERALS)
2903 constexpr chrono::day operator ""d(unsigned long long __d) noexcept
2904 {
2905 return chrono::day(static_cast<unsigned>(__d));
2906 }
Louis Dionne173f29e2019-05-29 16:01:36 +00002907
Marshall Clow26058352018-10-16 17:27:54 +00002908 constexpr chrono::year operator ""y(unsigned long long __y) noexcept
2909 {
2910 return chrono::year(static_cast<int>(__y));
2911 }
2912#endif
Marshall Cloweb41e5c2013-07-24 21:18:14 +00002913}}
Marshall Clowac868372013-10-05 21:18:32 +00002914
2915namespace chrono { // hoist the literals into namespace std::chrono
2916 using namespace literals::chrono_literals;
2917}
2918
Marshall Cloweb41e5c2013-07-24 21:18:14 +00002919#endif
2920
Howard Hinnantc51e1022010-05-11 19:42:16 +00002921_LIBCPP_END_NAMESPACE_STD
2922
Eric Fiselier049273c2018-12-21 03:54:57 +00002923#ifndef _LIBCPP_CXX03_LANG
2924_LIBCPP_BEGIN_NAMESPACE_FILESYSTEM
2925struct _FilesystemClock {
2926#if !defined(_LIBCPP_HAS_NO_INT128)
2927 typedef __int128_t rep;
2928 typedef nano period;
2929#else
2930 typedef long long rep;
2931 typedef nano period;
2932#endif
2933
2934 typedef chrono::duration<rep, period> duration;
2935 typedef chrono::time_point<_FilesystemClock> time_point;
2936
2937 static _LIBCPP_CONSTEXPR_AFTER_CXX11 const bool is_steady = false;
2938
Louis Dionnef6bf76a2019-03-20 21:18:14 +00002939 _LIBCPP_AVAILABILITY_FILESYSTEM _LIBCPP_FUNC_VIS static time_point now() noexcept;
Eric Fiselier049273c2018-12-21 03:54:57 +00002940
2941 _LIBCPP_INLINE_VISIBILITY
2942 static time_t to_time_t(const time_point& __t) noexcept {
2943 typedef chrono::duration<rep> __secs;
2944 return time_t(
2945 chrono::duration_cast<__secs>(__t.time_since_epoch()).count());
2946 }
2947
2948 _LIBCPP_INLINE_VISIBILITY
2949 static time_point from_time_t(time_t __t) noexcept {
2950 typedef chrono::duration<rep> __secs;
2951 return time_point(__secs(__t));
2952 }
2953};
2954_LIBCPP_END_NAMESPACE_FILESYSTEM
2955#endif // !_LIBCPP_CXX03_LANG
2956
Eric Fiselierf4433a32017-05-31 22:07:49 +00002957_LIBCPP_POP_MACROS
2958
Howard Hinnantc51e1022010-05-11 19:42:16 +00002959#endif // _LIBCPP_CHRONO