Home | History | Annotate | Download | only in func.search.default
      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 // UNSUPPORTED: c++98, c++03, c++11, c++14
     11 
     12 // <functional>
     13 
     14 // default searcher
     15 // template<class _ForwardIterator, class _BinaryPredicate = equal_to<>>
     16 // class default_searcher {
     17 // public:
     18 //     default_searcher(_ForwardIterator __f, _ForwardIterator __l,
     19 //                             _BinaryPredicate __p = _BinaryPredicate())
     20 //         : __first_(__f), __last_(__l), __pred_(__p) {}
     21 //
     22 //     template <typename _ForwardIterator2>
     23 //     pair<_ForwardIterator2, _ForwardIterator2>
     24 //     operator () (_ForwardIterator2 __f, _ForwardIterator2 __l) const {
     25 //         return std::search(__f, __l, __first_, __last_, __pred_);
     26 //         }
     27 //
     28 // private:
     29 //     _ForwardIterator __first_;
     30 //     _ForwardIterator __last_;
     31 //     _BinaryPredicate __pred_;
     32 //     };
     33 
     34 
     35 #include <algorithm>
     36 #include <functional>
     37 #include <cassert>
     38 
     39 #include "test_iterators.h"
     40 
     41 template <typename Iter1, typename Iter2>
     42 void do_search(Iter1 b1, Iter1 e1, Iter2 b2, Iter2 e2, Iter1 result) {
     43     std::default_searcher<Iter2> s{b2, e2};
     44     assert(result == std::search(b1, e1, s));
     45 }
     46 
     47 template <class Iter1, class Iter2>
     48 void
     49 test()
     50 {
     51     int ia[] = {0, 1, 2, 3, 4, 5};
     52     const unsigned sa = sizeof(ia)/sizeof(ia[0]);
     53     do_search(Iter1(ia), Iter1(ia+sa),   Iter2(ia),      Iter2(ia),    Iter1(ia));
     54     do_search(Iter1(ia), Iter1(ia+sa),   Iter2(ia),      Iter2(ia+1),  Iter1(ia));
     55     do_search(Iter1(ia), Iter1(ia+sa),   Iter2(ia+1),    Iter2(ia+2),  Iter1(ia+1));
     56     do_search(Iter1(ia), Iter1(ia+sa),   Iter2(ia+2),    Iter2(ia+2),  Iter1(ia));
     57     do_search(Iter1(ia), Iter1(ia+sa),   Iter2(ia+2),    Iter2(ia+3),  Iter1(ia+2));
     58     do_search(Iter1(ia), Iter1(ia+sa),   Iter2(ia+2),    Iter2(ia+3),  Iter1(ia+2));
     59     do_search(Iter1(ia), Iter1(ia),      Iter2(ia+2),    Iter2(ia+3),  Iter1(ia));
     60     do_search(Iter1(ia), Iter1(ia+sa),   Iter2(ia+sa-1), Iter2(ia+sa), Iter1(ia+sa-1));
     61     do_search(Iter1(ia), Iter1(ia+sa),   Iter2(ia+sa-3), Iter2(ia+sa), Iter1(ia+sa-3));
     62     do_search(Iter1(ia), Iter1(ia+sa),   Iter2(ia),      Iter2(ia+sa), Iter1(ia));
     63     do_search(Iter1(ia), Iter1(ia+sa-1), Iter2(ia),      Iter2(ia+sa), Iter1(ia+sa-1));
     64     do_search(Iter1(ia), Iter1(ia+1),    Iter2(ia),      Iter2(ia+sa), Iter1(ia+1));
     65     int ib[] = {0, 1, 2, 0, 1, 2, 3, 0, 1, 2, 3, 4};
     66     const unsigned sb = sizeof(ib)/sizeof(ib[0]);
     67     int ic[] = {1};
     68     do_search(Iter1(ib), Iter1(ib+sb), Iter2(ic), Iter2(ic+1), Iter1(ib+1));
     69     int id[] = {1, 2};
     70     do_search(Iter1(ib), Iter1(ib+sb), Iter2(id), Iter2(id+2), Iter1(ib+1));
     71     int ie[] = {1, 2, 3};
     72     do_search(Iter1(ib), Iter1(ib+sb), Iter2(ie), Iter2(ie+3), Iter1(ib+4));
     73     int ig[] = {1, 2, 3, 4};
     74     do_search(Iter1(ib), Iter1(ib+sb), Iter2(ig), Iter2(ig+4), Iter1(ib+8));
     75     int ih[] = {0, 1, 1, 1, 1, 2, 3, 0, 1, 2, 3, 4};
     76     const unsigned sh = sizeof(ih)/sizeof(ih[0]);
     77     int ii[] = {1, 1, 2};
     78     do_search(Iter1(ih), Iter1(ih+sh), Iter2(ii), Iter2(ii+3), Iter1(ih+3));
     79     int ij[] = {0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1, 0, 0};
     80     const unsigned sj = sizeof(ij)/sizeof(ij[0]);
     81     int ik[] = {0, 0, 0, 0, 1, 1, 1, 1, 0, 0};
     82     const unsigned sk = sizeof(ik)/sizeof(ik[0]);
     83     do_search(Iter1(ij), Iter1(ij+sj), Iter2(ik), Iter2(ik+sk), Iter1(ij+6));
     84 }
     85 
     86 int main() {
     87     test<forward_iterator<const int*>, forward_iterator<const int*> >();
     88     test<forward_iterator<const int*>, bidirectional_iterator<const int*> >();
     89     test<forward_iterator<const int*>, random_access_iterator<const int*> >();
     90     test<bidirectional_iterator<const int*>, forward_iterator<const int*> >();
     91     test<bidirectional_iterator<const int*>, bidirectional_iterator<const int*> >();
     92     test<bidirectional_iterator<const int*>, random_access_iterator<const int*> >();
     93     test<random_access_iterator<const int*>, forward_iterator<const int*> >();
     94     test<random_access_iterator<const int*>, bidirectional_iterator<const int*> >();
     95     test<random_access_iterator<const int*>, random_access_iterator<const int*> >();
     96 }
     97