29#ifndef _GLIBCXX_DEBUG_SAFE_ITERATOR_TCC
30#define _GLIBCXX_DEBUG_SAFE_ITERATOR_TCC 1
36 template<
typename _Iterator,
typename _Sequence,
typename _Category>
37 typename _Distance_traits<_Iterator>::__type
38 _Safe_iterator<_Iterator, _Sequence, _Category>::
39 _M_get_distance_from_begin()
const
41 typedef _Sequence_traits<_Sequence> _SeqTraits;
46 return std::make_pair(0, __dp_exact);
49 return _SeqTraits::_S_size(*_M_get_sequence());
51 typename _Distance_traits<_Iterator>::__type __res
54 if (__res.second == __dp_equality)
55 return std::make_pair(1, __dp_sign);
60 template<
typename _Iterator,
typename _Sequence,
typename _Category>
61 typename _Distance_traits<_Iterator>::__type
62 _Safe_iterator<_Iterator, _Sequence, _Category>::
63 _M_get_distance_to_end()
const
65 typedef _Sequence_traits<_Sequence> _SeqTraits;
70 return _SeqTraits::_S_size(*_M_get_sequence());
73 return std::make_pair(0, __dp_exact);
75 typename _Distance_traits<_Iterator>::__type __res
78 if (__res.second == __dp_equality)
79 return std::make_pair(1, __dp_sign);
84 template<
typename _Iterator,
typename _Sequence,
typename _Category>
86 _Safe_iterator<_Iterator, _Sequence, _Category>::
87 _M_can_advance(difference_type __n,
bool __strict)
const
89 if (this->_M_singular())
96 ? _M_get_distance_from_begin()
97 : _M_get_distance_to_end();
102 return __dist.
second > __dp_sign
103 ? __dist.
first >= __n
104 : !__strict && __dist.
first > 0;
107 template<
typename _Iterator,
typename _Sequence,
typename _Category>
108 template<
typename _Diff>
110 _Safe_iterator<_Iterator, _Sequence, _Category>::
114 return __dist.
second == __dp_exact
115 ? _M_can_advance(__way * __dist.
first)
116 : _M_can_advance(__way * (__dist.first == 0
118 : __dist.first < 0 ? -1 : 1));
121 template<
typename _Iterator,
typename _Sequence,
typename _Category>
122 typename _Distance_traits<_Iterator>::__type
123 _Safe_iterator<_Iterator, _Sequence, _Category>::
124 _M_get_distance_to(
const _Safe_iterator& __rhs)
const
126 typedef typename _Distance_traits<_Iterator>::__type _Dist;
127 typedef _Sequence_traits<_Sequence> _SeqTraits;
130 if (__base_dist.second == __dp_exact)
133 _Dist __seq_dist = _SeqTraits::_S_size(*this->_M_get_sequence());
134 if (this->_M_is_before_begin())
136 if (__rhs._M_is_begin())
137 return std::make_pair(1, __dp_exact);
139 return __seq_dist.second == __dp_exact
140 ? std::make_pair(__seq_dist.first + 1, __dp_exact)
144 if (this->_M_is_begin())
146 if (__rhs._M_is_before_begin())
147 return std::make_pair(-1, __dp_exact);
149 if (__rhs._M_is_end())
152 return std::make_pair(__seq_dist.first,
153 __seq_dist.second == __dp_exact
154 ? __dp_sign_max_size : __seq_dist.second);
157 if (this->_M_is_end())
159 if (__rhs._M_is_before_begin())
160 return __seq_dist.second == __dp_exact
161 ? std::make_pair(-__seq_dist.first - 1, __dp_exact)
162 :
std::make_pair(-__seq_dist.first, __dp_sign);
164 if (__rhs._M_is_begin())
165 return std::make_pair(-__seq_dist.first, __seq_dist.second);
167 return std::make_pair(-__seq_dist.first,
168 __seq_dist.second == __dp_exact
169 ? __dp_sign_max_size : __seq_dist.second);
172 if (__rhs._M_is_before_begin())
173 return __seq_dist.second == __dp_exact
174 ? std::make_pair(__seq_dist.first - 1, __dp_exact)
175 :
std::make_pair(-__seq_dist.first, __dp_sign);
177 if (__rhs._M_is_begin())
178 return std::make_pair(-__seq_dist.first,
179 __seq_dist.second == __dp_exact
180 ? __dp_sign_max_size : __seq_dist.second);
182 if (__rhs._M_is_end())
183 return std::make_pair(__seq_dist.first,
184 __seq_dist.second == __dp_exact
185 ? __dp_sign_max_size : __seq_dist.second);
187 return std::make_pair(1, __dp_equality);
190 template<
typename _Iterator,
typename _Sequence,
typename _Category>
192 _Safe_iterator<_Iterator, _Sequence, _Category>::
193 _M_valid_range(
const _Safe_iterator& __rhs,
195 bool __check_dereferenceable)
const
197 if (_M_singular() || __rhs._M_singular() || !_M_can_compare(__rhs))
201 __dist = _M_get_distance_to(__rhs);
202 if (__dist.
second != __dp_equality)
205 return __dist.
first == 0
207 && (!__check_dereferenceable || _M_dereferenceable()));
214 template<
typename _Iterator,
typename _Sequence>
216 _Safe_iterator<_Iterator, _Sequence, std::random_access_iterator_tag>::
217 _M_valid_range(
const _Safe_iterator& __rhs,
221 if (this->_M_singular() || __rhs._M_singular()
222 || !this->_M_can_compare(__rhs))
226 __dist = std::make_pair(__rhs.base() - this->base(), __dp_exact);
229 return __dist.
first == 0
230 || (__dist.
first > 0 && this->_M_dereferenceable());
234namespace std _GLIBCXX_VISIBILITY(default)
236_GLIBCXX_BEGIN_NAMESPACE_VERSION
238#if __cplusplus < 201103L
239 template<
typename _Ite,
typename _Seq>
241 __niter_base(const ::__gnu_debug::_Safe_iterator<_Ite, _Seq,
243 {
return __it.base(); }
245 template<
typename _Ite,
typename _Cont,
typename _DbgSeq>
247 __niter_base(const ::__gnu_debug::_Safe_iterator<
248 ::__gnu_cxx::__normal_iterator<_Ite, _Cont>, _DbgSeq,
250 {
return __it.base().base(); }
252 template<
typename _Ite,
typename _Seq>
254 decltype(std::__niter_base(std::declval<_Ite>()))
255 __niter_base(const ::__gnu_debug::_Safe_iterator<_Ite, _Seq,
258 {
return std::__niter_base(__it.base()); }
261 template<
bool _IsMove,
262 typename _Ite,
typename _Seq,
typename _Cat,
typename _OI>
266 const ::__gnu_debug::_Safe_iterator<_Ite, _Seq, _Cat>& __first,
267 const ::__gnu_debug::_Safe_iterator<_Ite, _Seq, _Cat>& __last,
270 typename ::__gnu_debug::_Distance_traits<_Ite>::__type __dist;
271 __glibcxx_check_valid_range2(__first, __last, __dist);
272 __glibcxx_check_can_increment_dist(__result, __dist, 1);
274 if (__dist.second > ::__gnu_debug::__dp_equality)
275 return std::__copy_move_a<_IsMove>(__first.base(), __last.base(),
278 return std::__copy_move_a1<_IsMove>(__first, __last, __result);
281 template<
bool _IsMove,
282 typename _II,
typename _Ite,
typename _Seq,
typename _Cat>
285 __copy_move_a(_II __first, _II __last,
286 const ::__gnu_debug::_Safe_iterator<_Ite, _Seq, _Cat>& __result)
288 typename ::__gnu_debug::_Distance_traits<_II>::__type __dist;
289 __glibcxx_check_valid_range2(__first, __last, __dist);
290 __glibcxx_check_can_increment_dist(__result, __dist, 1);
292 if (__dist.second > ::__gnu_debug::__dp_sign
293 && __result._M_can_advance(__dist.first,
true))
294 return ::__gnu_debug::_Safe_iterator<_Ite, _Seq, _Cat>(
295 std::__copy_move_a<_IsMove>(__first, __last, __result.base()),
296 __result._M_sequence);
298 return std::__copy_move_a1<_IsMove>(__first, __last, __result);
301 template<
bool _IsMove,
302 typename _IIte,
typename _ISeq,
typename _ICat,
303 typename _OIte,
typename _OSeq,
typename _OCat>
305 ::__gnu_debug::_Safe_iterator<_OIte, _OSeq, _OCat>
307 const ::__gnu_debug::_Safe_iterator<_IIte, _ISeq, _ICat>& __first,
308 const ::__gnu_debug::_Safe_iterator<_IIte, _ISeq, _ICat>& __last,
309 const ::__gnu_debug::_Safe_iterator<_OIte, _OSeq, _OCat>& __result)
311 typename ::__gnu_debug::_Distance_traits<_IIte>::__type __dist;
312 __glibcxx_check_valid_range2(__first, __last, __dist);
313 __glibcxx_check_can_increment_dist(__result, __dist, 1);
315 if (__dist.second > ::__gnu_debug::__dp_equality)
317 if (__dist.second > ::__gnu_debug::__dp_sign
318 && __result._M_can_advance(__dist.first,
true))
319 return ::__gnu_debug::_Safe_iterator<_OIte, _OSeq, _OCat>(
320 std::__copy_move_a<_IsMove>(__first.base(), __last.base(),
322 __result._M_sequence);
324 return std::__copy_move_a<_IsMove>(__first.base(), __last.base(),
328 return std::__copy_move_a1<_IsMove>(__first, __last, __result);
331 template<
bool _IsMove,
332 typename _Ite,
typename _Seq,
typename _Cat,
typename _OI>
335 __copy_move_backward_a(
336 const ::__gnu_debug::_Safe_iterator<_Ite, _Seq, _Cat>& __first,
337 const ::__gnu_debug::_Safe_iterator<_Ite, _Seq, _Cat>& __last,
340 typename ::__gnu_debug::_Distance_traits<_Ite>::__type __dist;
341 __glibcxx_check_valid_range2(__first, __last, __dist);
342 __glibcxx_check_can_increment_dist(__result, __dist, -1);
344 if (__dist.second > ::__gnu_debug::__dp_equality)
345 return std::__copy_move_backward_a<_IsMove>(
346 __first.base(), __last.base(), __result);
348 return std::__copy_move_backward_a1<_IsMove>(__first, __last, __result);
351 template<
bool _IsMove,
352 typename _II,
typename _Ite,
typename _Seq,
typename _Cat>
355 __copy_move_backward_a(_II __first, _II __last,
356 const ::__gnu_debug::_Safe_iterator<_Ite, _Seq, _Cat>& __result)
358 typename ::__gnu_debug::_Distance_traits<_II>::__type __dist;
359 __glibcxx_check_valid_range2(__first, __last, __dist);
360 __glibcxx_check_can_increment_dist(__result, __dist, -1);
362 if (__dist.second > ::__gnu_debug::__dp_sign
363 && __result._M_can_advance(-__dist.first,
true))
364 return ::__gnu_debug::_Safe_iterator<_Ite, _Seq, _Cat>(
365 std::__copy_move_backward_a<_IsMove>(__first, __last,
367 __result._M_sequence);
369 return std::__copy_move_backward_a1<_IsMove>(__first, __last, __result);
372 template<
bool _IsMove,
373 typename _IIte,
typename _ISeq,
typename _ICat,
374 typename _OIte,
typename _OSeq,
typename _OCat>
376 ::__gnu_debug::_Safe_iterator<_OIte, _OSeq, _OCat>
377 __copy_move_backward_a(
378 const ::__gnu_debug::_Safe_iterator<_IIte, _ISeq, _ICat>& __first,
379 const ::__gnu_debug::_Safe_iterator<_IIte, _ISeq, _ICat>& __last,
380 const ::__gnu_debug::_Safe_iterator<_OIte, _OSeq, _OCat>& __result)
382 typename ::__gnu_debug::_Distance_traits<_IIte>::__type __dist;
383 __glibcxx_check_valid_range2(__first, __last, __dist);
384 __glibcxx_check_can_increment_dist(__result, __dist, -1);
386 if (__dist.second > ::__gnu_debug::__dp_equality)
388 if (__dist.second > ::__gnu_debug::__dp_sign
389 && __result._M_can_advance(-__dist.first,
true))
390 return ::__gnu_debug::_Safe_iterator<_OIte, _OSeq, _OCat>(
391 std::__copy_move_backward_a<_IsMove>(__first.base(), __last.base(),
393 __result._M_sequence);
395 return std::__copy_move_backward_a<_IsMove>(
396 __first.base(), __last.base(), __result);
399 return std::__copy_move_backward_a1<_IsMove>(__first, __last, __result);
402 template<
typename _Ite,
typename _Seq,
typename _Cat,
typename _Tp>
405 __fill_a(const ::__gnu_debug::_Safe_iterator<_Ite, _Seq, _Cat>& __first,
406 const ::__gnu_debug::_Safe_iterator<_Ite, _Seq, _Cat>& __last,
409 typename ::__gnu_debug::_Distance_traits<_Ite>::__type __dist;
410 __glibcxx_check_valid_range2(__first, __last, __dist);
412 if (__dist.second > ::__gnu_debug::__dp_equality)
413 std::__fill_a(__first.base(), __last.base(), __value);
415 std::__fill_a1(__first, __last, __value);
418 template<
typename _Ite,
typename _Seq,
typename _Cat,
typename _Size,
421 ::__gnu_debug::_Safe_iterator<_Ite, _Seq, _Cat>
422 __fill_n_a(const ::__gnu_debug::_Safe_iterator<_Ite, _Seq, _Cat>& __first,
423 _Size __n,
const _Tp& __value,
426#if __cplusplus >= 201103L
427 static_assert(is_integral<_Size>{},
"fill_n must pass integral size");
433 __glibcxx_check_can_increment(__first, __n);
434 if (__first._M_can_advance(__n,
true))
435 return ::__gnu_debug::_Safe_iterator<_Ite, _Seq, _Cat>(
436 std::__fill_n_a(__first.base(), __n, __value, _Cat()),
437 __first._M_sequence);
439 return std::__fill_n_a1(__first, __n, __value);
442 template<
typename _II1,
typename _Seq1,
typename _Cat1,
typename _II2>
446 const ::__gnu_debug::_Safe_iterator<_II1, _Seq1, _Cat1>& __first1,
447 const ::__gnu_debug::_Safe_iterator<_II1, _Seq1, _Cat1>& __last1,
450 typename ::__gnu_debug::_Distance_traits<_II1>::__type __dist;
451 __glibcxx_check_valid_range2(__first1, __last1, __dist);
452 __glibcxx_check_can_increment_dist(__first2, __dist, 1);
454 if (__dist.second > ::__gnu_debug::__dp_equality)
455 return std::__equal_aux(__first1.base(), __last1.base(), __first2);
457 return std::__equal_aux1(__first1, __last1, __first2);
460 template<
typename _II1,
typename _II2,
typename _Seq2,
typename _Cat2>
463 __equal_aux(_II1 __first1, _II1 __last1,
464 const ::__gnu_debug::_Safe_iterator<_II2, _Seq2, _Cat2>& __first2)
466 typename ::__gnu_debug::_Distance_traits<_II1>::__type __dist;
467 __glibcxx_check_valid_range2(__first1, __last1, __dist);
468 __glibcxx_check_can_increment_dist(__first2, __dist, 1);
470 if (__dist.second > ::__gnu_debug::__dp_sign
471 && __first2._M_can_advance(__dist.first,
true))
472 return std::__equal_aux(__first1, __last1, __first2.base());
474 return std::__equal_aux1(__first1, __last1, __first2);
477 template<
typename _II1,
typename _Seq1,
typename _Cat1,
478 typename _II2,
typename _Seq2,
typename _Cat2>
482 const ::__gnu_debug::_Safe_iterator<_II1, _Seq1, _Cat1>& __first1,
483 const ::__gnu_debug::_Safe_iterator<_II1, _Seq1, _Cat1>& __last1,
484 const ::__gnu_debug::_Safe_iterator<_II2, _Seq2, _Cat2>& __first2)
486 typename ::__gnu_debug::_Distance_traits<_II1>::__type __dist;
487 __glibcxx_check_valid_range2(__first1, __last1, __dist);
488 __glibcxx_check_can_increment_dist(__first2, __dist, 1);
490 if (__dist.second > ::__gnu_debug::__dp_equality)
492 if (__dist.second > ::__gnu_debug::__dp_sign &&
493 __first2._M_can_advance(__dist.first,
true))
494 return std::__equal_aux(__first1.base(), __last1.base(),
496 return std::__equal_aux(__first1.base(), __last1.base(), __first2);
499 return __equal_aux1(__first1, __last1, __first2);
502 template<
typename _Ite1,
typename _Seq1,
typename _Cat1,
506 __lexicographical_compare_aux(
507 const ::__gnu_debug::_Safe_iterator<_Ite1, _Seq1, _Cat1>& __first1,
508 const ::__gnu_debug::_Safe_iterator<_Ite1, _Seq1, _Cat1>& __last1,
509 _II2 __first2, _II2 __last2)
511 typename ::__gnu_debug::_Distance_traits<_Ite1>::__type __dist1;
512 __glibcxx_check_valid_range2(__first1, __last1, __dist1);
513 __glibcxx_check_valid_range(__first2, __last2);
515 if (__dist1.second > ::__gnu_debug::__dp_equality)
516 return std::__lexicographical_compare_aux(__first1.base(),
519 return std::__lexicographical_compare_aux1(__first1, __last1,
523 template<
typename _II1,
524 typename _Ite2,
typename _Seq2,
typename _Cat2>
527 __lexicographical_compare_aux(
528 _II1 __first1, _II1 __last1,
529 const ::__gnu_debug::_Safe_iterator<_Ite2, _Seq2, _Cat2>& __first2,
530 const ::__gnu_debug::_Safe_iterator<_Ite2, _Seq2, _Cat2>& __last2)
532 __glibcxx_check_valid_range(__first1, __last1);
533 typename ::__gnu_debug::_Distance_traits<_II1>::__type __dist2;
534 __glibcxx_check_valid_range2(__first2, __last2, __dist2);
536 if (__dist2.second > ::__gnu_debug::__dp_equality)
537 return std::__lexicographical_compare_aux(__first1, __last1,
540 return std::__lexicographical_compare_aux1(__first1, __last1,
544 template<
typename _Ite1,
typename _Seq1,
typename _Cat1,
545 typename _Ite2,
typename _Seq2,
typename _Cat2>
548 __lexicographical_compare_aux(
549 const ::__gnu_debug::_Safe_iterator<_Ite1, _Seq1, _Cat1>& __first1,
550 const ::__gnu_debug::_Safe_iterator<_Ite1, _Seq1, _Cat1>& __last1,
551 const ::__gnu_debug::_Safe_iterator<_Ite2, _Seq2, _Cat2>& __first2,
552 const ::__gnu_debug::_Safe_iterator<_Ite2, _Seq2, _Cat2>& __last2)
554 typename ::__gnu_debug::_Distance_traits<_Ite1>::__type __dist1;
555 __glibcxx_check_valid_range2(__first1, __last1, __dist1);
556 typename ::__gnu_debug::_Distance_traits<_Ite2>::__type __dist2;
557 __glibcxx_check_valid_range2(__first2, __last2, __dist2);
559 if (__dist1.second > ::__gnu_debug::__dp_equality)
561 if (__dist2.second > ::__gnu_debug::__dp_equality)
562 return std::__lexicographical_compare_aux(__first1.base(),
566 return std::__lexicographical_compare_aux(__first1.base(),
571 if (__dist2.second > ::__gnu_debug::__dp_equality)
572 return std::__lexicographical_compare_aux(__first1, __last1,
575 return std::__lexicographical_compare_aux1(__first1, __last1,
579_GLIBCXX_END_NAMESPACE_VERSION
_Tp * end(valarray< _Tp > &__va) noexcept
Return an iterator pointing to one past the last element of the valarray.
_Tp * begin(valarray< _Tp > &__va) noexcept
Return an iterator pointing to the first element of the valarray.
ISO C++ entities toplevel namespace is std.
GNU debug classes for public use.
constexpr _Distance_traits< _Iterator >::__type __get_distance(_Iterator __lhs, _Iterator __rhs, std::random_access_iterator_tag)
is_nothrow_copy_constructible
Struct holding two objects of arbitrary type.
_T1 first
The first member.
_T2 second
The second member.
Random-access iterators support a superset of bidirectional iterator operations.