__gnu_debug::_Safe_sequence_base(3cxx)

NAME
__gnu_debug::_Safe_sequence_base - Base class that supports tracking of iterators that reference a sequence.

SYNOPSIS

#include <safe_base.h>

Inherited by __gnu_debug::_Safe_sequence< _SafeSequence >, __gnu_debug::_Safe_sequence< basic_string< _CharT, std::char_traits< _CharT >, std::allocator< _CharT > > >, __gnu_debug::_Safe_sequence< deque< _Tp, std::allocator< _Tp > > >, __gnu_debug::_Safe_sequence< _SafeContainer >, __gnu_debug::_Safe_sequence< list< _Tp, std::allocator< _Tp > > >, __gnu_debug::_Safe_sequence< map< _Key, _Tp, std::less< _Key >, std::allocator< std::pair< const _Key, _Tp > > > >, __gnu_debug::_Safe_sequence< multimap< _Key, _Tp, std::less< _Key >, std::allocator< std::pair< const _Key, _Tp > > > >, __gnu_debug::_Safe_sequence< multiset< _Key, std::less< _Key >, std::allocator< _Key > > >, __gnu_debug::_Safe_sequence< set< _Key, std::less< _Key >, std::allocator< _Key > > >, __gnu_debug::_Safe_sequence< vector< _Tp, std::allocator< _Tp > > >, __gnu_debug::_Safe_sequence< _Sequence >, and __gnu_debug::_Safe_unordered_container_base.

  Public Attributes

_Safe_iterator_base * _M_const_iterators
The list of constant iterators that reference this container.
_Safe_iterator_base * _M_iterators
The list of mutable iterators that reference this container.
unsigned int _M_version
The container version number. This number may never be 0.

  Protected Member Functions

constexpr _Safe_sequence_base (_Safe_sequence_base &&__seq) noexcept
constexpr _Safe_sequence_base (const _Safe_sequence_base &) noexcept
constexpr ~_Safe_sequence_base ()
void _M_detach_all ()
void _M_detach_singular ()
__gnu_cxx::__mutex & _M_get_mutex () throw ()
void _M_invalidate_all () const
void _M_revalidate_singular ()
void _M_swap (_Safe_sequence_base &__x) noexcept

  Friends

class _Safe_iterator_base

Detailed Description

Base class that supports tracking of iterators that reference a sequence.

The _Safe_sequence_base class provides basic support for tracking iterators into a sequence. Sequences that track iterators must derived from _Safe_sequence_base publicly, so that safe iterators (which inherit _Safe_iterator_base) can attach to them. This class contains two linked lists of iterators, one for constant iterators and one for mutable iterators, and a version number that allows very fast invalidation of all iterators that reference the container.

This class must ensure that no operation on it may throw an exception, otherwise safe sequences may fail to provide the exception-safety guarantees required by the C++ standard.

Constructor & Destructor Documentation

  __gnu_debug::_Safe_sequence_base::~_Safe_sequence_base () [inline], [constexpr], [protected]
Notify all iterators that reference this sequence that the sequence is being destroyed.

References _M_detach_all().

Member Function Documentation

  void __gnu_debug::_Safe_sequence_base::_M_detach_all () [protected]
Detach all iterators, leaving them singular.

Referenced by ~_Safe_sequence_base().

  void __gnu_debug::_Safe_sequence_base::_M_detach_singular () [protected]
Detach all singular iterators.

Postcondition
    for all iterators i attached to this sequence, i->_M_version == _M_version.

  __gnu_cxx::__mutex & __gnu_debug::_Safe_sequence_base::_M_get_mutex () [protected]
For use in _Safe_sequence.

Referenced by __gnu_debug::_Safe_sequence< _Sequence >::_M_invalidate_if(), __gnu_debug::_Safe_unordered_container< _Container >::_M_invalidate_if(), __gnu_debug::_Safe_unordered_container< _Container >::_M_invalidate_local_if(), and __gnu_debug::_Safe_sequence< _Sequence >::_M_transfer_from_if().

  void __gnu_debug::_Safe_sequence_base::_M_invalidate_all () const [inline], [protected]
Invalidates all iterators.

References _M_invalidate_all(), and _M_version.

Referenced by _M_invalidate_all().

  void __gnu_debug::_Safe_sequence_base::_M_revalidate_singular () [protected]
Revalidates all attached singular iterators. This method may be used to validate iterators that were invalidated before (but for some reason, such as an exception, need to become valid again).

  void __gnu_debug::_Safe_sequence_base::_M_swap (_Safe_sequence_base & __x) [protected], [noexcept]
Swap this sequence with the given sequence. This operation also swaps ownership of the iterators, so that when the operation is complete all iterators that originally referenced one container now reference the other container.

Member Data Documentation

  _Safe_iterator_base* __gnu_debug::_Safe_sequence_base::_M_const_iterators [mutable]

The list of constant iterators that reference this container.

Referenced by __gnu_debug::_Safe_sequence< _Sequence >::_M_invalidate_if(), __gnu_debug::_Safe_unordered_container< _Container >::_M_invalidate_if(), and __gnu_debug::_Safe_sequence< _Sequence >::_M_transfer_from_if().

  _Safe_iterator_base* __gnu_debug::_Safe_sequence_base::_M_iterators [mutable]

The list of mutable iterators that reference this container.

Referenced by __gnu_debug::_Safe_sequence< _Sequence >::_M_invalidate_if(), __gnu_debug::_Safe_unordered_container< _Container >::_M_invalidate_if(), and __gnu_debug::_Safe_sequence< _Sequence >::_M_transfer_from_if().

  unsigned int __gnu_debug::_Safe_sequence_base::_M_version [mutable]

The container version number. This number may never be 0.

Referenced by _M_invalidate_all(), __gnu_debug::_Safe_sequence< _Sequence >::_M_transfer_from_if(), __gnu_debug::_Safe_iterator< _Base_iterator, map >::operator=(), __gnu_debug::_Safe_iterator< _Base_iterator, map >::operator=(), __gnu_debug::_Safe_local_iterator< _OtherIterator, _Sequence >::operator=(), and __gnu_debug::_Safe_local_iterator< _OtherIterator, _Sequence >::operator=().

Author

Generated automatically by Doxygen for libstdc++ from the source code.