1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 // UNSUPPORTED: c++03, c++11, c++14, c++17
9
10 // <chrono>
11 // class month_weekday;
12
13 // constexpr month_weekday
14 // operator/(const month& m, const weekday_indexed& wdi) noexcept;
15 // Returns: {m, wdi}.
16 //
17 // constexpr month_weekday
18 // operator/(int m, const weekday_indexed& wdi) noexcept;
19 // Returns: month(m) / wdi.
20 //
21 // constexpr month_weekday
22 // operator/(const weekday_indexed& wdi, const month& m) noexcept;
23 // Returns: m / wdi. constexpr month_weekday
24 //
25 // constexpr month_weekday
26 // operator/(const weekday_indexed& wdi, int m) noexcept;
27 // Returns: month(m) / wdi.
28
29 //
30 // [Example:
31 // constexpr auto mwd = February/Tuesday[3]; // mwd is the third Tuesday of February of an as yet unspecified year
32 // static_assert(mwd.month() == February);
33 // static_assert(mwd.weekday_indexed() == Tuesday[3]);
34 // -end example]
35
36 #include <chrono>
37 #include <type_traits>
38 #include <cassert>
39
40 #include "test_macros.h"
41
main(int,char **)42 int main(int, char**)
43 {
44 using month_weekday = std::chrono::month_weekday;
45 using month = std::chrono::month;
46 using weekday = std::chrono::weekday;
47 using weekday_indexed = std::chrono::weekday_indexed;
48
49 constexpr weekday Tuesday = std::chrono::Tuesday;
50 constexpr month February = std::chrono::February;
51
52 { // operator/(const month& m, const weekday_indexed& wdi) (and switched)
53 ASSERT_NOEXCEPT (February/Tuesday[2]);
54 ASSERT_SAME_TYPE(month_weekday, decltype(February/Tuesday[2]));
55 ASSERT_NOEXCEPT (Tuesday[2]/February);
56 ASSERT_SAME_TYPE(month_weekday, decltype(Tuesday[2]/February));
57
58 // Run the example
59 {
60 constexpr month_weekday wdi = February/Tuesday[3];
61 static_assert(wdi.month() == February, "");
62 static_assert(wdi.weekday_indexed() == Tuesday[3], "");
63 }
64
65 for (int i = 1; i <= 12; ++i)
66 for (unsigned j = 0; j <= 6; ++j)
67 for (unsigned k = 1; k <= 5; ++k)
68 {
69 month m(i);
70 weekday_indexed wdi = weekday{j}[k];
71 month_weekday mwd1 = m/wdi;
72 month_weekday mwd2 = wdi/m;
73 assert(mwd1.month() == m);
74 assert(mwd1.weekday_indexed() == wdi);
75 assert(mwd2.month() == m);
76 assert(mwd2.weekday_indexed() == wdi);
77 assert(mwd1 == mwd2);
78 }
79 }
80
81
82 { // operator/(int m, const weekday_indexed& wdi) (and switched)
83 ASSERT_NOEXCEPT (2/Tuesday[2]);
84 ASSERT_SAME_TYPE(month_weekday, decltype(2/Tuesday[2]));
85 ASSERT_NOEXCEPT (Tuesday[2]/2);
86 ASSERT_SAME_TYPE(month_weekday, decltype(Tuesday[2]/2));
87
88 // Run the example
89 {
90 constexpr month_weekday wdi = 2/Tuesday[3];
91 static_assert(wdi.month() == February, "");
92 static_assert(wdi.weekday_indexed() == Tuesday[3], "");
93 }
94
95 for (int i = 1; i <= 12; ++i)
96 for (unsigned j = 0; j <= 6; ++j)
97 for (unsigned k = 1; k <= 5; ++k)
98 {
99 weekday_indexed wdi = weekday{j}[k];
100 month_weekday mwd1 = i/wdi;
101 month_weekday mwd2 = wdi/i;
102 assert(mwd1.month() == month(i));
103 assert(mwd1.weekday_indexed() == wdi);
104 assert(mwd2.month() == month(i));
105 assert(mwd2.weekday_indexed() == wdi);
106 assert(mwd1 == mwd2);
107 }
108 }
109
110 return 0;
111 }
112