1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is dual licensed under the MIT and the University of Illinois Open
// Source Licenses. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++98, c++03, c++11, c++14, c++17
// <chrono>
// class year_month_day_last;
// constexpr year_month_day_last
// operator/(const year_month& ym, last_spec) noexcept;
// Returns: {ym.year(), month_day_last{ym.month()}}.
// constexpr year_month_day_last
// operator/(const year& y, const month_day_last& mdl) noexcept;
// Returns: {y, mdl}.
//
// constexpr year_month_day_last
// operator/(int y, const month_day_last& mdl) noexcept;
// Returns: year(y) / mdl.
//
// constexpr year_month_day_last
// operator/(const month_day_last& mdl, const year& y) noexcept;
// Returns: y / mdl.
//
// constexpr year_month_day_last
// operator/(const month_day_last& mdl, int y) noexcept;
// Returns: year(y) / mdl.
#include <chrono>
#include <type_traits>
#include <cassert>
#include "test_macros.h"
#include "test_comparisons.h"
int main()
{
using month = std::chrono::month;
using year_month = std::chrono::year_month;
using year = std::chrono::year;
using month_day_last = std::chrono::month_day_last;
using year_month_day_last = std::chrono::year_month_day_last;
constexpr month February = std::chrono::February;
constexpr std::chrono::last_spec last = std::chrono::last;
{ // operator/(const year_month& ym, last_spec)
constexpr year_month Feb2018{year{2018}, February};
ASSERT_NOEXCEPT ( Feb2018/last);
ASSERT_SAME_TYPE(year_month_day_last, decltype(Feb2018/last));
static_assert((Feb2018/last).year() == year{2018}, "");
static_assert((Feb2018/last).month() == February, "");
for (int i = 1000; i < 1010; ++i)
for (unsigned j = 1; j <= 12; ++j)
{
year y{i};
month m{j};
year_month_day_last ymdl = year_month{y,m}/last;
assert(ymdl.year() == y);
assert(ymdl.month() == m);
}
}
{ // operator/(const year& y, const month_day_last& mdl) (and switched)
ASSERT_NOEXCEPT ( year{2018}/month_day_last{February});
ASSERT_SAME_TYPE(year_month_day_last, decltype(year{2018}/month_day_last{February}));
ASSERT_NOEXCEPT ( month_day_last{February}/year{2018});
ASSERT_SAME_TYPE(year_month_day_last, decltype(month_day_last{February}/year{2018}));
static_assert((year{2018}/month_day_last{February}).month() == February, "");
static_assert((year{2018}/month_day_last{February}).year() == year{2018}, "");
static_assert((month_day_last{February}/year{2018}).month() == February, "");
static_assert((month_day_last{February}/year{2018}).year() == year{2018}, "");
for (int i = 1000; i < 1010; ++i)
for (unsigned j = 1; j <= 12; ++j)
{
year y{i};
month m{j};
year_month_day_last ymdl1 = y/month_day_last{m};
year_month_day_last ymdl2 = month_day_last{m}/y;
assert(ymdl1.month() == m);
assert(ymdl2.month() == m);
assert(ymdl2.year() == y);
assert(ymdl1.year() == y);
assert(ymdl1 == ymdl2);
}
}
{ // operator/(int y, const month_day_last& mdl) (and switched)
ASSERT_NOEXCEPT ( 2018/month_day_last{February});
ASSERT_SAME_TYPE(year_month_day_last, decltype(2018/month_day_last{February}));
ASSERT_NOEXCEPT ( month_day_last{February}/2018);
ASSERT_SAME_TYPE(year_month_day_last, decltype(month_day_last{February}/2018));
static_assert((2018/month_day_last{February}).month() == February, "");
static_assert((2018/month_day_last{February}).year() == year{2018}, "");
static_assert((month_day_last{February}/2018).month() == February, "");
static_assert((month_day_last{February}/2018).year() == year{2018}, "");
for (int i = 1000; i < 1010; ++i)
for (unsigned j = 1; j <= 12; ++j)
{
year y{i};
month m{j};
year_month_day_last ymdl1 = i/month_day_last{m};
year_month_day_last ymdl2 = month_day_last{m}/i;
assert(ymdl1.month() == m);
assert(ymdl2.month() == m);
assert(ymdl2.year() == y);
assert(ymdl1.year() == y);
assert(ymdl1 == ymdl2);
}
}
}
|
