|
24 | 24 | #include "test_iterators.h"
|
25 | 25 |
|
26 | 26 | struct MySearcherC {
|
27 |
| - template <typename Iterator> |
28 |
| - std::pair<Iterator, Iterator> |
29 |
| - TEST_CONSTEXPR operator() (Iterator b, Iterator e) const |
30 |
| - { |
31 |
| - return std::make_pair(b, e); |
32 |
| - } |
| 27 | + template <typename Iterator> |
| 28 | + std::pair<Iterator, Iterator> TEST_CONSTEXPR operator()(Iterator b, Iterator e) const { |
| 29 | + return std::make_pair(b, e); |
| 30 | + } |
33 | 31 | };
|
34 | 32 |
|
35 | 33 | #if TEST_STD_VER > 17
|
36 | 34 | TEST_CONSTEXPR bool test_constexpr() {
|
37 |
| - int ia[] = {0, 1, 2, 3}; |
38 |
| - int ib[] = {0, 1, 5, 3}; |
39 |
| - int ic[] = {0, 1, 2, 0, 1, 2, 3, 0, 1, 2, 3, 4}; |
40 |
| - return (std::search(std::begin(ic), std::end(ic), std::begin(ia), std::end(ia)) == ic+3) |
41 |
| - && (std::search(std::begin(ic), std::end(ic), std::begin(ib), std::end(ib)) == std::end(ic)) |
42 |
| - && (std::search(std::begin(ic), std::end(ic), MySearcherC()) == std::begin(ic)) |
43 |
| - ; |
44 |
| - } |
| 35 | + int ia[] = {0, 1, 2, 3}; |
| 36 | + int ib[] = {0, 1, 5, 3}; |
| 37 | + int ic[] = {0, 1, 2, 0, 1, 2, 3, 0, 1, 2, 3, 4}; |
| 38 | + return (std::search(std::begin(ic), std::end(ic), std::begin(ia), std::end(ia)) == ic + 3) && |
| 39 | + (std::search(std::begin(ic), std::end(ic), std::begin(ib), std::end(ib)) == std::end(ic)) && |
| 40 | + (std::search(std::begin(ic), std::end(ic), MySearcherC()) == std::begin(ic)); |
| 41 | +} |
45 | 42 | #endif
|
46 | 43 |
|
47 | 44 | int searcher_called = 0;
|
48 | 45 |
|
49 | 46 | struct MySearcher {
|
50 |
| - template <typename Iterator> |
51 |
| - std::pair<Iterator, Iterator> |
52 |
| - operator() (Iterator b, Iterator e) const |
53 |
| - { |
54 |
| - ++searcher_called; |
55 |
| - return std::make_pair(b, e); |
56 |
| - } |
| 47 | + template <typename Iterator> |
| 48 | + std::pair<Iterator, Iterator> operator()(Iterator b, Iterator e) const { |
| 49 | + ++searcher_called; |
| 50 | + return std::make_pair(b, e); |
| 51 | + } |
57 | 52 | };
|
58 | 53 |
|
59 | 54 | namespace User {
|
60 | 55 | struct S {
|
61 |
| - S(int x) : x_(x) {} |
62 |
| - int x_; |
| 56 | + S(int x) : x_(x) {} |
| 57 | + int x_; |
63 | 58 | };
|
64 |
| -bool operator==(S lhs, S rhs) |
65 |
| -{ |
66 |
| - return lhs.x_ == rhs.x_; |
67 |
| -} |
| 59 | +bool operator==(S lhs, S rhs) { return lhs.x_ == rhs.x_; } |
68 | 60 | template <class T, class U>
|
69 | 61 | void make_pair(T&&, U&&) = delete;
|
70 | 62 | } // namespace User
|
71 | 63 |
|
72 | 64 | template <class Iter1, class Iter2>
|
73 |
| -void |
74 |
| -test() |
75 |
| -{ |
76 |
| - int ia[] = {0, 1, 2, 3, 4, 5}; |
77 |
| - const unsigned sa = sizeof(ia)/sizeof(ia[0]); |
78 |
| - assert(std::search(Iter1(ia), Iter1(ia+sa), Iter2(ia), Iter2(ia)) == Iter1(ia)); |
79 |
| - assert(std::search(Iter1(ia), Iter1(ia+sa), Iter2(ia), Iter2(ia+1)) == Iter1(ia)); |
80 |
| - assert(std::search(Iter1(ia), Iter1(ia+sa), Iter2(ia+1), Iter2(ia+2)) == Iter1(ia+1)); |
81 |
| - assert(std::search(Iter1(ia), Iter1(ia+sa), Iter2(ia+2), Iter2(ia+2)) == Iter1(ia)); |
82 |
| - assert(std::search(Iter1(ia), Iter1(ia+sa), Iter2(ia+2), Iter2(ia+3)) == Iter1(ia+2)); |
83 |
| - assert(std::search(Iter1(ia), Iter1(ia+sa), Iter2(ia+2), Iter2(ia+3)) == Iter1(ia+2)); |
84 |
| - assert(std::search(Iter1(ia), Iter1(ia), Iter2(ia+2), Iter2(ia+3)) == Iter1(ia)); |
85 |
| - assert(std::search(Iter1(ia), Iter1(ia+sa), Iter2(ia+sa-1), Iter2(ia+sa)) == Iter1(ia+sa-1)); |
86 |
| - assert(std::search(Iter1(ia), Iter1(ia+sa), Iter2(ia+sa-3), Iter2(ia+sa)) == Iter1(ia+sa-3)); |
87 |
| - assert(std::search(Iter1(ia), Iter1(ia+sa), Iter2(ia), Iter2(ia+sa)) == Iter1(ia)); |
88 |
| - assert(std::search(Iter1(ia), Iter1(ia+sa-1), Iter2(ia), Iter2(ia+sa)) == Iter1(ia+sa-1)); |
89 |
| - assert(std::search(Iter1(ia), Iter1(ia+1), Iter2(ia), Iter2(ia+sa)) == Iter1(ia+1)); |
90 |
| - int ib[] = {0, 1, 2, 0, 1, 2, 3, 0, 1, 2, 3, 4}; |
91 |
| - const unsigned sb = sizeof(ib)/sizeof(ib[0]); |
92 |
| - int ic[] = {1}; |
93 |
| - assert(std::search(Iter1(ib), Iter1(ib+sb), Iter2(ic), Iter2(ic+1)) == Iter1(ib+1)); |
94 |
| - int id[] = {1, 2}; |
95 |
| - assert(std::search(Iter1(ib), Iter1(ib+sb), Iter2(id), Iter2(id+2)) == Iter1(ib+1)); |
96 |
| - int ie[] = {1, 2, 3}; |
97 |
| - assert(std::search(Iter1(ib), Iter1(ib+sb), Iter2(ie), Iter2(ie+3)) == Iter1(ib+4)); |
98 |
| - int ig[] = {1, 2, 3, 4}; |
99 |
| - assert(std::search(Iter1(ib), Iter1(ib+sb), Iter2(ig), Iter2(ig+4)) == Iter1(ib+8)); |
100 |
| - int ih[] = {0, 1, 1, 1, 1, 2, 3, 0, 1, 2, 3, 4}; |
101 |
| - const unsigned sh = sizeof(ih)/sizeof(ih[0]); |
102 |
| - int ii[] = {1, 1, 2}; |
103 |
| - assert(std::search(Iter1(ih), Iter1(ih+sh), Iter2(ii), Iter2(ii+3)) == Iter1(ih+3)); |
104 |
| - int ij[] = {0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1, 0, 0}; |
105 |
| - const unsigned sj = sizeof(ij)/sizeof(ij[0]); |
106 |
| - int ik[] = {0, 0, 0, 0, 1, 1, 1, 1, 0, 0}; |
107 |
| - const unsigned sk = sizeof(ik)/sizeof(ik[0]); |
108 |
| - assert(std::search(Iter1(ij), Iter1(ij+sj), Iter2(ik), Iter2(ik+sk)) == Iter1(ij+6)); |
| 65 | +void test() { |
| 66 | + int ia[] = {0, 1, 2, 3, 4, 5}; |
| 67 | + const unsigned sa = sizeof(ia) / sizeof(ia[0]); |
| 68 | + assert(std::search(Iter1(ia), Iter1(ia + sa), Iter2(ia), Iter2(ia)) == Iter1(ia)); |
| 69 | + assert(std::search(Iter1(ia), Iter1(ia + sa), Iter2(ia), Iter2(ia + 1)) == Iter1(ia)); |
| 70 | + assert(std::search(Iter1(ia), Iter1(ia + sa), Iter2(ia + 1), Iter2(ia + 2)) == Iter1(ia + 1)); |
| 71 | + assert(std::search(Iter1(ia), Iter1(ia + sa), Iter2(ia + 2), Iter2(ia + 2)) == Iter1(ia)); |
| 72 | + assert(std::search(Iter1(ia), Iter1(ia + sa), Iter2(ia + 2), Iter2(ia + 3)) == Iter1(ia + 2)); |
| 73 | + assert(std::search(Iter1(ia), Iter1(ia + sa), Iter2(ia + 2), Iter2(ia + 3)) == Iter1(ia + 2)); |
| 74 | + assert(std::search(Iter1(ia), Iter1(ia), Iter2(ia + 2), Iter2(ia + 3)) == Iter1(ia)); |
| 75 | + assert(std::search(Iter1(ia), Iter1(ia + sa), Iter2(ia + sa - 1), Iter2(ia + sa)) == Iter1(ia + sa - 1)); |
| 76 | + assert(std::search(Iter1(ia), Iter1(ia + sa), Iter2(ia + sa - 3), Iter2(ia + sa)) == Iter1(ia + sa - 3)); |
| 77 | + assert(std::search(Iter1(ia), Iter1(ia + sa), Iter2(ia), Iter2(ia + sa)) == Iter1(ia)); |
| 78 | + assert(std::search(Iter1(ia), Iter1(ia + sa - 1), Iter2(ia), Iter2(ia + sa)) == Iter1(ia + sa - 1)); |
| 79 | + assert(std::search(Iter1(ia), Iter1(ia + 1), Iter2(ia), Iter2(ia + sa)) == Iter1(ia + 1)); |
| 80 | + int ib[] = {0, 1, 2, 0, 1, 2, 3, 0, 1, 2, 3, 4}; |
| 81 | + const unsigned sb = sizeof(ib) / sizeof(ib[0]); |
| 82 | + int ic[] = {1}; |
| 83 | + assert(std::search(Iter1(ib), Iter1(ib + sb), Iter2(ic), Iter2(ic + 1)) == Iter1(ib + 1)); |
| 84 | + int id[] = {1, 2}; |
| 85 | + assert(std::search(Iter1(ib), Iter1(ib + sb), Iter2(id), Iter2(id + 2)) == Iter1(ib + 1)); |
| 86 | + int ie[] = {1, 2, 3}; |
| 87 | + assert(std::search(Iter1(ib), Iter1(ib + sb), Iter2(ie), Iter2(ie + 3)) == Iter1(ib + 4)); |
| 88 | + int ig[] = {1, 2, 3, 4}; |
| 89 | + assert(std::search(Iter1(ib), Iter1(ib + sb), Iter2(ig), Iter2(ig + 4)) == Iter1(ib + 8)); |
| 90 | + int ih[] = {0, 1, 1, 1, 1, 2, 3, 0, 1, 2, 3, 4}; |
| 91 | + const unsigned sh = sizeof(ih) / sizeof(ih[0]); |
| 92 | + int ii[] = {1, 1, 2}; |
| 93 | + assert(std::search(Iter1(ih), Iter1(ih + sh), Iter2(ii), Iter2(ii + 3)) == Iter1(ih + 3)); |
| 94 | + int ij[] = {0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1, 0, 0}; |
| 95 | + const unsigned sj = sizeof(ij) / sizeof(ij[0]); |
| 96 | + int ik[] = {0, 0, 0, 0, 1, 1, 1, 1, 0, 0}; |
| 97 | + const unsigned sk = sizeof(ik) / sizeof(ik[0]); |
| 98 | + assert(std::search(Iter1(ij), Iter1(ij + sj), Iter2(ik), Iter2(ik + sk)) == Iter1(ij + 6)); |
109 | 99 | }
|
110 | 100 |
|
111 | 101 | template <class Iter>
|
112 |
| -void |
113 |
| -adl_test() |
114 |
| -{ |
115 |
| - User::S ua[] = {1}; |
116 |
| - assert(std::search(Iter(ua), Iter(ua), Iter(ua), Iter(ua)) == Iter(ua)); |
| 102 | +void adl_test() { |
| 103 | + User::S ua[] = {1}; |
| 104 | + assert(std::search(Iter(ua), Iter(ua), Iter(ua), Iter(ua)) == Iter(ua)); |
117 | 105 | }
|
118 | 106 |
|
119 |
| -int main(int, char**) |
120 |
| -{ |
121 |
| - test<forward_iterator<const int*>, forward_iterator<const int*> >(); |
122 |
| - test<forward_iterator<const int*>, bidirectional_iterator<const int*> >(); |
123 |
| - test<forward_iterator<const int*>, random_access_iterator<const int*> >(); |
124 |
| - test<bidirectional_iterator<const int*>, forward_iterator<const int*> >(); |
125 |
| - test<bidirectional_iterator<const int*>, bidirectional_iterator<const int*> >(); |
126 |
| - test<bidirectional_iterator<const int*>, random_access_iterator<const int*> >(); |
127 |
| - test<random_access_iterator<const int*>, forward_iterator<const int*> >(); |
128 |
| - test<random_access_iterator<const int*>, bidirectional_iterator<const int*> >(); |
129 |
| - test<random_access_iterator<const int*>, random_access_iterator<const int*> >(); |
130 |
| - |
131 |
| - adl_test<forward_iterator<User::S*> >(); |
132 |
| - adl_test<random_access_iterator<User::S*> >(); |
| 107 | +int main(int, char**) { |
| 108 | + test<forward_iterator<const int*>, forward_iterator<const int*> >(); |
| 109 | + test<forward_iterator<const int*>, bidirectional_iterator<const int*> >(); |
| 110 | + test<forward_iterator<const int*>, random_access_iterator<const int*> >(); |
| 111 | + test<bidirectional_iterator<const int*>, forward_iterator<const int*> >(); |
| 112 | + test<bidirectional_iterator<const int*>, bidirectional_iterator<const int*> >(); |
| 113 | + test<bidirectional_iterator<const int*>, random_access_iterator<const int*> >(); |
| 114 | + test<random_access_iterator<const int*>, forward_iterator<const int*> >(); |
| 115 | + test<random_access_iterator<const int*>, bidirectional_iterator<const int*> >(); |
| 116 | + test<random_access_iterator<const int*>, random_access_iterator<const int*> >(); |
| 117 | + |
| 118 | + adl_test<forward_iterator<User::S*> >(); |
| 119 | + adl_test<random_access_iterator<User::S*> >(); |
133 | 120 |
|
134 | 121 | #if TEST_STD_VER > 14
|
135 |
| -{ |
136 |
| - typedef int * RI; |
137 |
| - static_assert((std::is_same<RI, decltype(std::search(RI(), RI(), MySearcher()))>::value), "" ); |
| 122 | + { |
| 123 | + typedef int* RI; |
| 124 | + static_assert((std::is_same<RI, decltype(std::search(RI(), RI(), MySearcher()))>::value), ""); |
138 | 125 |
|
139 | 126 | RI it(nullptr);
|
140 | 127 | assert(it == std::search(it, it, MySearcher()));
|
141 | 128 | assert(searcher_called == 1);
|
142 |
| -} |
| 129 | + } |
143 | 130 | #endif
|
144 | 131 |
|
145 | 132 | #if TEST_STD_VER > 17
|
146 |
| - static_assert(test_constexpr()); |
| 133 | + static_assert(test_constexpr()); |
147 | 134 | #endif
|
148 | 135 |
|
149 | 136 | return 0;
|
|
0 commit comments