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
|
//===----------------------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++03, c++11, c++14, c++17
// <chrono>
// class year_month_day;
// constexpr bool operator==(const year_month_day& x, const year_month_day& y) noexcept;
// constexpr strong_ordering operator<=>(const year_month_day& x, const year_month_day& y) noexcept;
#include <chrono>
#include <type_traits>
#include <cassert>
#include "test_macros.h"
#include "test_comparisons.h"
constexpr bool test() {
using day = std::chrono::day;
using year = std::chrono::year;
using month = std::chrono::month;
using year_month_day = std::chrono::year_month_day;
constexpr month January = std::chrono::January;
constexpr month February = std::chrono::February;
assert(testOrder(
year_month_day{year{1234}, January, day{1}},
year_month_day{year{1234}, January, day{1}},
std::strong_ordering::equal));
// different day
assert(testOrder(
year_month_day{year{1234}, January, day{1}},
year_month_day{year{1234}, January, day{2}},
std::strong_ordering::less));
// different month
assert(testOrder(
year_month_day{year{1234}, January, day{1}},
year_month_day{year{1234}, February, day{1}},
std::strong_ordering::less));
// different year
assert(testOrder(
year_month_day{year{1234}, January, day{1}},
year_month_day{year{1235}, January, day{1}},
std::strong_ordering::less));
// different month and day
assert(testOrder(
year_month_day{year{1234}, January, day{2}},
year_month_day{year{1234}, February, day{1}},
std::strong_ordering::less));
// different year and month
assert(testOrder(
year_month_day{year{1234}, February, day{1}},
year_month_day{year{1235}, January, day{1}},
std::strong_ordering::less));
// different year and day
assert(testOrder(
year_month_day{year{1234}, January, day{2}},
year_month_day{year{1235}, January, day{1}},
std::strong_ordering::less));
// different year, month and day
assert(testOrder(
year_month_day{year{1234}, February, day{2}},
year_month_day{year{1235}, January, day{1}},
std::strong_ordering::less));
// same year, different days
for (unsigned i = 1; i < 28; ++i)
for (unsigned j = 1; j < 28; ++j)
assert((testOrder(
year_month_day{year{1234}, January, day{i}},
year_month_day{year{1234}, January, day{j}},
i == j ? std::strong_ordering::equal
: i < j ? std::strong_ordering::less
: std::strong_ordering::greater)));
// same year, different months
for (unsigned i = 1; i < 12; ++i)
for (unsigned j = 1; j < 12; ++j)
assert((testOrder(
year_month_day{year{1234}, month{i}, day{12}},
year_month_day{year{1234}, month{j}, day{12}},
i == j ? std::strong_ordering::equal
: i < j ? std::strong_ordering::less
: std::strong_ordering::greater)));
// same month, different years
for (int i = -5; i < 5; ++i)
for (int j = -5; j < 5; ++j)
assert((testOrder(
year_month_day{year{i}, January, day{12}},
year_month_day{year{j}, January, day{12}},
i == j ? std::strong_ordering::equal
: i < j ? std::strong_ordering::less
: std::strong_ordering::greater)));
return true;
}
int main(int, char**) {
using year_month_day = std::chrono::year_month_day;
AssertOrderAreNoexcept<year_month_day>();
AssertOrderReturn<std::strong_ordering, year_month_day>();
test();
static_assert(test());
return 0;
}
|
