1 //===----------------------------------------------------------------------===//
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
7 //===----------------------------------------------------------------------===//
11 // template<InputIterator Iter1, ForwardIterator Iter2>
12 // requires HasEqualTo<Iter1::value_type, Iter2::value_type>
13 // constexpr Iter1 // constexpr after C++17
14 // find_first_of(Iter1 first1, Iter1 last1, Iter2 first2, Iter2 last2);
19 #include "test_macros.h"
20 #include "test_iterators.h"
23 TEST_CONSTEXPR
bool test_constexpr() {
26 int ic
[] = {0, 1, 2, 3, 4, 5, 0, 1, 2, 3};
27 typedef forward_iterator
<int*> FI
;
28 typedef bidirectional_iterator
<int*> BI
;
29 typedef random_access_iterator
<int*> RI
;
31 return (std::find_first_of(FI(std::begin(ic
)), FI(std::end(ic
)), FI(std::begin(ia
)), FI(std::end(ia
))) == FI(ic
+1))
32 && (std::find_first_of(FI(std::begin(ic
)), FI(std::end(ic
)), FI(std::begin(ib
)), FI(std::end(ib
))) == FI(std::end(ic
)))
33 && (std::find_first_of(BI(std::begin(ic
)), BI(std::end(ic
)), BI(std::begin(ia
)), BI(std::end(ia
))) == BI(ic
+1))
34 && (std::find_first_of(BI(std::begin(ic
)), BI(std::end(ic
)), BI(std::begin(ib
)), BI(std::end(ib
))) == BI(std::end(ic
)))
35 && (std::find_first_of(RI(std::begin(ic
)), RI(std::end(ic
)), RI(std::begin(ia
)), RI(std::end(ia
))) == RI(ic
+1))
36 && (std::find_first_of(RI(std::begin(ic
)), RI(std::end(ic
)), RI(std::begin(ib
)), RI(std::end(ib
))) == RI(std::end(ic
)))
43 int ia
[] = {0, 1, 2, 3, 0, 1, 2, 3};
44 const unsigned sa
= sizeof(ia
)/sizeof(ia
[0]);
45 int ib
[] = {1, 3, 5, 7};
46 const unsigned sb
= sizeof(ib
)/sizeof(ib
[0]);
47 assert(std::find_first_of(cpp17_input_iterator
<const int*>(ia
),
48 cpp17_input_iterator
<const int*>(ia
+ sa
),
49 forward_iterator
<const int*>(ib
),
50 forward_iterator
<const int*>(ib
+ sb
)) ==
51 cpp17_input_iterator
<const int*>(ia
+1));
53 assert(std::find_first_of(cpp17_input_iterator
<const int*>(ia
),
54 cpp17_input_iterator
<const int*>(ia
+ sa
),
55 forward_iterator
<const int*>(ic
),
56 forward_iterator
<const int*>(ic
+ 1)) ==
57 cpp17_input_iterator
<const int*>(ia
+sa
));
58 assert(std::find_first_of(cpp17_input_iterator
<const int*>(ia
),
59 cpp17_input_iterator
<const int*>(ia
+ sa
),
60 forward_iterator
<const int*>(ic
),
61 forward_iterator
<const int*>(ic
)) ==
62 cpp17_input_iterator
<const int*>(ia
+sa
));
63 assert(std::find_first_of(cpp17_input_iterator
<const int*>(ia
),
64 cpp17_input_iterator
<const int*>(ia
),
65 forward_iterator
<const int*>(ic
),
66 forward_iterator
<const int*>(ic
+1)) ==
67 cpp17_input_iterator
<const int*>(ia
));
70 static_assert(test_constexpr());