1 //===----------------------------------------------------------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is dual licensed under the MIT and the University of Illinois Open 6 // Source Licenses. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 // <algorithm> 11 12 // template<InputIterator InIter, OutputIterator<auto, InIter::reference> OutIter, class T> 13 // requires HasEqualTo<InIter::value_type, T> 14 // constexpr OutIter // constexpr after C++17 15 // remove_copy(InIter first, InIter last, OutIter result, const T& value); 16 17 #include <algorithm> 18 #include <cassert> 19 20 #include "test_macros.h" 21 #include "test_iterators.h" 22 23 #if TEST_STD_VER > 17 24 TEST_CONSTEXPR bool test_constexpr() { 25 int ia[] = {1, 3, 5, 2, 5, 6}; 26 int ib[std::size(ia)] = {0}; 27 28 auto it = std::remove_copy(std::begin(ia), std::end(ia), std::begin(ib), 5); 29 30 return std::distance(std::begin(ib), it) == (std::size(ia) - 2) // we removed two elements 31 && std::none_of(std::begin(ib), it, [](int a) {return a == 5;}) 32 && std::all_of (it, std::end(ib), [](int a) {return a == 0;}) 33 ; 34 } 35 #endif 36 37 template <class InIter, class OutIter> 38 void 39 test() 40 { 41 int ia[] = {0, 1, 2, 3, 4, 2, 3, 4, 2}; 42 const unsigned sa = sizeof(ia)/sizeof(ia[0]); 43 int ib[sa]; 44 OutIter r = std::remove_copy(InIter(ia), InIter(ia+sa), OutIter(ib), 2); 45 assert(base(r) == ib + sa-3); 46 assert(ib[0] == 0); 47 assert(ib[1] == 1); 48 assert(ib[2] == 3); 49 assert(ib[3] == 4); 50 assert(ib[4] == 3); 51 assert(ib[5] == 4); 52 } 53 54 int main() 55 { 56 test<input_iterator<const int*>, output_iterator<int*> >(); 57 test<input_iterator<const int*>, forward_iterator<int*> >(); 58 test<input_iterator<const int*>, bidirectional_iterator<int*> >(); 59 test<input_iterator<const int*>, random_access_iterator<int*> >(); 60 test<input_iterator<const int*>, int*>(); 61 62 test<forward_iterator<const int*>, output_iterator<int*> >(); 63 test<forward_iterator<const int*>, forward_iterator<int*> >(); 64 test<forward_iterator<const int*>, bidirectional_iterator<int*> >(); 65 test<forward_iterator<const int*>, random_access_iterator<int*> >(); 66 test<forward_iterator<const int*>, int*>(); 67 68 test<bidirectional_iterator<const int*>, output_iterator<int*> >(); 69 test<bidirectional_iterator<const int*>, forward_iterator<int*> >(); 70 test<bidirectional_iterator<const int*>, bidirectional_iterator<int*> >(); 71 test<bidirectional_iterator<const int*>, random_access_iterator<int*> >(); 72 test<bidirectional_iterator<const int*>, int*>(); 73 74 test<random_access_iterator<const int*>, output_iterator<int*> >(); 75 test<random_access_iterator<const int*>, forward_iterator<int*> >(); 76 test<random_access_iterator<const int*>, bidirectional_iterator<int*> >(); 77 test<random_access_iterator<const int*>, random_access_iterator<int*> >(); 78 test<random_access_iterator<const int*>, int*>(); 79 80 test<const int*, output_iterator<int*> >(); 81 test<const int*, forward_iterator<int*> >(); 82 test<const int*, bidirectional_iterator<int*> >(); 83 test<const int*, random_access_iterator<int*> >(); 84 test<const int*, int*>(); 85 86 #if TEST_STD_VER > 17 87 static_assert(test_constexpr()); 88 #endif 89 } 90