---
name: "__gnu_debug::_Safe_local_iterator"
section: "3"
platform: "linux"
package: "gcc"
version: "16.2.1+r23+gd564253eb6c8-1"
release: "Arch Linux 2026-11-01"
platforms: ["linux"]
url: "https://new.carta.tech/__gnu_debug::_Safe_local_iterator"
---

# \_\_gnu\_debug::\_Safe\_local\_iterator(3)

Safe iterator wrapper.

## NAME

\_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \> - Safe iterator wrapper.

## SYNOPSIS

\#include \<safe\_local\_iterator.h\>

Inherits .

### Public Types

typedef \_Traits::difference\_type **difference\_type**\
 typedef \_Traits::iterator\_category **iterator\_category**\
 typedef \_Iterator **iterator\_type**\
 typedef \_Traits::pointer **pointer**\
 typedef \_Traits::reference **reference**\
 typedef \_Traits::value\_type **value\_type**\

### Public Member Functions

**\_Safe\_local\_iterator** () noexcept\
 **\_Safe\_local\_iterator** (\_Iterator \_\_i, const **\_Safe\_unordered\_container\_base** \*\_\_cont)\
 Safe iterator construction from an unsafe iterator and its unordered container.  **\_Safe\_local\_iterator** (\_Safe\_local\_iterator &&\_\_x) noexcept\
 Move construction.  **\_Safe\_local\_iterator** (const \_Safe\_local\_iterator &\_\_x) noexcept\
 Copy construction.  template\<typename \_MutableIterator\> **\_Safe\_local\_iterator** (const \_Safe\_local\_iterator\< \_MutableIterator, typename \_\_gnu\_cxx::\_\_enable\_if\< \_IsConstant::\_\_value &&std::\_\_are\_same\< \_MutableIterator, \_OtherIterator \>::\_\_value, \_UContainer \>::\_\_type \> &\_\_x) noexcept\
 Converting constructor from a mutable iterator to a constant iterator.  void **\_M\_attach** (const **\_Safe\_unordered\_container\_base** \*\_\_cont)\
 void **\_M\_attach\_single** (const **\_Safe\_unordered\_container\_base** \*\_\_cont)\
 bool **\_M\_attached\_to** (const **\_Safe\_sequence\_base** \*\_\_seq) const\
 bool **\_M\_can\_compare** (const **\_Safe\_iterator\_base** &\_\_x) const noexcept\
 bool **\_M\_dereferenceable** () const\
 Is the iterator dereferenceable?  \_Distance\_traits\< \_Iterator \>::\_\_type **\_M\_get\_distance\_to** (const \_Safe\_local\_iterator &\_\_rhs) const\
 std::\_\_conditional\_t\< \_IsConstant::\_\_value, const \_UContainer \*, \_UContainer \* \> **\_M\_get\_ucontainer** () const\
 template\<typename \_Other\> bool **\_M\_in\_same\_bucket** (const \_Safe\_local\_iterator\< \_Other, \_UContainer \> &\_\_other) const\
 Is this iterator part of the same bucket as the other one?  bool **\_M\_incrementable** () const\
 Is the iterator incrementable?  void **\_M\_invalidate** ()\
 bool **\_M\_is\_begin** () const\
 Is this iterator equal to the container's begin(bucket) iterator?  bool **\_M\_is\_end** () const\
 Is this iterator equal to the container's end(bucket) iterator?  void **\_M\_reset** () noexcept\
 const **\_Safe\_unordered\_container\_base** \* **\_M\_safe\_container** () const noexcept\
 bool **\_M\_singular** () const noexcept\
 void **\_M\_unlink** () noexcept\
 bool **\_M\_valid\_range** (const \_Safe\_local\_iterator &\_\_rhs, **std::pair**\< difference\_type, **\_Distance\_precision** \> &\_\_dist\_info) const\
 bool **\_M\_value\_initialized** () const\
 Is the iterator value-initialized?  const \_Iterator & **base** () const noexcept\
 \_Iterator & **base** () noexcept\
 Return the underlying iterator.  size\_type **bucket** () const\
 Return the bucket.  **operator \_Iterator** () const\
 Conversion to underlying non-debug iterator to allow better interaction with non-debug containers.  reference **operator\*** () const\
 Iterator dereference.  \_Safe\_local\_iterator & **operator++** ()\
 Iterator preincrement.  \_Safe\_local\_iterator **operator++** (int)\
 Iterator postincrement.  pointer **operator-\>** () const\
 Iterator dereference.  \_Safe\_local\_iterator & **operator=** (\_Safe\_local\_iterator &&\_\_x) noexcept\
 Move assignment.  \_Safe\_local\_iterator & **operator=** (const \_Safe\_local\_iterator &\_\_x)\
 Copy assignment.

