次の方法で共有

iterator_traits Struct

  • [アーティクル]

持つ反復子は必要とするすべての重要な型定義を指定するために使用するテンプレート ヘルパー構造体。

template<class Iterator>
    struct iterator_traits {
        typedef typename Iterator::iterator_category iterator_category;
        typedef typename Iterator::value_type value_type;
        typedef typename Iterator::difference_type difference_type;
        typedef difference_type distance_type;
        typedef typename Iterator::pointer pointer;
        typedef typename Iterator::reference reference;
    };
template<class Type>
    struct iterator_traits<Type*> {
        typedef random_access_iterator_tag iterator_category;
        typedef Type value_type;
        typedef ptrdiff_t difference_type;
        typedef difference_type distance_type;
        typedef Type *pointer;
        typedef Type& reference;
    };
template<class Type>
    struct iterator_traits<const Type*> {
        typedef random_access_iterator_tag iterator_category;
        typedef Type value_type;
        typedef ptrdiff_t difference_type;
        typedef difference_type distance_type;
        typedef const Type *pointer;
        typedef const Type& reference;
    };

解説

テンプレートの構造体にメンバー型を定義します。

  • iterator_category: 反復子 :: iterator_category のシノニムです。

  • value_type: 反復子 :: value_type のシノニムです。

  • difference_type: 反復子 :: difference_type のシノニムです。

  • distance_type: 反復子 :: difference_type。 のシノニム

  • ポインター : Iterator:: ポインター のシノニムです。

  • 参照 : Iterator:: 参照 のシノニムです。

部分的特殊化は型 型 * または定数ポインターの 型 * オブジェクトに関連付けられている重要な型が決まります。

この実装では部分的な特化を使用しない複数のテンプレート関数を使用する :

template<class Category, class Type, class Diff>
C _Iter_cat(const iterator<Category, Ty, Diff>&);
template<class Ty>
    random_access_iterator_tag _Iter_cat(const Ty *);

template<class Category, class Ty, class Diff>
Ty *_Val_type(const iterator<Category, Ty, Diff>&);
template<class Ty>
    Ty *_Val_type(const Ty *);

template<class Category, class Ty, class Diff>
Diff *_Dist_type(const iterator<Category, Ty, Diff>&);
template<class Ty>
    ptrdiff_t *_Dist_type(const Ty *);

同じ型の複数が間接的に決定する場合です。関数呼び出しの引数としてこれらの関数を使用します。唯一の目的は呼び出された関数に役立つクラスのテンプレート パラメーターを指定します。

使用例

// iterator_traits.cpp
// compile with: /EHsc
#include <iostream>
#include <iterator>
#include <vector>
#include <list>

using namespace std;

template< class it >
void
function( it i1, it i2 )
{
   iterator_traits<it>::iterator_category cat;
   cout << typeid( cat ).name( ) << endl;
   while ( i1 != i2 )
   {
      iterator_traits<it>::value_type x;
      x = *i1;
      cout << x << " ";
      i1++;
   };   
   cout << endl;
};

int main( ) 
{
   vector<char> vc( 10,'a' );
   list<int> li( 10 );
   function( vc.begin( ), vc.end( ) );
   function( li.begin( ), li.end( ) );
}

必要条件

ヘッダー : <iterator>

名前空間: std

参照

関連項目

<iterator>

C++ の標準ライブラリのスレッド セーフ

標準テンプレート ライブラリ