29#ifndef _GLIBCXX_DEBUG_HELPER_FUNCTIONS_H
30#define _GLIBCXX_DEBUG_HELPER_FUNCTIONS_H 1
41 template<
typename _Iterator,
typename _Sequence,
typename _Category>
44#if __cplusplus >= 201103L
45 template<
typename _Iterator,
typename _Sequence>
46 class _Safe_local_iterator;
61 template<
typename _Iterator,
62 typename =
typename std::__is_integer<_Iterator>::__type>
63 struct _Distance_traits
69 template<
typename _DiffType,
typename = _DiffType>
71 {
typedef _DiffType __type; };
73 template<
typename _DiffType>
74 struct _DiffTraits<_DiffType, void>
75 {
typedef std::ptrdiff_t __type; };
77 typedef typename _DiffTraits<_ItDiffType>::__type _DiffType;
83 template<
typename _Integral>
84 struct _Distance_traits<_Integral,
std::__true_type>
90 template<
typename _Iterator>
92 inline typename _Distance_traits<_Iterator>::__type
95 {
return std::make_pair(__rhs - __lhs, __dp_exact); }
97 template<
typename _Iterator>
99 inline typename _Distance_traits<_Iterator>::__type
104 return std::make_pair(0, __dp_exact);
106 return std::make_pair(1, __dp_equality);
109 template<
typename _Iterator>
111 inline typename _Distance_traits<_Iterator>::__type
120 __check_singular_aux(
const void*) {
return false; }
124 __check_singular_aux(
const class _Safe_iterator_base*);
128 template<
typename _Iterator>
131 __check_singular(_Iterator
const& __x)
133 return ! std::__is_constant_evaluated()
138 template<
typename _Tp>
141 __check_singular(_Tp*
const& __ptr)
142 {
return __ptr == 0; }
148 template<
typename _Integral>
154 template<
typename _Integral>
158 typename _Distance_traits<_Integral>::__type& __dist,
161 __dist = std::make_pair(0, __dp_none);
165 template<
typename _InputIterator>
171 return __first == __last
172 || (!__gnu_debug::__check_singular(__first)
173 && !__gnu_debug::__check_singular(__last));
176 template<
typename _InputIterator>
184 && __first <= __last;
190 template<
typename _InputIterator>
200 template<
typename _InputIterator>
204 typename _Distance_traits<_InputIterator>::__type& __dist,
212 switch (__dist.second)
217 if (__dist.first == 0)
221 case __dp_sign_max_size:
223 return __dist.first >= 0;
235 template<
typename _InputIterator>
241 typedef typename std::__is_integer<_InputIterator>::__type _Integral;
246 template<
typename _Iterator,
typename _Sequence,
typename _Category>
248 __valid_range(
const _Safe_iterator<_Iterator, _Sequence, _Category>&,
249 const _Safe_iterator<_Iterator, _Sequence, _Category>&,
250 typename _Distance_traits<_Iterator>::__type&);
252#if __cplusplus >= 201103L
253 template<
typename _Iterator,
typename _Sequence>
255 __valid_range(
const _Safe_local_iterator<_Iterator, _Sequence>&,
256 const _Safe_local_iterator<_Iterator, _Sequence>&,
257 typename _Distance_traits<_Iterator>::__type&);
260 template<
typename _InputIterator>
265 typedef typename std::__is_integer<_InputIterator>::__type _Integral;
269 template<
typename _Iterator,
typename _Sequence,
typename _Category>
271 __valid_range(
const _Safe_iterator<_Iterator, _Sequence, _Category>&,
272 const _Safe_iterator<_Iterator, _Sequence, _Category>&);
274#if __cplusplus >= 201103L
275 template<
typename _Iterator,
typename _Sequence>
277 __valid_range(
const _Safe_local_iterator<_Iterator, _Sequence>&,
278 const _Safe_local_iterator<_Iterator, _Sequence>&);
282 template<
typename _InputIterator,
typename _Size>
285 __can_advance(_InputIterator, _Size)
288 template<
typename _Iterator,
typename _Sequence,
typename _Category,
291 __can_advance(
const _Safe_iterator<_Iterator, _Sequence, _Category>&,
294 template<
typename _InputIterator,
typename _Diff>
300 template<
typename _Iterator,
typename _Sequence,
typename _Category,
303 __can_advance(
const _Safe_iterator<_Iterator, _Sequence, _Category>&,
312 template<
typename _Iterator>
318#if __cplusplus < 201103L
319 template<
typename _Iterator>
321 {
typedef _Iterator _Type; };
325 template<
typename _Iterator>
328 __unsafe(_Iterator __it)
constexpr _Tp * __addressof(_Tp &__r) noexcept
Same as C++11 std::addressof.
constexpr iterator_traits< _Iter >::iterator_category __iterator_category(const _Iter &)
ISO C++ entities toplevel namespace is std.
GNU debug classes for public use.
constexpr bool __valid_range_aux(_Integral, _Integral, std::__true_type)
constexpr _Distance_traits< _Iterator >::__type __get_distance(_Iterator __lhs, _Iterator __rhs, std::random_access_iterator_tag)
constexpr bool __valid_range(_InputIterator __first, _InputIterator __last, typename _Distance_traits< _InputIterator >::__type &__dist)
constexpr _Iterator __base(_Iterator __it)
Struct holding two objects of arbitrary type.
Random-access iterators support a superset of bidirectional iterator operations.
Traits class for iterators.