### Static Public Member Functions

static constexpr bool **\_S\_constant** ()\
 Determine if this is a constant iterator.

### Public Attributes

**\_Safe\_iterator\_base** \* **\_M\_next**\
 **\_Safe\_iterator\_base** \* **\_M\_prior**\
 const **\_Safe\_sequence\_base** \* **\_M\_sequence**\
 unsigned int **\_M\_version**\

### Protected Member Functions

void **\_M\_attach** (const **\_Safe\_sequence\_base** \*\_\_seq, bool \_\_constant)\
 void **\_M\_attach** (const **\_Safe\_unordered\_container\_base** \*\_\_cont, bool \_\_constant)\
 void **\_M\_attach\_single** (const **\_Safe\_sequence\_base** \*\_\_seq, bool \_\_constant) noexcept\
 void **\_M\_attach\_single** (const **\_Safe\_unordered\_container\_base** \*\_\_cont, bool \_\_constant) noexcept\
 void **\_M\_detach** ()\
 void **\_M\_detach\_single** () noexcept\
 \_\_gnu\_cxx::\_\_mutex & **\_M\_get\_mutex** () noexcept\

### Friends

bool **operator!=** (const \_Self &\_\_lhs, const \_OtherSelf &\_\_rhs) noexcept\
 bool **operator!=** (const \_Self &\_\_lhs, const \_Self &\_\_rhs) noexcept\
 bool **operator==** (const \_Self &\_\_lhs, const \_OtherSelf &\_\_rhs) noexcept\
 bool **operator==** (const \_Self &\_\_lhs, const \_Self &\_\_rhs) noexcept\

## Detailed Description

### template\<typename \_Iterator, typename \_UContainer\>

class \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>"Safe iterator wrapper.

The class template \_Safe\_local\_iterator is a wrapper around an iterator that tracks the iterator's movement among unordered containers and checks that operations performed on the "safe" iterator are legal. In additional to the basic iterator operations (which are validated, and then passed to the underlying iterator), \_Safe\_local\_iterator has member functions for iterator invalidation, attaching/detaching the iterator from unordered containers, and querying the iterator's state.

## Constructor & Destructor Documentation

### template\<typename \_Iterator, typename \_UContainer\> \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>::\_Safe\_local\_iterator () \[inline\], \[noexcept\]

**Postcondition**

the iterator is singular and unattached

### template\<typename \_Iterator, typename \_UContainer\> \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>::\_Safe\_local\_iterator (\_Iterator \_\_i, const \_Safe\_unordered\_container\_base \* \_\_cont) \[inline\]

Safe iterator construction from an unsafe iterator and its unordered container.

**Precondition**

cont is not NULL

**Postcondition**

this is not singular

### template\<typename \_Iterator, typename \_UContainer\> \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>::\_Safe\_local\_iterator (const \_Safe\_local\_iterator\< \_Iterator, \_UContainer \> & \_\_x) \[inline\], \[noexcept\]

Copy construction.

### template\<typename \_Iterator, typename \_UContainer\> \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>::\_Safe\_local\_iterator (\_Safe\_local\_iterator\< \_Iterator, \_UContainer \> && \_\_x) \[inline\], \[noexcept\]

Move construction.

**Postcondition**

\_\_x is singular and unattached

### template\<typename \_Iterator, typename \_UContainer\> template\<typename \_MutableIterator\> \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>::\_Safe\_local\_iterator (const \_Safe\_local\_iterator\< \_MutableIterator, typename \_\_gnu\_cxx::\_\_enable\_if\< \_IsConstant::\_\_value &&std::\_\_are\_same\< \_MutableIterator, \_OtherIterator \>::\_\_value, \_UContainer \>::\_\_type \> & \_\_x) \[inline\], \[noexcept\]

Converting constructor from a mutable iterator to a constant iterator.

## Member Function Documentation

### void \_\_gnu\_debug::\_Safe\_iterator\_base::\_M\_attach (const \_Safe\_sequence\_base \* \_\_seq, bool \_\_constant) \[protected\], \[inherited\]

