|
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