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> 13eb564e76cc3904d811c981a50ecce0659f444cc9Howard Hinnant// requires HasLess<Iter::value_type, T> 14bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// Iter 15bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// lower_bound(Iter first, Iter last, const T& value); 16bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 17bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <algorithm> 18bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <vector> 19bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cassert> 20bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 2183e2c4d877fe2d7793868b1c6a5d9525a7c4d431Marshall Clow#include "test_iterators.h" 22bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 23bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class Iter, class T> 24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid 25bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest(Iter first, Iter last, const T& value) 26bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 27bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant Iter i = std::lower_bound(first, last, value); 28bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant for (Iter j = first; j != i; ++j) 29bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(*j < value); 30bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant for (Iter j = i; j != last; ++j) 31bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(!(*j < value)); 32bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 33bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 34bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class Iter> 35bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid 36bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest() 37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 38bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant const unsigned N = 1000; 39bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant const unsigned M = 10; 40bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::vector<int> v(N); 41bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant int x = 0; 42bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant for (int i = 0; i < v.size(); ++i) 43bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant { 44bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant v[i] = x; 45bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant if (++x == M) 46bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant x = 0; 47bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant } 48bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::sort(v.begin(), v.end()); 49bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant for (x = 0; x <= M; ++x) 50bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(Iter(v.data()), Iter(v.data()+v.size()), x); 51bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 52bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 53bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main() 54bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 55bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant int d[] = {0, 1, 2, 3}; 56bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant for (int* e = d; e <= d+4; ++e) 57bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant for (int x = -1; x <= 4; ++x) 58bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(d, e, x); 59bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 60bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<forward_iterator<const int*> >(); 61bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<bidirectional_iterator<const int*> >(); 62bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<random_access_iterator<const int*> >(); 63bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<const int*>(); 64bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 65