| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113 |
- // Debugging support implementation -*- C++ -*-
- // Copyright (C) 2015-2018 Free Software Foundation, Inc.
- //
- // This file is part of the GNU ISO C++ Library. This library is free
- // software; you can redistribute it and/or modify it under the
- // terms of the GNU General Public License as published by the
- // Free Software Foundation; either version 3, or (at your option)
- // any later version.
- // This library is distributed in the hope that it will be useful,
- // but WITHOUT ANY WARRANTY; without even the implied warranty of
- // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- // GNU General Public License for more details.
- // Under Section 7 of GPL version 3, you are granted additional
- // permissions described in the GCC Runtime Library Exception, version
- // 3.1, as published by the Free Software Foundation.
- // You should have received a copy of the GNU General Public License and
- // a copy of the GCC Runtime Library Exception along with this program;
- // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
- // <http://www.gnu.org/licenses/>.
- /** @file debug/stl_iterator.h
- * This file is a GNU debug extension to the Standard C++ Library.
- */
- #ifndef _GLIBCXX_DEBUG_STL_ITERATOR_H
- #define _GLIBCXX_DEBUG_STL_ITERATOR_H 1
- #include <debug/helper_functions.h>
- namespace __gnu_debug
- {
- // Help Debug mode to see through reverse_iterator.
- template<typename _Iterator>
- inline bool
- __valid_range(const std::reverse_iterator<_Iterator>& __first,
- const std::reverse_iterator<_Iterator>& __last,
- typename _Distance_traits<_Iterator>::__type& __dist)
- { return __valid_range(__last.base(), __first.base(), __dist); }
- template<typename _Iterator>
- inline typename _Distance_traits<_Iterator>::__type
- __get_distance(const std::reverse_iterator<_Iterator>& __first,
- const std::reverse_iterator<_Iterator>& __last)
- { return __get_distance(__last.base(), __first.base()); }
- #if __cplusplus < 201103L
- template<typename _Iterator>
- struct __is_safe_random_iterator<std::reverse_iterator<_Iterator> >
- : __is_safe_random_iterator<_Iterator>
- { };
- template<typename _Iterator>
- struct _Unsafe_type<std::reverse_iterator<_Iterator> >
- {
- typedef typename _Unsafe_type<_Iterator>::_Type _UnsafeType;
- typedef std::reverse_iterator<_UnsafeType> _Type;
- };
- template<typename _Iterator>
- inline std::reverse_iterator<typename _Unsafe_type<_Iterator>::_Type>
- __unsafe(const std::reverse_iterator<_Iterator>& __it)
- {
- typedef typename _Unsafe_type<_Iterator>::_Type _UnsafeType;
- return std::reverse_iterator<_UnsafeType>(__unsafe(__it.base()));
- }
- #else
- template<typename _Iterator>
- inline auto
- __base(const std::reverse_iterator<_Iterator>& __it)
- -> decltype(std::__make_reverse_iterator(__base(__it.base())))
- { return std::__make_reverse_iterator(__base(__it.base())); }
- template<typename _Iterator>
- inline auto
- __unsafe(const std::reverse_iterator<_Iterator>& __it)
- -> decltype(std::__make_reverse_iterator(__unsafe(__it.base())))
- { return std::__make_reverse_iterator(__unsafe(__it.base())); }
- #endif
- #if __cplusplus >= 201103L
- // Help Debug mode to see through move_iterator.
- template<typename _Iterator>
- inline bool
- __valid_range(const std::move_iterator<_Iterator>& __first,
- const std::move_iterator<_Iterator>& __last,
- typename _Distance_traits<_Iterator>::__type& __dist)
- { return __valid_range(__first.base(), __last.base(), __dist); }
- template<typename _Iterator>
- inline typename _Distance_traits<_Iterator>::__type
- __get_distance(const std::move_iterator<_Iterator>& __first,
- const std::move_iterator<_Iterator>& __last)
- { return __get_distance(__first.base(), __last.base()); }
- template<typename _Iterator>
- inline auto
- __unsafe(const std::move_iterator<_Iterator>& __it)
- -> decltype(std::make_move_iterator(__unsafe(__it.base())))
- { return std::make_move_iterator(__unsafe(__it.base())); }
- template<typename _Iterator>
- inline auto
- __base(const std::move_iterator<_Iterator>& __it)
- -> decltype(std::make_move_iterator(__base(__it.base())))
- { return std::make_move_iterator(__base(__it.base())); }
- #endif
- }
- #endif
|