Chris@16
|
1 // Copyright Neil Groves 2009. Use, modification and
|
Chris@16
|
2 // distribution is subject to the Boost Software License, Version
|
Chris@16
|
3 // 1.0. (See accompanying file LICENSE_1_0.txt or copy at
|
Chris@16
|
4 // http://www.boost.org/LICENSE_1_0.txt)
|
Chris@16
|
5 //
|
Chris@16
|
6 //
|
Chris@16
|
7 // For more information, see http://www.boost.org/libs/range/
|
Chris@16
|
8 //
|
Chris@16
|
9 #ifndef BOOST_RANGE_ALGORITHM_UPPER_BOUND_HPP_INCLUDED
|
Chris@16
|
10 #define BOOST_RANGE_ALGORITHM_UPPER_BOUND_HPP_INCLUDED
|
Chris@16
|
11
|
Chris@16
|
12 #include <boost/concept_check.hpp>
|
Chris@16
|
13 #include <boost/range/begin.hpp>
|
Chris@16
|
14 #include <boost/range/end.hpp>
|
Chris@16
|
15 #include <boost/range/concepts.hpp>
|
Chris@16
|
16 #include <boost/range/detail/range_return.hpp>
|
Chris@16
|
17 #include <algorithm>
|
Chris@16
|
18
|
Chris@16
|
19 namespace boost
|
Chris@16
|
20 {
|
Chris@16
|
21 namespace range
|
Chris@16
|
22 {
|
Chris@16
|
23
|
Chris@16
|
24 /// \brief template function upper_bound
|
Chris@16
|
25 ///
|
Chris@16
|
26 /// range-based version of the upper_bound std algorithm
|
Chris@16
|
27 ///
|
Chris@16
|
28 /// \pre ForwardRange is a model of the ForwardRangeConcept
|
Chris@16
|
29 template< class ForwardRange, class Value >
|
Chris@16
|
30 inline
|
Chris@16
|
31 BOOST_DEDUCED_TYPENAME disable_if<
|
Chris@16
|
32 is_const<ForwardRange>,
|
Chris@16
|
33 BOOST_DEDUCED_TYPENAME range_iterator<ForwardRange>::type
|
Chris@16
|
34 >::type
|
Chris@16
|
35 upper_bound( ForwardRange& rng, Value val )
|
Chris@16
|
36 {
|
Chris@16
|
37 BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<ForwardRange> ));
|
Chris@16
|
38 return std::upper_bound(boost::begin(rng), boost::end(rng), val);
|
Chris@16
|
39 }
|
Chris@16
|
40
|
Chris@16
|
41 /// \overload
|
Chris@16
|
42 template< class ForwardRange, class Value >
|
Chris@16
|
43 BOOST_DEDUCED_TYPENAME range_iterator<const ForwardRange>::type
|
Chris@16
|
44 upper_bound( const ForwardRange& rng, Value val )
|
Chris@16
|
45 {
|
Chris@16
|
46 BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<const ForwardRange> ));
|
Chris@16
|
47 return std::upper_bound(boost::begin(rng), boost::end(rng), val);
|
Chris@16
|
48 }
|
Chris@16
|
49
|
Chris@16
|
50 /// \overload
|
Chris@16
|
51 template< class ForwardRange, class Value, class SortPredicate >
|
Chris@16
|
52 inline BOOST_DEDUCED_TYPENAME disable_if<
|
Chris@16
|
53 is_const<ForwardRange>,
|
Chris@16
|
54 BOOST_DEDUCED_TYPENAME range_iterator<ForwardRange>::type
|
Chris@16
|
55 >::type
|
Chris@16
|
56 upper_bound( ForwardRange& rng, Value val, SortPredicate pred )
|
Chris@16
|
57 {
|
Chris@16
|
58 BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<ForwardRange> ));
|
Chris@16
|
59 return std::upper_bound(boost::begin(rng), boost::end(rng), val, pred);
|
Chris@16
|
60 }
|
Chris@16
|
61
|
Chris@16
|
62 /// \overload
|
Chris@16
|
63 template< class ForwardRange, class Value, class SortPredicate >
|
Chris@16
|
64 inline BOOST_DEDUCED_TYPENAME range_iterator<const ForwardRange>::type
|
Chris@16
|
65 upper_bound( const ForwardRange& rng, Value val, SortPredicate pred )
|
Chris@16
|
66 {
|
Chris@16
|
67 BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<const ForwardRange> ));
|
Chris@16
|
68 return std::upper_bound(boost::begin(rng), boost::end(rng), val, pred);
|
Chris@16
|
69 }
|
Chris@16
|
70
|
Chris@16
|
71 /// \overload
|
Chris@16
|
72 template< range_return_value re, class ForwardRange, class Value >
|
Chris@16
|
73 inline BOOST_DEDUCED_TYPENAME disable_if<
|
Chris@16
|
74 is_const<ForwardRange>,
|
Chris@16
|
75 BOOST_DEDUCED_TYPENAME range_return<ForwardRange,re>::type
|
Chris@16
|
76 >::type
|
Chris@16
|
77 upper_bound( ForwardRange& rng, Value val )
|
Chris@16
|
78 {
|
Chris@16
|
79 BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<ForwardRange> ));
|
Chris@16
|
80 return range_return<ForwardRange,re>::
|
Chris@16
|
81 pack(std::upper_bound(boost::begin(rng), boost::end(rng), val),
|
Chris@16
|
82 rng);
|
Chris@16
|
83 }
|
Chris@16
|
84
|
Chris@16
|
85 /// \overload
|
Chris@16
|
86 template< range_return_value re, class ForwardRange, class Value >
|
Chris@16
|
87 inline BOOST_DEDUCED_TYPENAME range_return<const ForwardRange,re>::type
|
Chris@16
|
88 upper_bound( const ForwardRange& rng, Value val )
|
Chris@16
|
89 {
|
Chris@16
|
90 BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<const ForwardRange> ));
|
Chris@16
|
91 return range_return<const ForwardRange,re>::
|
Chris@16
|
92 pack(std::upper_bound(boost::begin(rng), boost::end(rng), val),
|
Chris@16
|
93 rng);
|
Chris@16
|
94 }
|
Chris@16
|
95
|
Chris@16
|
96 /// \overload
|
Chris@16
|
97 template< range_return_value re, class ForwardRange, class Value,
|
Chris@16
|
98 class SortPredicate >
|
Chris@16
|
99 inline BOOST_DEDUCED_TYPENAME disable_if<
|
Chris@16
|
100 is_const<ForwardRange>,
|
Chris@16
|
101 BOOST_DEDUCED_TYPENAME range_return<ForwardRange,re>::type
|
Chris@16
|
102 >::type
|
Chris@16
|
103 upper_bound( ForwardRange& rng, Value val, SortPredicate pred )
|
Chris@16
|
104 {
|
Chris@16
|
105 BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<ForwardRange> ));
|
Chris@16
|
106 return range_return<ForwardRange,re>::
|
Chris@16
|
107 pack(std::upper_bound(boost::begin(rng), boost::end(rng), val, pred),
|
Chris@16
|
108 rng);
|
Chris@16
|
109 }
|
Chris@16
|
110
|
Chris@16
|
111 /// \overload
|
Chris@16
|
112 template< range_return_value re, class ForwardRange, class Value,
|
Chris@16
|
113 class SortPredicate >
|
Chris@16
|
114 inline BOOST_DEDUCED_TYPENAME range_return<const ForwardRange,re>::type
|
Chris@16
|
115 upper_bound( const ForwardRange& rng, Value val, SortPredicate pred )
|
Chris@16
|
116 {
|
Chris@16
|
117 BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<const ForwardRange> ));
|
Chris@16
|
118 return range_return<const ForwardRange,re>::
|
Chris@16
|
119 pack(std::upper_bound(boost::begin(rng), boost::end(rng), val, pred),
|
Chris@16
|
120 rng);
|
Chris@16
|
121 }
|
Chris@16
|
122
|
Chris@16
|
123 } // namespace range
|
Chris@16
|
124 using range::upper_bound;
|
Chris@16
|
125 } // namespace boost
|
Chris@16
|
126
|
Chris@16
|
127 #endif // include guard
|