Attaches this iterator to the given sequence, detaching it from whatever sequence it was attached to originally. If the new sequence is the NULL pointer, the iterator is left unattached.

References **\_M\_attach()**.

Referenced by **\_Safe\_iterator\_base()**, **\_Safe\_iterator\_base()**, **\_\_gnu\_debug::\_Safe\_iterator\< \_Base\_iterator, map \>::\_M\_attach()**, and **\_M\_attach()**.

### template\<typename \_Iterator, typename \_UContainer\> void \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>::\_M\_attach (const \_Safe\_unordered\_container\_base \* \_\_cont) \[inline\]

Attach iterator to the given unordered container.

Referenced by **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_Safe\_local\_iterator()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_Safe\_local\_iterator()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_Safe\_local\_iterator()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::operator=()**, and **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::operator=()**.

### void \_\_gnu\_debug::\_Safe\_local\_iterator\_base::\_M\_attach (const \_Safe\_unordered\_container\_base \* \_\_cont, bool \_\_constant) \[protected\], \[inherited\]

Attaches this iterator to the given container, detaching it from whatever container it was attached to originally. If the new container is the NULL pointer, the iterator is left unattached.

Referenced by **\_Safe\_local\_iterator\_base()**, **\_Safe\_local\_iterator\_base()**, and **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_M\_attach()**.

### void \_\_gnu\_debug::\_Safe\_iterator\_base::\_M\_attach\_single (const \_Safe\_sequence\_base \* \_\_seq, bool \_\_constant) \[protected\], \[noexcept\], \[inherited\]

Likewise, but not thread-safe.

References **\_M\_attach\_single()**.

Referenced by **\_\_gnu\_debug::\_Safe\_iterator\< \_Base\_iterator, map \>::\_M\_attach\_single()**, and **\_M\_attach\_single()**.

### template\<typename \_Iterator, typename \_UContainer\> void \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>::\_M\_attach\_single (const \_Safe\_unordered\_container\_base \* \_\_cont) \[inline\]

Likewise, but not thread-safe.

### void \_\_gnu\_debug::\_Safe\_local\_iterator\_base::\_M\_attach\_single (const \_Safe\_unordered\_container\_base \* \_\_cont, bool \_\_constant) \[protected\], \[noexcept\], \[inherited\]

Likewise, but not thread-safe.

Referenced by **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_M\_attach\_single()**.

### bool \_\_gnu\_debug::\_Safe\_iterator\_base::\_M\_attached\_to (const \_Safe\_sequence\_base \* \_\_seq) const \[inline\], \[inherited\]

Determines if we are attached to the given sequence.

References **\_M\_attached\_to()**, and **\_M\_sequence**.

Referenced by **\_M\_attached\_to()**.

### bool \_\_gnu\_debug::\_Safe\_iterator\_base::\_M\_can\_compare (const \_Safe\_iterator\_base & \_\_x) const \[noexcept\], \[inherited\]

Can we compare this iterator to the given iterator \_\_x? Returns true if both iterators are nonsingular and reference the same sequence.

References **\_Safe\_iterator\_base()**, and **\_M\_can\_compare()**.

Referenced by **\_M\_can\_compare()**.

### template\<typename \_Iterator, typename \_UContainer\> bool \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>::\_M\_dereferenceable () const \[inline\]

Is the iterator dereferenceable?

Referenced by **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::operator\*()**, and **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::operator-\>()**.

### void \_\_gnu\_debug::\_Safe\_local\_iterator\_base::\_M\_detach () \[protected\], \[inherited\]

Detach the iterator for whatever container it is attached to, if any.

Referenced by **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_Safe\_local\_iterator()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::operator=()**, and **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::operator=()**.

### void \_\_gnu\_debug::\_Safe\_local\_iterator\_base::\_M\_detach\_single () \[protected\], \[noexcept\], \[inherited\]

Likewise, but not thread-safe.

### \_\_gnu\_cxx::\_\_mutex & \_\_gnu\_debug::\_Safe\_iterator\_base::\_M\_get\_mutex () \[protected\], \[noexcept\], \[inherited\]

For use in \_Safe\_iterator.

Referenced by **\_\_gnu\_debug::\_Safe\_iterator\< \_Base\_iterator, map \>::operator++()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::operator++()**, **\_\_gnu\_debug::\_Safe\_iterator\< \_Base\_iterator, map \>::operator=()**, **\_\_gnu\_debug::\_Safe\_iterator\< \_Base\_iterator, map \>::operator=()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::operator=()**, and **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::operator=()**.

