calendar.h 49 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285
  1. // -*- C++ -*-
  2. //===----------------------------------------------------------------------===//
  3. //
  4. // 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
  7. //
  8. //===----------------------------------------------------------------------===//
  9. #ifndef _LIBCPP___CHRONO_CALENDAR_H
  10. #define _LIBCPP___CHRONO_CALENDAR_H
  11. #include <__chrono/duration.h>
  12. #include <__chrono/system_clock.h>
  13. #include <__chrono/time_point.h>
  14. #include <__config>
  15. #include <limits>
  16. #include <ratio>
  17. #include <type_traits>
  18. #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
  19. # pragma GCC system_header
  20. #endif
  21. _LIBCPP_PUSH_MACROS
  22. #include <__undef_macros>
  23. #if _LIBCPP_STD_VER > 17
  24. _LIBCPP_BEGIN_NAMESPACE_STD
  25. namespace chrono
  26. {
  27. struct local_t {};
  28. template<class Duration>
  29. using local_time = time_point<local_t, Duration>;
  30. using local_seconds = local_time<seconds>;
  31. using local_days = local_time<days>;
  32. struct last_spec { explicit last_spec() = default; };
  33. class day {
  34. private:
  35. unsigned char __d;
  36. public:
  37. day() = default;
  38. explicit inline constexpr day(unsigned __val) noexcept : __d(static_cast<unsigned char>(__val)) {}
  39. inline constexpr day& operator++() noexcept { ++__d; return *this; }
  40. inline constexpr day operator++(int) noexcept { day __tmp = *this; ++(*this); return __tmp; }
  41. inline constexpr day& operator--() noexcept { --__d; return *this; }
  42. inline constexpr day operator--(int) noexcept { day __tmp = *this; --(*this); return __tmp; }
  43. constexpr day& operator+=(const days& __dd) noexcept;
  44. constexpr day& operator-=(const days& __dd) noexcept;
  45. explicit inline constexpr operator unsigned() const noexcept { return __d; }
  46. inline constexpr bool ok() const noexcept { return __d >= 1 && __d <= 31; }
  47. };
  48. inline constexpr
  49. bool operator==(const day& __lhs, const day& __rhs) noexcept
  50. { return static_cast<unsigned>(__lhs) == static_cast<unsigned>(__rhs); }
  51. inline constexpr
  52. bool operator!=(const day& __lhs, const day& __rhs) noexcept
  53. { return !(__lhs == __rhs); }
  54. inline constexpr
  55. bool operator< (const day& __lhs, const day& __rhs) noexcept
  56. { return static_cast<unsigned>(__lhs) < static_cast<unsigned>(__rhs); }
  57. inline constexpr
  58. bool operator> (const day& __lhs, const day& __rhs) noexcept
  59. { return __rhs < __lhs; }
  60. inline constexpr
  61. bool operator<=(const day& __lhs, const day& __rhs) noexcept
  62. { return !(__rhs < __lhs);}
  63. inline constexpr
  64. bool operator>=(const day& __lhs, const day& __rhs) noexcept
  65. { return !(__lhs < __rhs); }
  66. inline constexpr
  67. day operator+ (const day& __lhs, const days& __rhs) noexcept
  68. { return day(static_cast<unsigned>(__lhs) + __rhs.count()); }
  69. inline constexpr
  70. day operator+ (const days& __lhs, const day& __rhs) noexcept
  71. { return __rhs + __lhs; }
  72. inline constexpr
  73. day operator- (const day& __lhs, const days& __rhs) noexcept
  74. { return __lhs + -__rhs; }
  75. inline constexpr
  76. days operator-(const day& __lhs, const day& __rhs) noexcept
  77. { return days(static_cast<int>(static_cast<unsigned>(__lhs)) -
  78. static_cast<int>(static_cast<unsigned>(__rhs))); }
  79. inline constexpr day& day::operator+=(const days& __dd) noexcept
  80. { *this = *this + __dd; return *this; }
  81. inline constexpr day& day::operator-=(const days& __dd) noexcept
  82. { *this = *this - __dd; return *this; }
  83. class month {
  84. private:
  85. unsigned char __m;
  86. public:
  87. month() = default;
  88. explicit inline constexpr month(unsigned __val) noexcept : __m(static_cast<unsigned char>(__val)) {}
  89. inline constexpr month& operator++() noexcept { ++__m; return *this; }
  90. inline constexpr month operator++(int) noexcept { month __tmp = *this; ++(*this); return __tmp; }
  91. inline constexpr month& operator--() noexcept { --__m; return *this; }
  92. inline constexpr month operator--(int) noexcept { month __tmp = *this; --(*this); return __tmp; }
  93. constexpr month& operator+=(const months& __m1) noexcept;
  94. constexpr month& operator-=(const months& __m1) noexcept;
  95. explicit inline constexpr operator unsigned() const noexcept { return __m; }
  96. inline constexpr bool ok() const noexcept { return __m >= 1 && __m <= 12; }
  97. };
  98. inline constexpr
  99. bool operator==(const month& __lhs, const month& __rhs) noexcept
  100. { return static_cast<unsigned>(__lhs) == static_cast<unsigned>(__rhs); }
  101. inline constexpr
  102. bool operator!=(const month& __lhs, const month& __rhs) noexcept
  103. { return !(__lhs == __rhs); }
  104. inline constexpr
  105. bool operator< (const month& __lhs, const month& __rhs) noexcept
  106. { return static_cast<unsigned>(__lhs) < static_cast<unsigned>(__rhs); }
  107. inline constexpr
  108. bool operator> (const month& __lhs, const month& __rhs) noexcept
  109. { return __rhs < __lhs; }
  110. inline constexpr
  111. bool operator<=(const month& __lhs, const month& __rhs) noexcept
  112. { return !(__rhs < __lhs); }
  113. inline constexpr
  114. bool operator>=(const month& __lhs, const month& __rhs) noexcept
  115. { return !(__lhs < __rhs); }
  116. inline constexpr
  117. month operator+ (const month& __lhs, const months& __rhs) noexcept
  118. {
  119. auto const __mu = static_cast<long long>(static_cast<unsigned>(__lhs)) + (__rhs.count() - 1);
  120. auto const __yr = (__mu >= 0 ? __mu : __mu - 11) / 12;
  121. return month{static_cast<unsigned>(__mu - __yr * 12 + 1)};
  122. }
  123. inline constexpr
  124. month operator+ (const months& __lhs, const month& __rhs) noexcept
  125. { return __rhs + __lhs; }
  126. inline constexpr
  127. month operator- (const month& __lhs, const months& __rhs) noexcept
  128. { return __lhs + -__rhs; }
  129. inline constexpr
  130. months operator-(const month& __lhs, const month& __rhs) noexcept
  131. {
  132. auto const __dm = static_cast<unsigned>(__lhs) - static_cast<unsigned>(__rhs);
  133. return months(__dm <= 11 ? __dm : __dm + 12);
  134. }
  135. inline constexpr month& month::operator+=(const months& __dm) noexcept
  136. { *this = *this + __dm; return *this; }
  137. inline constexpr month& month::operator-=(const months& __dm) noexcept
  138. { *this = *this - __dm; return *this; }
  139. class year {
  140. private:
  141. short __y;
  142. public:
  143. year() = default;
  144. explicit inline constexpr year(int __val) noexcept : __y(static_cast<short>(__val)) {}
  145. inline constexpr year& operator++() noexcept { ++__y; return *this; }
  146. inline constexpr year operator++(int) noexcept { year __tmp = *this; ++(*this); return __tmp; }
  147. inline constexpr year& operator--() noexcept { --__y; return *this; }
  148. inline constexpr year operator--(int) noexcept { year __tmp = *this; --(*this); return __tmp; }
  149. constexpr year& operator+=(const years& __dy) noexcept;
  150. constexpr year& operator-=(const years& __dy) noexcept;
  151. inline constexpr year operator+() const noexcept { return *this; }
  152. inline constexpr year operator-() const noexcept { return year{-__y}; }
  153. inline constexpr bool is_leap() const noexcept { return __y % 4 == 0 && (__y % 100 != 0 || __y % 400 == 0); }
  154. explicit inline constexpr operator int() const noexcept { return __y; }
  155. constexpr bool ok() const noexcept;
  156. static inline constexpr year min() noexcept { return year{-32767}; }
  157. static inline constexpr year max() noexcept { return year{ 32767}; }
  158. };
  159. inline constexpr
  160. bool operator==(const year& __lhs, const year& __rhs) noexcept
  161. { return static_cast<int>(__lhs) == static_cast<int>(__rhs); }
  162. inline constexpr
  163. bool operator!=(const year& __lhs, const year& __rhs) noexcept
  164. { return !(__lhs == __rhs); }
  165. inline constexpr
  166. bool operator< (const year& __lhs, const year& __rhs) noexcept
  167. { return static_cast<int>(__lhs) < static_cast<int>(__rhs); }
  168. inline constexpr
  169. bool operator> (const year& __lhs, const year& __rhs) noexcept
  170. { return __rhs < __lhs; }
  171. inline constexpr
  172. bool operator<=(const year& __lhs, const year& __rhs) noexcept
  173. { return !(__rhs < __lhs); }
  174. inline constexpr
  175. bool operator>=(const year& __lhs, const year& __rhs) noexcept
  176. { return !(__lhs < __rhs); }
  177. inline constexpr
  178. year operator+ (const year& __lhs, const years& __rhs) noexcept
  179. { return year(static_cast<int>(__lhs) + __rhs.count()); }
  180. inline constexpr
  181. year operator+ (const years& __lhs, const year& __rhs) noexcept
  182. { return __rhs + __lhs; }
  183. inline constexpr
  184. year operator- (const year& __lhs, const years& __rhs) noexcept
  185. { return __lhs + -__rhs; }
  186. inline constexpr
  187. years operator-(const year& __lhs, const year& __rhs) noexcept
  188. { return years{static_cast<int>(__lhs) - static_cast<int>(__rhs)}; }
  189. inline constexpr year& year::operator+=(const years& __dy) noexcept
  190. { *this = *this + __dy; return *this; }
  191. inline constexpr year& year::operator-=(const years& __dy) noexcept
  192. { *this = *this - __dy; return *this; }
  193. inline constexpr bool year::ok() const noexcept
  194. { return static_cast<int>(min()) <= __y && __y <= static_cast<int>(max()); }
  195. class weekday_indexed;
  196. class weekday_last;
  197. class weekday {
  198. private:
  199. unsigned char __wd;
  200. static constexpr unsigned char __weekday_from_days(int __days) noexcept;
  201. public:
  202. weekday() = default;
  203. inline explicit constexpr weekday(unsigned __val) noexcept : __wd(static_cast<unsigned char>(__val == 7 ? 0 : __val)) {}
  204. inline constexpr weekday(const sys_days& __sysd) noexcept
  205. : __wd(__weekday_from_days(__sysd.time_since_epoch().count())) {}
  206. inline explicit constexpr weekday(const local_days& __locd) noexcept
  207. : __wd(__weekday_from_days(__locd.time_since_epoch().count())) {}
  208. inline constexpr weekday& operator++() noexcept { __wd = (__wd == 6 ? 0 : __wd + 1); return *this; }
  209. inline constexpr weekday operator++(int) noexcept { weekday __tmp = *this; ++(*this); return __tmp; }
  210. inline constexpr weekday& operator--() noexcept { __wd = (__wd == 0 ? 6 : __wd - 1); return *this; }
  211. inline constexpr weekday operator--(int) noexcept { weekday __tmp = *this; --(*this); return __tmp; }
  212. constexpr weekday& operator+=(const days& __dd) noexcept;
  213. constexpr weekday& operator-=(const days& __dd) noexcept;
  214. inline constexpr unsigned c_encoding() const noexcept { return __wd; }
  215. inline constexpr unsigned iso_encoding() const noexcept { return __wd == 0u ? 7 : __wd; }
  216. inline constexpr bool ok() const noexcept { return __wd <= 6; }
  217. constexpr weekday_indexed operator[](unsigned __index) const noexcept;
  218. constexpr weekday_last operator[](last_spec) const noexcept;
  219. };
  220. // https://howardhinnant.github.io/date_algorithms.html#weekday_from_days
  221. inline constexpr
  222. unsigned char weekday::__weekday_from_days(int __days) noexcept
  223. {
  224. return static_cast<unsigned char>(
  225. static_cast<unsigned>(__days >= -4 ? (__days+4) % 7 : (__days+5) % 7 + 6)
  226. );
  227. }
  228. inline constexpr
  229. bool operator==(const weekday& __lhs, const weekday& __rhs) noexcept
  230. { return __lhs.c_encoding() == __rhs.c_encoding(); }
  231. inline constexpr
  232. bool operator!=(const weekday& __lhs, const weekday& __rhs) noexcept
  233. { return !(__lhs == __rhs); }
  234. inline constexpr
  235. bool operator< (const weekday& __lhs, const weekday& __rhs) noexcept
  236. { return __lhs.c_encoding() < __rhs.c_encoding(); }
  237. inline constexpr
  238. bool operator> (const weekday& __lhs, const weekday& __rhs) noexcept
  239. { return __rhs < __lhs; }
  240. inline constexpr
  241. bool operator<=(const weekday& __lhs, const weekday& __rhs) noexcept
  242. { return !(__rhs < __lhs);}
  243. inline constexpr
  244. bool operator>=(const weekday& __lhs, const weekday& __rhs) noexcept
  245. { return !(__lhs < __rhs); }
  246. constexpr weekday operator+(const weekday& __lhs, const days& __rhs) noexcept
  247. {
  248. auto const __mu = static_cast<long long>(__lhs.c_encoding()) + __rhs.count();
  249. auto const __yr = (__mu >= 0 ? __mu : __mu - 6) / 7;
  250. return weekday{static_cast<unsigned>(__mu - __yr * 7)};
  251. }
  252. constexpr weekday operator+(const days& __lhs, const weekday& __rhs) noexcept
  253. { return __rhs + __lhs; }
  254. constexpr weekday operator-(const weekday& __lhs, const days& __rhs) noexcept
  255. { return __lhs + -__rhs; }
  256. constexpr days operator-(const weekday& __lhs, const weekday& __rhs) noexcept
  257. {
  258. const int __wdu = __lhs.c_encoding() - __rhs.c_encoding();
  259. const int __wk = (__wdu >= 0 ? __wdu : __wdu-6) / 7;
  260. return days{__wdu - __wk * 7};
  261. }
  262. inline constexpr weekday& weekday::operator+=(const days& __dd) noexcept
  263. { *this = *this + __dd; return *this; }
  264. inline constexpr weekday& weekday::operator-=(const days& __dd) noexcept
  265. { *this = *this - __dd; return *this; }
  266. class weekday_indexed {
  267. private:
  268. chrono::weekday __wd;
  269. unsigned char __idx;
  270. public:
  271. weekday_indexed() = default;
  272. inline constexpr weekday_indexed(const chrono::weekday& __wdval, unsigned __idxval) noexcept
  273. : __wd{__wdval}, __idx(__idxval) {}
  274. inline constexpr chrono::weekday weekday() const noexcept { return __wd; }
  275. inline constexpr unsigned index() const noexcept { return __idx; }
  276. inline constexpr bool ok() const noexcept { return __wd.ok() && __idx >= 1 && __idx <= 5; }
  277. };
  278. inline constexpr
  279. bool operator==(const weekday_indexed& __lhs, const weekday_indexed& __rhs) noexcept
  280. { return __lhs.weekday() == __rhs.weekday() && __lhs.index() == __rhs.index(); }
  281. inline constexpr
  282. bool operator!=(const weekday_indexed& __lhs, const weekday_indexed& __rhs) noexcept
  283. { return !(__lhs == __rhs); }
  284. class weekday_last {
  285. private:
  286. chrono::weekday __wd;
  287. public:
  288. explicit constexpr weekday_last(const chrono::weekday& __val) noexcept
  289. : __wd{__val} {}
  290. constexpr chrono::weekday weekday() const noexcept { return __wd; }
  291. constexpr bool ok() const noexcept { return __wd.ok(); }
  292. };
  293. inline constexpr
  294. bool operator==(const weekday_last& __lhs, const weekday_last& __rhs) noexcept
  295. { return __lhs.weekday() == __rhs.weekday(); }
  296. inline constexpr
  297. bool operator!=(const weekday_last& __lhs, const weekday_last& __rhs) noexcept
  298. { return !(__lhs == __rhs); }
  299. inline constexpr
  300. weekday_indexed weekday::operator[](unsigned __index) const noexcept { return weekday_indexed{*this, __index}; }
  301. inline constexpr
  302. weekday_last weekday::operator[](last_spec) const noexcept { return weekday_last{*this}; }
  303. inline constexpr last_spec last{};
  304. inline constexpr weekday Sunday{0};
  305. inline constexpr weekday Monday{1};
  306. inline constexpr weekday Tuesday{2};
  307. inline constexpr weekday Wednesday{3};
  308. inline constexpr weekday Thursday{4};
  309. inline constexpr weekday Friday{5};
  310. inline constexpr weekday Saturday{6};
  311. inline constexpr month January{1};
  312. inline constexpr month February{2};
  313. inline constexpr month March{3};
  314. inline constexpr month April{4};
  315. inline constexpr month May{5};
  316. inline constexpr month June{6};
  317. inline constexpr month July{7};
  318. inline constexpr month August{8};
  319. inline constexpr month September{9};
  320. inline constexpr month October{10};
  321. inline constexpr month November{11};
  322. inline constexpr month December{12};
  323. class month_day {
  324. private:
  325. chrono::month __m;
  326. chrono::day __d;
  327. public:
  328. month_day() = default;
  329. constexpr month_day(const chrono::month& __mval, const chrono::day& __dval) noexcept
  330. : __m{__mval}, __d{__dval} {}
  331. inline constexpr chrono::month month() const noexcept { return __m; }
  332. inline constexpr chrono::day day() const noexcept { return __d; }
  333. constexpr bool ok() const noexcept;
  334. };
  335. inline constexpr
  336. bool month_day::ok() const noexcept
  337. {
  338. if (!__m.ok()) return false;
  339. const unsigned __dval = static_cast<unsigned>(__d);
  340. if (__dval < 1 || __dval > 31) return false;
  341. if (__dval <= 29) return true;
  342. // Now we've got either 30 or 31
  343. const unsigned __mval = static_cast<unsigned>(__m);
  344. if (__mval == 2) return false;
  345. if (__mval == 4 || __mval == 6 || __mval == 9 || __mval == 11)
  346. return __dval == 30;
  347. return true;
  348. }
  349. inline constexpr
  350. bool operator==(const month_day& __lhs, const month_day& __rhs) noexcept
  351. { return __lhs.month() == __rhs.month() && __lhs.day() == __rhs.day(); }
  352. inline constexpr
  353. bool operator!=(const month_day& __lhs, const month_day& __rhs) noexcept
  354. { return !(__lhs == __rhs); }
  355. inline constexpr
  356. month_day operator/(const month& __lhs, const day& __rhs) noexcept
  357. { return month_day{__lhs, __rhs}; }
  358. constexpr
  359. month_day operator/(const day& __lhs, const month& __rhs) noexcept
  360. { return __rhs / __lhs; }
  361. inline constexpr
  362. month_day operator/(const month& __lhs, int __rhs) noexcept
  363. { return __lhs / day(__rhs); }
  364. constexpr
  365. month_day operator/(int __lhs, const day& __rhs) noexcept
  366. { return month(__lhs) / __rhs; }
  367. constexpr
  368. month_day operator/(const day& __lhs, int __rhs) noexcept
  369. { return month(__rhs) / __lhs; }
  370. inline constexpr
  371. bool operator< (const month_day& __lhs, const month_day& __rhs) noexcept
  372. { return __lhs.month() != __rhs.month() ? __lhs.month() < __rhs.month() : __lhs.day() < __rhs.day(); }
  373. inline constexpr
  374. bool operator> (const month_day& __lhs, const month_day& __rhs) noexcept
  375. { return __rhs < __lhs; }
  376. inline constexpr
  377. bool operator<=(const month_day& __lhs, const month_day& __rhs) noexcept
  378. { return !(__rhs < __lhs);}
  379. inline constexpr
  380. bool operator>=(const month_day& __lhs, const month_day& __rhs) noexcept
  381. { return !(__lhs < __rhs); }
  382. class month_day_last {
  383. private:
  384. chrono::month __m;
  385. public:
  386. explicit constexpr month_day_last(const chrono::month& __val) noexcept
  387. : __m{__val} {}
  388. inline constexpr chrono::month month() const noexcept { return __m; }
  389. inline constexpr bool ok() const noexcept { return __m.ok(); }
  390. };
  391. inline constexpr
  392. bool operator==(const month_day_last& __lhs, const month_day_last& __rhs) noexcept
  393. { return __lhs.month() == __rhs.month(); }
  394. inline constexpr
  395. bool operator!=(const month_day_last& __lhs, const month_day_last& __rhs) noexcept
  396. { return !(__lhs == __rhs); }
  397. inline constexpr
  398. bool operator< (const month_day_last& __lhs, const month_day_last& __rhs) noexcept
  399. { return __lhs.month() < __rhs.month(); }
  400. inline constexpr
  401. bool operator> (const month_day_last& __lhs, const month_day_last& __rhs) noexcept
  402. { return __rhs < __lhs; }
  403. inline constexpr
  404. bool operator<=(const month_day_last& __lhs, const month_day_last& __rhs) noexcept
  405. { return !(__rhs < __lhs);}
  406. inline constexpr
  407. bool operator>=(const month_day_last& __lhs, const month_day_last& __rhs) noexcept
  408. { return !(__lhs < __rhs); }
  409. inline constexpr
  410. month_day_last operator/(const month& __lhs, last_spec) noexcept
  411. { return month_day_last{__lhs}; }
  412. inline constexpr
  413. month_day_last operator/(last_spec, const month& __rhs) noexcept
  414. { return month_day_last{__rhs}; }
  415. inline constexpr
  416. month_day_last operator/(int __lhs, last_spec) noexcept
  417. { return month_day_last{month(__lhs)}; }
  418. inline constexpr
  419. month_day_last operator/(last_spec, int __rhs) noexcept
  420. { return month_day_last{month(__rhs)}; }
  421. class month_weekday {
  422. private:
  423. chrono::month __m;
  424. chrono::weekday_indexed __wdi;
  425. public:
  426. constexpr month_weekday(const chrono::month& __mval, const chrono::weekday_indexed& __wdival) noexcept
  427. : __m{__mval}, __wdi{__wdival} {}
  428. inline constexpr chrono::month month() const noexcept { return __m; }
  429. inline constexpr chrono::weekday_indexed weekday_indexed() const noexcept { return __wdi; }
  430. inline constexpr bool ok() const noexcept { return __m.ok() && __wdi.ok(); }
  431. };
  432. inline constexpr
  433. bool operator==(const month_weekday& __lhs, const month_weekday& __rhs) noexcept
  434. { return __lhs.month() == __rhs.month() && __lhs.weekday_indexed() == __rhs.weekday_indexed(); }
  435. inline constexpr
  436. bool operator!=(const month_weekday& __lhs, const month_weekday& __rhs) noexcept
  437. { return !(__lhs == __rhs); }
  438. inline constexpr
  439. month_weekday operator/(const month& __lhs, const weekday_indexed& __rhs) noexcept
  440. { return month_weekday{__lhs, __rhs}; }
  441. inline constexpr
  442. month_weekday operator/(int __lhs, const weekday_indexed& __rhs) noexcept
  443. { return month_weekday{month(__lhs), __rhs}; }
  444. inline constexpr
  445. month_weekday operator/(const weekday_indexed& __lhs, const month& __rhs) noexcept
  446. { return month_weekday{__rhs, __lhs}; }
  447. inline constexpr
  448. month_weekday operator/(const weekday_indexed& __lhs, int __rhs) noexcept
  449. { return month_weekday{month(__rhs), __lhs}; }
  450. class month_weekday_last {
  451. chrono::month __m;
  452. chrono::weekday_last __wdl;
  453. public:
  454. constexpr month_weekday_last(const chrono::month& __mval, const chrono::weekday_last& __wdlval) noexcept
  455. : __m{__mval}, __wdl{__wdlval} {}
  456. inline constexpr chrono::month month() const noexcept { return __m; }
  457. inline constexpr chrono::weekday_last weekday_last() const noexcept { return __wdl; }
  458. inline constexpr bool ok() const noexcept { return __m.ok() && __wdl.ok(); }
  459. };
  460. inline constexpr
  461. bool operator==(const month_weekday_last& __lhs, const month_weekday_last& __rhs) noexcept
  462. { return __lhs.month() == __rhs.month() && __lhs.weekday_last() == __rhs.weekday_last(); }
  463. inline constexpr
  464. bool operator!=(const month_weekday_last& __lhs, const month_weekday_last& __rhs) noexcept
  465. { return !(__lhs == __rhs); }
  466. inline constexpr
  467. month_weekday_last operator/(const month& __lhs, const weekday_last& __rhs) noexcept
  468. { return month_weekday_last{__lhs, __rhs}; }
  469. inline constexpr
  470. month_weekday_last operator/(int __lhs, const weekday_last& __rhs) noexcept
  471. { return month_weekday_last{month(__lhs), __rhs}; }
  472. inline constexpr
  473. month_weekday_last operator/(const weekday_last& __lhs, const month& __rhs) noexcept
  474. { return month_weekday_last{__rhs, __lhs}; }
  475. inline constexpr
  476. month_weekday_last operator/(const weekday_last& __lhs, int __rhs) noexcept
  477. { return month_weekday_last{month(__rhs), __lhs}; }
  478. class year_month {
  479. chrono::year __y;
  480. chrono::month __m;
  481. public:
  482. year_month() = default;
  483. constexpr year_month(const chrono::year& __yval, const chrono::month& __mval) noexcept
  484. : __y{__yval}, __m{__mval} {}
  485. inline constexpr chrono::year year() const noexcept { return __y; }
  486. inline constexpr chrono::month month() const noexcept { return __m; }
  487. inline constexpr year_month& operator+=(const months& __dm) noexcept { this->__m += __dm; return *this; }
  488. inline constexpr year_month& operator-=(const months& __dm) noexcept { this->__m -= __dm; return *this; }
  489. inline constexpr year_month& operator+=(const years& __dy) noexcept { this->__y += __dy; return *this; }
  490. inline constexpr year_month& operator-=(const years& __dy) noexcept { this->__y -= __dy; return *this; }
  491. inline constexpr bool ok() const noexcept { return __y.ok() && __m.ok(); }
  492. };
  493. inline constexpr
  494. year_month operator/(const year& __y, const month& __m) noexcept { return year_month{__y, __m}; }
  495. inline constexpr
  496. year_month operator/(const year& __y, int __m) noexcept { return year_month{__y, month(__m)}; }
  497. inline constexpr
  498. bool operator==(const year_month& __lhs, const year_month& __rhs) noexcept
  499. { return __lhs.year() == __rhs.year() && __lhs.month() == __rhs.month(); }
  500. inline constexpr
  501. bool operator!=(const year_month& __lhs, const year_month& __rhs) noexcept
  502. { return !(__lhs == __rhs); }
  503. inline constexpr
  504. bool operator< (const year_month& __lhs, const year_month& __rhs) noexcept
  505. { return __lhs.year() != __rhs.year() ? __lhs.year() < __rhs.year() : __lhs.month() < __rhs.month(); }
  506. inline constexpr
  507. bool operator> (const year_month& __lhs, const year_month& __rhs) noexcept
  508. { return __rhs < __lhs; }
  509. inline constexpr
  510. bool operator<=(const year_month& __lhs, const year_month& __rhs) noexcept
  511. { return !(__rhs < __lhs);}
  512. inline constexpr
  513. bool operator>=(const year_month& __lhs, const year_month& __rhs) noexcept
  514. { return !(__lhs < __rhs); }
  515. constexpr year_month operator+(const year_month& __lhs, const months& __rhs) noexcept
  516. {
  517. int __dmi = static_cast<int>(static_cast<unsigned>(__lhs.month())) - 1 + __rhs.count();
  518. const int __dy = (__dmi >= 0 ? __dmi : __dmi-11) / 12;
  519. __dmi = __dmi - __dy * 12 + 1;
  520. return (__lhs.year() + years(__dy)) / month(static_cast<unsigned>(__dmi));
  521. }
  522. constexpr year_month operator+(const months& __lhs, const year_month& __rhs) noexcept
  523. { return __rhs + __lhs; }
  524. constexpr year_month operator+(const year_month& __lhs, const years& __rhs) noexcept
  525. { return (__lhs.year() + __rhs) / __lhs.month(); }
  526. constexpr year_month operator+(const years& __lhs, const year_month& __rhs) noexcept
  527. { return __rhs + __lhs; }
  528. constexpr months operator-(const year_month& __lhs, const year_month& __rhs) noexcept
  529. { return (__lhs.year() - __rhs.year()) + months(static_cast<unsigned>(__lhs.month()) - static_cast<unsigned>(__rhs.month())); }
  530. constexpr year_month operator-(const year_month& __lhs, const months& __rhs) noexcept
  531. { return __lhs + -__rhs; }
  532. constexpr year_month operator-(const year_month& __lhs, const years& __rhs) noexcept
  533. { return __lhs + -__rhs; }
  534. class year_month_day_last;
  535. class year_month_day {
  536. private:
  537. chrono::year __y;
  538. chrono::month __m;
  539. chrono::day __d;
  540. public:
  541. year_month_day() = default;
  542. inline constexpr year_month_day(
  543. const chrono::year& __yval, const chrono::month& __mval, const chrono::day& __dval) noexcept
  544. : __y{__yval}, __m{__mval}, __d{__dval} {}
  545. constexpr year_month_day(const year_month_day_last& __ymdl) noexcept;
  546. inline constexpr year_month_day(const sys_days& __sysd) noexcept
  547. : year_month_day(__from_days(__sysd.time_since_epoch())) {}
  548. inline explicit constexpr year_month_day(const local_days& __locd) noexcept
  549. : year_month_day(__from_days(__locd.time_since_epoch())) {}
  550. constexpr year_month_day& operator+=(const months& __dm) noexcept;
  551. constexpr year_month_day& operator-=(const months& __dm) noexcept;
  552. constexpr year_month_day& operator+=(const years& __dy) noexcept;
  553. constexpr year_month_day& operator-=(const years& __dy) noexcept;
  554. inline constexpr chrono::year year() const noexcept { return __y; }
  555. inline constexpr chrono::month month() const noexcept { return __m; }
  556. inline constexpr chrono::day day() const noexcept { return __d; }
  557. inline constexpr operator sys_days() const noexcept { return sys_days{__to_days()}; }
  558. inline explicit constexpr operator local_days() const noexcept { return local_days{__to_days()}; }
  559. constexpr bool ok() const noexcept;
  560. static constexpr year_month_day __from_days(days __d) noexcept;
  561. constexpr days __to_days() const noexcept;
  562. };
  563. // https://howardhinnant.github.io/date_algorithms.html#civil_from_days
  564. inline constexpr
  565. year_month_day
  566. year_month_day::__from_days(days __d) noexcept
  567. {
  568. static_assert(numeric_limits<unsigned>::digits >= 18, "");
  569. static_assert(numeric_limits<int>::digits >= 20 , "");
  570. const int __z = __d.count() + 719468;
  571. const int __era = (__z >= 0 ? __z : __z - 146096) / 146097;
  572. const unsigned __doe = static_cast<unsigned>(__z - __era * 146097); // [0, 146096]
  573. const unsigned __yoe = (__doe - __doe/1460 + __doe/36524 - __doe/146096) / 365; // [0, 399]
  574. const int __yr = static_cast<int>(__yoe) + __era * 400;
  575. const unsigned __doy = __doe - (365 * __yoe + __yoe/4 - __yoe/100); // [0, 365]
  576. const unsigned __mp = (5 * __doy + 2)/153; // [0, 11]
  577. const unsigned __dy = __doy - (153 * __mp + 2)/5 + 1; // [1, 31]
  578. const unsigned __mth = __mp + (__mp < 10 ? 3 : -9); // [1, 12]
  579. return year_month_day{chrono::year{__yr + (__mth <= 2)}, chrono::month{__mth}, chrono::day{__dy}};
  580. }
  581. // https://howardhinnant.github.io/date_algorithms.html#days_from_civil
  582. inline constexpr days year_month_day::__to_days() const noexcept
  583. {
  584. static_assert(numeric_limits<unsigned>::digits >= 18, "");
  585. static_assert(numeric_limits<int>::digits >= 20 , "");
  586. const int __yr = static_cast<int>(__y) - (__m <= February);
  587. const unsigned __mth = static_cast<unsigned>(__m);
  588. const unsigned __dy = static_cast<unsigned>(__d);
  589. const int __era = (__yr >= 0 ? __yr : __yr - 399) / 400;
  590. const unsigned __yoe = static_cast<unsigned>(__yr - __era * 400); // [0, 399]
  591. const unsigned __doy = (153 * (__mth + (__mth > 2 ? -3 : 9)) + 2) / 5 + __dy-1; // [0, 365]
  592. const unsigned __doe = __yoe * 365 + __yoe/4 - __yoe/100 + __doy; // [0, 146096]
  593. return days{__era * 146097 + static_cast<int>(__doe) - 719468};
  594. }
  595. inline constexpr
  596. bool operator==(const year_month_day& __lhs, const year_month_day& __rhs) noexcept
  597. { return __lhs.year() == __rhs.year() && __lhs.month() == __rhs.month() && __lhs.day() == __rhs.day(); }
  598. inline constexpr
  599. bool operator!=(const year_month_day& __lhs, const year_month_day& __rhs) noexcept
  600. { return !(__lhs == __rhs); }
  601. inline constexpr
  602. bool operator< (const year_month_day& __lhs, const year_month_day& __rhs) noexcept
  603. {
  604. if (__lhs.year() < __rhs.year()) return true;
  605. if (__lhs.year() > __rhs.year()) return false;
  606. if (__lhs.month() < __rhs.month()) return true;
  607. if (__lhs.month() > __rhs.month()) return false;
  608. return __lhs.day() < __rhs.day();
  609. }
  610. inline constexpr
  611. bool operator> (const year_month_day& __lhs, const year_month_day& __rhs) noexcept
  612. { return __rhs < __lhs; }
  613. inline constexpr
  614. bool operator<=(const year_month_day& __lhs, const year_month_day& __rhs) noexcept
  615. { return !(__rhs < __lhs);}
  616. inline constexpr
  617. bool operator>=(const year_month_day& __lhs, const year_month_day& __rhs) noexcept
  618. { return !(__lhs < __rhs); }
  619. inline constexpr
  620. year_month_day operator/(const year_month& __lhs, const day& __rhs) noexcept
  621. { return year_month_day{__lhs.year(), __lhs.month(), __rhs}; }
  622. inline constexpr
  623. year_month_day operator/(const year_month& __lhs, int __rhs) noexcept
  624. { return __lhs / day(__rhs); }
  625. inline constexpr
  626. year_month_day operator/(const year& __lhs, const month_day& __rhs) noexcept
  627. { return __lhs / __rhs.month() / __rhs.day(); }
  628. inline constexpr
  629. year_month_day operator/(int __lhs, const month_day& __rhs) noexcept
  630. { return year(__lhs) / __rhs; }
  631. inline constexpr
  632. year_month_day operator/(const month_day& __lhs, const year& __rhs) noexcept
  633. { return __rhs / __lhs; }
  634. inline constexpr
  635. year_month_day operator/(const month_day& __lhs, int __rhs) noexcept
  636. { return year(__rhs) / __lhs; }
  637. inline constexpr
  638. year_month_day operator+(const year_month_day& __lhs, const months& __rhs) noexcept
  639. { return (__lhs.year()/__lhs.month() + __rhs)/__lhs.day(); }
  640. inline constexpr
  641. year_month_day operator+(const months& __lhs, const year_month_day& __rhs) noexcept
  642. { return __rhs + __lhs; }
  643. inline constexpr
  644. year_month_day operator-(const year_month_day& __lhs, const months& __rhs) noexcept
  645. { return __lhs + -__rhs; }
  646. inline constexpr
  647. year_month_day operator+(const year_month_day& __lhs, const years& __rhs) noexcept
  648. { return (__lhs.year() + __rhs) / __lhs.month() / __lhs.day(); }
  649. inline constexpr
  650. year_month_day operator+(const years& __lhs, const year_month_day& __rhs) noexcept
  651. { return __rhs + __lhs; }
  652. inline constexpr
  653. year_month_day operator-(const year_month_day& __lhs, const years& __rhs) noexcept
  654. { return __lhs + -__rhs; }
  655. inline constexpr year_month_day& year_month_day::operator+=(const months& __dm) noexcept { *this = *this + __dm; return *this; }
  656. inline constexpr year_month_day& year_month_day::operator-=(const months& __dm) noexcept { *this = *this - __dm; return *this; }
  657. inline constexpr year_month_day& year_month_day::operator+=(const years& __dy) noexcept { *this = *this + __dy; return *this; }
  658. inline constexpr year_month_day& year_month_day::operator-=(const years& __dy) noexcept { *this = *this - __dy; return *this; }
  659. class year_month_day_last {
  660. private:
  661. chrono::year __y;
  662. chrono::month_day_last __mdl;
  663. public:
  664. constexpr year_month_day_last(const year& __yval, const month_day_last& __mdlval) noexcept
  665. : __y{__yval}, __mdl{__mdlval} {}
  666. constexpr year_month_day_last& operator+=(const months& __m) noexcept;
  667. constexpr year_month_day_last& operator-=(const months& __m) noexcept;
  668. constexpr year_month_day_last& operator+=(const years& __y) noexcept;
  669. constexpr year_month_day_last& operator-=(const years& __y) noexcept;
  670. inline constexpr chrono::year year() const noexcept { return __y; }
  671. inline constexpr chrono::month month() const noexcept { return __mdl.month(); }
  672. inline constexpr chrono::month_day_last month_day_last() const noexcept { return __mdl; }
  673. constexpr chrono::day day() const noexcept;
  674. inline constexpr operator sys_days() const noexcept { return sys_days{year()/month()/day()}; }
  675. inline explicit constexpr operator local_days() const noexcept { return local_days{year()/month()/day()}; }
  676. inline constexpr bool ok() const noexcept { return __y.ok() && __mdl.ok(); }
  677. };
  678. inline constexpr
  679. chrono::day year_month_day_last::day() const noexcept
  680. {
  681. constexpr chrono::day __d[] =
  682. {
  683. chrono::day(31), chrono::day(28), chrono::day(31),
  684. chrono::day(30), chrono::day(31), chrono::day(30),
  685. chrono::day(31), chrono::day(31), chrono::day(30),
  686. chrono::day(31), chrono::day(30), chrono::day(31)
  687. };
  688. return (month() != February || !__y.is_leap()) && month().ok() ?
  689. __d[static_cast<unsigned>(month()) - 1] : chrono::day{29};
  690. }
  691. inline constexpr
  692. bool operator==(const year_month_day_last& __lhs, const year_month_day_last& __rhs) noexcept
  693. { return __lhs.year() == __rhs.year() && __lhs.month_day_last() == __rhs.month_day_last(); }
  694. inline constexpr
  695. bool operator!=(const year_month_day_last& __lhs, const year_month_day_last& __rhs) noexcept
  696. { return !(__lhs == __rhs); }
  697. inline constexpr
  698. bool operator< (const year_month_day_last& __lhs, const year_month_day_last& __rhs) noexcept
  699. {
  700. if (__lhs.year() < __rhs.year()) return true;
  701. if (__lhs.year() > __rhs.year()) return false;
  702. return __lhs.month_day_last() < __rhs.month_day_last();
  703. }
  704. inline constexpr
  705. bool operator> (const year_month_day_last& __lhs, const year_month_day_last& __rhs) noexcept
  706. { return __rhs < __lhs; }
  707. inline constexpr
  708. bool operator<=(const year_month_day_last& __lhs, const year_month_day_last& __rhs) noexcept
  709. { return !(__rhs < __lhs);}
  710. inline constexpr
  711. bool operator>=(const year_month_day_last& __lhs, const year_month_day_last& __rhs) noexcept
  712. { return !(__lhs < __rhs); }
  713. inline constexpr year_month_day_last operator/(const year_month& __lhs, last_spec) noexcept
  714. { return year_month_day_last{__lhs.year(), month_day_last{__lhs.month()}}; }
  715. inline constexpr year_month_day_last operator/(const year& __lhs, const month_day_last& __rhs) noexcept
  716. { return year_month_day_last{__lhs, __rhs}; }
  717. inline constexpr year_month_day_last operator/(int __lhs, const month_day_last& __rhs) noexcept
  718. { return year_month_day_last{year{__lhs}, __rhs}; }
  719. inline constexpr year_month_day_last operator/(const month_day_last& __lhs, const year& __rhs) noexcept
  720. { return __rhs / __lhs; }
  721. inline constexpr year_month_day_last operator/(const month_day_last& __lhs, int __rhs) noexcept
  722. { return year{__rhs} / __lhs; }
  723. inline constexpr
  724. year_month_day_last operator+(const year_month_day_last& __lhs, const months& __rhs) noexcept
  725. { return (__lhs.year() / __lhs.month() + __rhs) / last; }
  726. inline constexpr
  727. year_month_day_last operator+(const months& __lhs, const year_month_day_last& __rhs) noexcept
  728. { return __rhs + __lhs; }
  729. inline constexpr
  730. year_month_day_last operator-(const year_month_day_last& __lhs, const months& __rhs) noexcept
  731. { return __lhs + (-__rhs); }
  732. inline constexpr
  733. year_month_day_last operator+(const year_month_day_last& __lhs, const years& __rhs) noexcept
  734. { return year_month_day_last{__lhs.year() + __rhs, __lhs.month_day_last()}; }
  735. inline constexpr
  736. year_month_day_last operator+(const years& __lhs, const year_month_day_last& __rhs) noexcept
  737. { return __rhs + __lhs; }
  738. inline constexpr
  739. year_month_day_last operator-(const year_month_day_last& __lhs, const years& __rhs) noexcept
  740. { return __lhs + (-__rhs); }
  741. inline constexpr year_month_day_last& year_month_day_last::operator+=(const months& __dm) noexcept { *this = *this + __dm; return *this; }
  742. inline constexpr year_month_day_last& year_month_day_last::operator-=(const months& __dm) noexcept { *this = *this - __dm; return *this; }
  743. inline constexpr year_month_day_last& year_month_day_last::operator+=(const years& __dy) noexcept { *this = *this + __dy; return *this; }
  744. inline constexpr year_month_day_last& year_month_day_last::operator-=(const years& __dy) noexcept { *this = *this - __dy; return *this; }
  745. inline constexpr year_month_day::year_month_day(const year_month_day_last& __ymdl) noexcept
  746. : __y{__ymdl.year()}, __m{__ymdl.month()}, __d{__ymdl.day()} {}
  747. inline constexpr bool year_month_day::ok() const noexcept
  748. {
  749. if (!__y.ok() || !__m.ok()) return false;
  750. return chrono::day{1} <= __d && __d <= (__y / __m / last).day();
  751. }
  752. class year_month_weekday {
  753. chrono::year __y;
  754. chrono::month __m;
  755. chrono::weekday_indexed __wdi;
  756. public:
  757. year_month_weekday() = default;
  758. constexpr year_month_weekday(const chrono::year& __yval, const chrono::month& __mval,
  759. const chrono::weekday_indexed& __wdival) noexcept
  760. : __y{__yval}, __m{__mval}, __wdi{__wdival} {}
  761. constexpr year_month_weekday(const sys_days& __sysd) noexcept
  762. : year_month_weekday(__from_days(__sysd.time_since_epoch())) {}
  763. inline explicit constexpr year_month_weekday(const local_days& __locd) noexcept
  764. : year_month_weekday(__from_days(__locd.time_since_epoch())) {}
  765. constexpr year_month_weekday& operator+=(const months& m) noexcept;
  766. constexpr year_month_weekday& operator-=(const months& m) noexcept;
  767. constexpr year_month_weekday& operator+=(const years& y) noexcept;
  768. constexpr year_month_weekday& operator-=(const years& y) noexcept;
  769. inline constexpr chrono::year year() const noexcept { return __y; }
  770. inline constexpr chrono::month month() const noexcept { return __m; }
  771. inline constexpr chrono::weekday weekday() const noexcept { return __wdi.weekday(); }
  772. inline constexpr unsigned index() const noexcept { return __wdi.index(); }
  773. inline constexpr chrono::weekday_indexed weekday_indexed() const noexcept { return __wdi; }
  774. inline constexpr operator sys_days() const noexcept { return sys_days{__to_days()}; }
  775. inline explicit constexpr operator local_days() const noexcept { return local_days{__to_days()}; }
  776. inline constexpr bool ok() const noexcept
  777. {
  778. if (!__y.ok() || !__m.ok() || !__wdi.ok()) return false;
  779. if (__wdi.index() <= 4) return true;
  780. auto __nth_weekday_day =
  781. __wdi.weekday() -
  782. chrono::weekday{static_cast<sys_days>(__y / __m / 1)} +
  783. days{(__wdi.index() - 1) * 7 + 1};
  784. return static_cast<unsigned>(__nth_weekday_day.count()) <=
  785. static_cast<unsigned>((__y / __m / last).day());
  786. }
  787. static constexpr year_month_weekday __from_days(days __d) noexcept;
  788. constexpr days __to_days() const noexcept;
  789. };
  790. inline constexpr
  791. year_month_weekday year_month_weekday::__from_days(days __d) noexcept
  792. {
  793. const sys_days __sysd{__d};
  794. const chrono::weekday __wd = chrono::weekday(__sysd);
  795. const year_month_day __ymd = year_month_day(__sysd);
  796. return year_month_weekday{__ymd.year(), __ymd.month(),
  797. __wd[(static_cast<unsigned>(__ymd.day())-1)/7+1]};
  798. }
  799. inline constexpr
  800. days year_month_weekday::__to_days() const noexcept
  801. {
  802. const sys_days __sysd = sys_days(__y/__m/1);
  803. return (__sysd + (__wdi.weekday() - chrono::weekday(__sysd) + days{(__wdi.index()-1)*7}))
  804. .time_since_epoch();
  805. }
  806. inline constexpr
  807. bool operator==(const year_month_weekday& __lhs, const year_month_weekday& __rhs) noexcept
  808. { return __lhs.year() == __rhs.year() && __lhs.month() == __rhs.month() && __lhs.weekday_indexed() == __rhs.weekday_indexed(); }
  809. inline constexpr
  810. bool operator!=(const year_month_weekday& __lhs, const year_month_weekday& __rhs) noexcept
  811. { return !(__lhs == __rhs); }
  812. inline constexpr
  813. year_month_weekday operator/(const year_month& __lhs, const weekday_indexed& __rhs) noexcept
  814. { return year_month_weekday{__lhs.year(), __lhs.month(), __rhs}; }
  815. inline constexpr
  816. year_month_weekday operator/(const year& __lhs, const month_weekday& __rhs) noexcept
  817. { return year_month_weekday{__lhs, __rhs.month(), __rhs.weekday_indexed()}; }
  818. inline constexpr
  819. year_month_weekday operator/(int __lhs, const month_weekday& __rhs) noexcept
  820. { return year(__lhs) / __rhs; }
  821. inline constexpr
  822. year_month_weekday operator/(const month_weekday& __lhs, const year& __rhs) noexcept
  823. { return __rhs / __lhs; }
  824. inline constexpr
  825. year_month_weekday operator/(const month_weekday& __lhs, int __rhs) noexcept
  826. { return year(__rhs) / __lhs; }
  827. inline constexpr
  828. year_month_weekday operator+(const year_month_weekday& __lhs, const months& __rhs) noexcept
  829. { return (__lhs.year() / __lhs.month() + __rhs) / __lhs.weekday_indexed(); }
  830. inline constexpr
  831. year_month_weekday operator+(const months& __lhs, const year_month_weekday& __rhs) noexcept
  832. { return __rhs + __lhs; }
  833. inline constexpr
  834. year_month_weekday operator-(const year_month_weekday& __lhs, const months& __rhs) noexcept
  835. { return __lhs + (-__rhs); }
  836. inline constexpr
  837. year_month_weekday operator+(const year_month_weekday& __lhs, const years& __rhs) noexcept
  838. { return year_month_weekday{__lhs.year() + __rhs, __lhs.month(), __lhs.weekday_indexed()}; }
  839. inline constexpr
  840. year_month_weekday operator+(const years& __lhs, const year_month_weekday& __rhs) noexcept
  841. { return __rhs + __lhs; }
  842. inline constexpr
  843. year_month_weekday operator-(const year_month_weekday& __lhs, const years& __rhs) noexcept
  844. { return __lhs + (-__rhs); }
  845. inline constexpr year_month_weekday& year_month_weekday::operator+=(const months& __dm) noexcept { *this = *this + __dm; return *this; }
  846. inline constexpr year_month_weekday& year_month_weekday::operator-=(const months& __dm) noexcept { *this = *this - __dm; return *this; }
  847. inline constexpr year_month_weekday& year_month_weekday::operator+=(const years& __dy) noexcept { *this = *this + __dy; return *this; }
  848. inline constexpr year_month_weekday& year_month_weekday::operator-=(const years& __dy) noexcept { *this = *this - __dy; return *this; }
  849. class year_month_weekday_last {
  850. private:
  851. chrono::year __y;
  852. chrono::month __m;
  853. chrono::weekday_last __wdl;
  854. public:
  855. constexpr year_month_weekday_last(const chrono::year& __yval, const chrono::month& __mval,
  856. const chrono::weekday_last& __wdlval) noexcept
  857. : __y{__yval}, __m{__mval}, __wdl{__wdlval} {}
  858. constexpr year_month_weekday_last& operator+=(const months& __dm) noexcept;
  859. constexpr year_month_weekday_last& operator-=(const months& __dm) noexcept;
  860. constexpr year_month_weekday_last& operator+=(const years& __dy) noexcept;
  861. constexpr year_month_weekday_last& operator-=(const years& __dy) noexcept;
  862. inline constexpr chrono::year year() const noexcept { return __y; }
  863. inline constexpr chrono::month month() const noexcept { return __m; }
  864. inline constexpr chrono::weekday weekday() const noexcept { return __wdl.weekday(); }
  865. inline constexpr chrono::weekday_last weekday_last() const noexcept { return __wdl; }
  866. inline constexpr operator sys_days() const noexcept { return sys_days{__to_days()}; }
  867. inline explicit constexpr operator local_days() const noexcept { return local_days{__to_days()}; }
  868. inline constexpr bool ok() const noexcept { return __y.ok() && __m.ok() && __wdl.ok(); }
  869. constexpr days __to_days() const noexcept;
  870. };
  871. inline constexpr
  872. days year_month_weekday_last::__to_days() const noexcept
  873. {
  874. const sys_days __last = sys_days{__y/__m/last};
  875. return (__last - (chrono::weekday{__last} - __wdl.weekday())).time_since_epoch();
  876. }
  877. inline constexpr
  878. bool operator==(const year_month_weekday_last& __lhs, const year_month_weekday_last& __rhs) noexcept
  879. { return __lhs.year() == __rhs.year() && __lhs.month() == __rhs.month() && __lhs.weekday_last() == __rhs.weekday_last(); }
  880. inline constexpr
  881. bool operator!=(const year_month_weekday_last& __lhs, const year_month_weekday_last& __rhs) noexcept
  882. { return !(__lhs == __rhs); }
  883. inline constexpr
  884. year_month_weekday_last operator/(const year_month& __lhs, const weekday_last& __rhs) noexcept
  885. { return year_month_weekday_last{__lhs.year(), __lhs.month(), __rhs}; }
  886. inline constexpr
  887. year_month_weekday_last operator/(const year& __lhs, const month_weekday_last& __rhs) noexcept
  888. { return year_month_weekday_last{__lhs, __rhs.month(), __rhs.weekday_last()}; }
  889. inline constexpr
  890. year_month_weekday_last operator/(int __lhs, const month_weekday_last& __rhs) noexcept
  891. { return year(__lhs) / __rhs; }
  892. inline constexpr
  893. year_month_weekday_last operator/(const month_weekday_last& __lhs, const year& __rhs) noexcept
  894. { return __rhs / __lhs; }
  895. inline constexpr
  896. year_month_weekday_last operator/(const month_weekday_last& __lhs, int __rhs) noexcept
  897. { return year(__rhs) / __lhs; }
  898. inline constexpr
  899. year_month_weekday_last operator+(const year_month_weekday_last& __lhs, const months& __rhs) noexcept
  900. { return (__lhs.year() / __lhs.month() + __rhs) / __lhs.weekday_last(); }
  901. inline constexpr
  902. year_month_weekday_last operator+(const months& __lhs, const year_month_weekday_last& __rhs) noexcept
  903. { return __rhs + __lhs; }
  904. inline constexpr
  905. year_month_weekday_last operator-(const year_month_weekday_last& __lhs, const months& __rhs) noexcept
  906. { return __lhs + (-__rhs); }
  907. inline constexpr
  908. year_month_weekday_last operator+(const year_month_weekday_last& __lhs, const years& __rhs) noexcept
  909. { return year_month_weekday_last{__lhs.year() + __rhs, __lhs.month(), __lhs.weekday_last()}; }
  910. inline constexpr
  911. year_month_weekday_last operator+(const years& __lhs, const year_month_weekday_last& __rhs) noexcept
  912. { return __rhs + __lhs; }
  913. inline constexpr
  914. year_month_weekday_last operator-(const year_month_weekday_last& __lhs, const years& __rhs) noexcept
  915. { return __lhs + (-__rhs); }
  916. inline constexpr year_month_weekday_last& year_month_weekday_last::operator+=(const months& __dm) noexcept { *this = *this + __dm; return *this; }
  917. inline constexpr year_month_weekday_last& year_month_weekday_last::operator-=(const months& __dm) noexcept { *this = *this - __dm; return *this; }
  918. inline constexpr year_month_weekday_last& year_month_weekday_last::operator+=(const years& __dy) noexcept { *this = *this + __dy; return *this; }
  919. inline constexpr year_month_weekday_last& year_month_weekday_last::operator-=(const years& __dy) noexcept { *this = *this - __dy; return *this; }
  920. template <class _Duration>
  921. class hh_mm_ss
  922. {
  923. private:
  924. static_assert(__is_duration<_Duration>::value, "template parameter of hh_mm_ss must be a std::chrono::duration");
  925. using __CommonType = common_type_t<_Duration, chrono::seconds>;
  926. static constexpr uint64_t __pow10(unsigned __exp)
  927. {
  928. uint64_t __ret = 1;
  929. for (unsigned __i = 0; __i < __exp; ++__i)
  930. __ret *= 10U;
  931. return __ret;
  932. }
  933. static constexpr unsigned __width(uint64_t __n, uint64_t __d = 10, unsigned __w = 0)
  934. {
  935. if (__n >= 2 && __d != 0 && __w < 19)
  936. return 1 + __width(__n, __d % __n * 10, __w+1);
  937. return 0;
  938. }
  939. public:
  940. static unsigned constexpr fractional_width = __width(__CommonType::period::den) < 19 ?
  941. __width(__CommonType::period::den) : 6u;
  942. using precision = duration<typename __CommonType::rep, ratio<1, __pow10(fractional_width)>>;
  943. constexpr hh_mm_ss() noexcept : hh_mm_ss{_Duration::zero()} {}
  944. constexpr explicit hh_mm_ss(_Duration __d) noexcept :
  945. __is_neg(__d < _Duration(0)),
  946. __h(duration_cast<chrono::hours> (abs(__d))),
  947. __m(duration_cast<chrono::minutes>(abs(__d) - hours())),
  948. __s(duration_cast<chrono::seconds>(abs(__d) - hours() - minutes())),
  949. __f(duration_cast<precision> (abs(__d) - hours() - minutes() - seconds()))
  950. {}
  951. constexpr bool is_negative() const noexcept { return __is_neg; }
  952. constexpr chrono::hours hours() const noexcept { return __h; }
  953. constexpr chrono::minutes minutes() const noexcept { return __m; }
  954. constexpr chrono::seconds seconds() const noexcept { return __s; }
  955. constexpr precision subseconds() const noexcept { return __f; }
  956. constexpr precision to_duration() const noexcept
  957. {
  958. auto __dur = __h + __m + __s + __f;
  959. return __is_neg ? -__dur : __dur;
  960. }
  961. constexpr explicit operator precision() const noexcept { return to_duration(); }
  962. private:
  963. bool __is_neg;
  964. chrono::hours __h;
  965. chrono::minutes __m;
  966. chrono::seconds __s;
  967. precision __f;
  968. };
  969. constexpr bool is_am(const hours& __h) noexcept { return __h >= hours( 0) && __h < hours(12); }
  970. constexpr bool is_pm(const hours& __h) noexcept { return __h >= hours(12) && __h < hours(24); }
  971. constexpr hours make12(const hours& __h) noexcept
  972. {
  973. if (__h == hours( 0)) return hours(12);
  974. else if (__h <= hours(12)) return __h;
  975. else return __h - hours(12);
  976. }
  977. constexpr hours make24(const hours& __h, bool __is_pm) noexcept
  978. {
  979. if (__is_pm)
  980. return __h == hours(12) ? __h : __h + hours(12);
  981. else
  982. return __h == hours(12) ? hours(0) : __h;
  983. }
  984. } // namespace chrono
  985. #ifdef _LIBCPP_COMPILER_MSVC
  986. #pragma warning ( push )
  987. #pragma warning ( disable : 4455)
  988. #endif
  989. inline namespace literals
  990. {
  991. inline namespace chrono_literals
  992. {
  993. constexpr chrono::day operator ""d(unsigned long long __d) noexcept
  994. {
  995. return chrono::day(static_cast<unsigned>(__d));
  996. }
  997. constexpr chrono::year operator ""y(unsigned long long __y) noexcept
  998. {
  999. return chrono::year(static_cast<int>(__y));
  1000. }
  1001. } // namespace chrono_literals
  1002. } // namespace literals
  1003. #ifdef _LIBCPP_COMPILER_MSVC
  1004. #pragma warning ( pop )
  1005. #endif
  1006. namespace chrono { // hoist the literals into namespace std::chrono
  1007. using namespace literals::chrono_literals;
  1008. } // namespace chrono
  1009. _LIBCPP_END_NAMESPACE_STD
  1010. #endif // _LIBCPP_STD_VER > 17
  1011. _LIBCPP_POP_MACROS
  1012. #endif // _LIBCPP___CHRONO_CALENDAR_H