1bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===// 2bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 3f5256e16dfc425c1d466f6308d4026d529ce9e0bHoward Hinnant// The LLVM Compiler Infrastructure 4bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open 6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details. 7bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 8bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===// 9bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 10bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// <algorithm> 11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 12eb564e76cc3904d811c981a50ecce0659f444cc9Howard Hinnant// template<ForwardIterator Iter, class T, CopyConstructible Compare> 13eb564e76cc3904d811c981a50ecce0659f444cc9Howard Hinnant// requires Predicate<Compare, T, Iter::value_type> 14eb564e76cc3904d811c981a50ecce0659f444cc9Howard Hinnant// && Predicate<Compare, Iter::value_type, T> 15bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// bool 16bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// binary_search(Iter first, Iter last, const T& value, Compare comp); 17bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 18bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <algorithm> 19bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <vector> 20bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <functional> 21bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cassert> 22a9bcd3dae859f02ab496d175d50840f43a2d4ed2Stephan T. Lavavej#include <cstddef> 23bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 2483e2c4d877fe2d7793868b1c6a5d9525a7c4d431Marshall Clow#include "test_iterators.h" 25bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 26bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class Iter, class T> 27bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid 28bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest(Iter first, Iter last, const T& value, bool x) 29bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 30bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::binary_search(first, last, value, std::greater<int>()) == x); 31bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 32bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 33bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class Iter> 34bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid 35bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest() 36bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant const unsigned N = 1000; 38a2cd27094316a83e188727fe0478b5f0dfd0a055Eric Fiselier const int M = 10; 39bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::vector<int> v(N); 40bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant int x = 0; 41a9bcd3dae859f02ab496d175d50840f43a2d4ed2Stephan T. Lavavej for (std::size_t i = 0; i < v.size(); ++i) 42bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant { 43bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant v[i] = x; 44bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant if (++x == M) 45bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant x = 0; 46bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant } 47bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::sort(v.begin(), v.end(), std::greater<int>()); 48bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant for (x = 0; x < M; ++x) 49bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(Iter(v.data()), Iter(v.data()+v.size()), x, true); 50bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(Iter(v.data()), Iter(v.data()+v.size()), -1, false); 51bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(Iter(v.data()), Iter(v.data()+v.size()), M, false); 52bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 53bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 54bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main() 55bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 56bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant int d[] = {6, 4, 2, 0}; 57bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant for (int* e = d; e <= d+4; ++e) 58bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant for (int x = -1; x <= 7; ++x) 59bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(d, e, x, (x % 2 == 0) && e != d && (-2*(e-d) + 8 <= x)); 60bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 61bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<forward_iterator<const int*> >(); 62bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<bidirectional_iterator<const int*> >(); 63bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<random_access_iterator<const int*> >(); 64bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<const int*>(); 65bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 66