### template\<typename \_Iterator, typename \_UContainer\> template\<typename \_Other\> bool \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>::\_M\_in\_same\_bucket (const \_Safe\_local\_iterator\< \_Other, \_UContainer \> & \_\_other) const \[inline\]

Is this iterator part of the same bucket as the other one?

### template\<typename \_Iterator, typename \_UContainer\> bool \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>::\_M\_incrementable () const \[inline\]

Is the iterator incrementable?

Referenced by **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::operator++()**, and **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::operator++()**.

### void \_\_gnu\_debug::\_Safe\_iterator\_base::\_M\_invalidate () \[inline\], \[inherited\]

Invalidate the iterator, making it singular.

References **\_M\_invalidate()**, and **\_M\_version**.

Referenced by **\_M\_invalidate()**.

### template\<typename \_Iterator, typename \_UContainer\> bool \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>::\_M\_is\_begin () const \[inline\]

Is this iterator equal to the container's begin(bucket) iterator?

### template\<typename \_Iterator, typename \_UContainer\> bool \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>::\_M\_is\_end () const \[inline\]

Is this iterator equal to the container's end(bucket) iterator?

Referenced by **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_M\_dereferenceable()**, and **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_M\_incrementable()**.

### void \_\_gnu\_debug::\_Safe\_iterator\_base::\_M\_reset () \[noexcept\], \[inherited\]

Reset all member variables

### bool \_\_gnu\_debug::\_Safe\_iterator\_base::\_M\_singular () const \[noexcept\], \[inherited\]

Is this iterator singular?

Referenced by **\_\_gnu\_debug::\_Safe\_iterator\< \_Base\_iterator, map \>::\_Safe\_iterator()**, **\_\_gnu\_debug::\_Safe\_iterator\< \_Base\_iterator, map \>::\_Safe\_iterator()**, **\_\_gnu\_debug::\_Safe\_iterator\< \_Base\_iterator, map \>::\_Safe\_iterator()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_Safe\_local\_iterator()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_Safe\_local\_iterator()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_Safe\_local\_iterator()**, **\_\_gnu\_debug::\_\_check\_singular\_aux()**, **\_\_gnu\_debug::\_Safe\_iterator\< \_Base\_iterator, map \>::\_M\_dereferenceable()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_M\_dereferenceable()**, **\_\_gnu\_debug::\_Safe\_iterator\< \_Base\_iterator, map \>::\_M\_incrementable()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_M\_incrementable()**, **\_\_gnu\_debug::\_Safe\_iterator\< \_Base\_iterator, map \>::operator=()**, **\_\_gnu\_debug::\_Safe\_iterator\< \_Base\_iterator, map \>::operator=()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::operator=()**, and **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::operator=()**.

### void \_\_gnu\_debug::\_Safe\_iterator\_base::\_M\_unlink () \[inline\], \[noexcept\], \[inherited\]

Unlink itself

References **\_M\_next**, **\_M\_prior**, and **\_M\_unlink()**.

Referenced by **\_M\_unlink()**.

### template\<typename \_Iterator, typename \_UContainer\> bool \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>::\_M\_value\_initialized () const \[inline\]

Is the iterator value-initialized?

Referenced by **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_Safe\_local\_iterator()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_Safe\_local\_iterator()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_Safe\_local\_iterator()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::operator=()**, and **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::operator=()**.

### template\<typename \_Iterator, typename \_UContainer\> constexpr bool \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>::\_S\_constant () \[inline\], \[static\], \[constexpr\]

Determine if this is a constant iterator.

Referenced by **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_M\_attach()**, and **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_M\_attach\_single()**.

### template\<typename \_Iterator, typename \_UContainer\> \_Iterator & \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>::base () \[inline\], \[noexcept\]

Return the underlying iterator.

Referenced by **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_Safe\_local\_iterator()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_M\_is\_begin()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_M\_is\_end()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_M\_value\_initialized()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::bucket()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::operator\*()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::operator++()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::operator-\>()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::operator=()**, and **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::operator=()**.

### template\<typename \_Iterator, typename \_UContainer\> size\_type \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>::bucket () const \[inline\]

Return the bucket.

Referenced by **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_M\_in\_same\_bucket()**, **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_M\_is\_begin()**, and **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::\_M\_is\_end()**.

