iterator_archetype Requirements

КлассификацияАргумент должен быть одним из заданных тегов категории доступа.Траверсальная категориядолжен быть одним из стандартных тегов обхода.ЦенностьТип должен удовлетворять требованиям концепции итератора, указаннымиТраверсалКатегориякак подразумеваемые вложенными типами черт.

iterator_archetype Models

итератор_архетипмоделирует понятия итератора, определенныеКатегория доступаиТраверсалКатегорияаргументы.iterator_archetypeне моделирует никаких других концепций доступа или более производных концепций обхода.

Traits

Типы вложенных признаков определяются следующим образом:

if (AccessCategory == readable_iterator_t)
  value_type = Value
  reference  = Value
  pointer    = Value*
else if (AccessCategory == writable_iterator_t)
  value_type = void
  reference  = void
  pointer    = void
else if (AccessCategory == readable_writable_iterator_t)
  value_type = Value
  reference :=
    A type X that is convertible to Value for which the following
    expression is valid. Given an object x of type X and v of type
    Value.
    x = v
  pointer    = Value*
else if (AccessCategory == readable_lvalue_iterator_t)
  value_type = Value
  reference  = Value const&
  pointer    = Value const*
else if (AccessCategory == writable_lvalue_iterator_t)
  value_type = Value
  reference  = Value&
  pointer    = Value*
if ( TraversalCategory is convertible to forward_traversal_tag )
  difference_type := ptrdiff_t
else
  difference_type := unspecified type
iterator_category :=
  A type X satisfying the following two constraints:
     1. X is convertible to X1, and not to any more-derived
        type, where X1 is defined by:
          if (reference is a reference type
              && TraversalCategory is convertible to forward_traversal_tag)
          {
              if (TraversalCategory is convertible to random_access_traversal_tag)
                  X1 = random_access_iterator_tag
              else if (TraversalCategory is convertible to bidirectional_traversal_tag)
                  X1 = bidirectional_iterator_tag
              else
                  X1 = forward_iterator_tag
          }
          else
          {
              if (TraversalCategory is convertible to single_pass_traversal_tag
                  && reference != void)
                  X1 = input_iterator_tag
              else
                  X1 = output_iterator_tag
          }
     2. X is convertible to TraversalCategory