### template\<typename \_Iterator, typename \_UContainer\> \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>::operator \_Iterator () const \[inline\]

Conversion to underlying non-debug iterator to allow better interaction with non-debug containers.

### template\<typename \_Iterator, typename \_UContainer\> reference \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>::operator\* () const \[inline\]

Iterator dereference.

**Precondition**

iterator is dereferenceable

### template\<typename \_Iterator, typename \_UContainer\> \_Safe\_local\_iterator & \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>::operator++ () \[inline\]

Iterator preincrement.

**Precondition**

iterator is incrementable

### template\<typename \_Iterator, typename \_UContainer\> \_Safe\_local\_iterator \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>::operator++ (int ) \[inline\]

Iterator postincrement.

**Precondition**

iterator is incrementable

### template\<typename \_Iterator, typename \_UContainer\> pointer \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>::operator-\> () const \[inline\]

Iterator dereference.

**Precondition**

iterator is dereferenceable

### template\<typename \_Iterator, typename \_UContainer\> \_Safe\_local\_iterator & \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>::operator= (\_Safe\_local\_iterator\< \_Iterator, \_UContainer \> && \_\_x) \[inline\], \[noexcept\]

Move assignment.

**Postcondition**

\_\_x is singular and unattached

### template\<typename \_Iterator, typename \_UContainer\> \_Safe\_local\_iterator & \_\_gnu\_debug::\_Safe\_local\_iterator\< \_Iterator, \_UContainer \>::operator= (const \_Safe\_local\_iterator\< \_Iterator, \_UContainer \> & \_\_x) \[inline\]

Copy assignment.

## Member Data Documentation

### \_Safe\_iterator\_base\* \_\_gnu\_debug::\_Safe\_iterator\_base::\_M\_next \[inherited\]

Pointer to the next iterator in the sequence's list of iterators. Only valid when \_M\_sequence != NULL.

Referenced by **\_Safe\_iterator\_base()**, **\_Safe\_iterator\_base()**, **\_Safe\_iterator\_base()**, **\_\_gnu\_debug::\_Safe\_sequence\< \_Sequence \>::\_M\_transfer\_from\_if()**, and **\_M\_unlink()**.

### \_Safe\_iterator\_base\* \_\_gnu\_debug::\_Safe\_iterator\_base::\_M\_prior \[inherited\]

Pointer to the previous iterator in the sequence's list of iterators. Only valid when \_M\_sequence != NULL.

Referenced by **\_Safe\_iterator\_base()**, **\_Safe\_iterator\_base()**, **\_Safe\_iterator\_base()**, **\_\_gnu\_debug::\_Safe\_sequence\< \_Sequence \>::\_M\_transfer\_from\_if()**, and **\_M\_unlink()**.

### const \_Safe\_sequence\_base\* \_\_gnu\_debug::\_Safe\_iterator\_base::\_M\_sequence \[inherited\]

The sequence this iterator references; may be NULL to indicate a singular iterator. Stored as pointer-to-const because sequence could be declared as const.

Referenced by **\_\_gnu\_debug::\_Safe\_iterator\< \_Base\_iterator, map \>::\_Safe\_iterator()**, **\_\_gnu\_debug::\_Safe\_iterator\< \_Base\_iterator, map \>::\_Safe\_iterator()**, **\_\_gnu\_debug::\_Safe\_iterator\< \_Base\_iterator, map \>::\_Safe\_iterator()**, **\_Safe\_iterator\_base()**, **\_Safe\_iterator\_base()**, **\_Safe\_iterator\_base()**, **\_M\_attached\_to()**, **\_\_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, \_UContainer \>::operator=()**, and **\_\_gnu\_debug::\_Safe\_local\_iterator\< \_OtherIterator, \_UContainer \>::operator=()**.

### unsigned int \_\_gnu\_debug::\_Safe\_iterator\_base::\_M\_version \[inherited\]

The version number of this iterator. The sentinel value 0 is used to indicate an invalidated iterator (i.e., one that is singular because of an operation on the container). This version number must equal the version number in the sequence referenced by \_M\_sequence for the iterator to be non-singular.

Referenced by **\_Safe\_iterator\_base()**, **\_Safe\_iterator\_base()**, **\_Safe\_iterator\_base()**, **\_M\_invalidate()**, and **\_\_gnu\_debug::\_Safe\_sequence\< \_Sequence \>::\_M\_transfer\_from\_if()**.

## Author

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