iterator_traits Struct
Un struct d'assistance de modèle utilisé pour spécifier toutes les définitions de types critiques qu'un itérateur doit avoir.
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;
};
Notes
La structure de modèle définit les types de membres
iterator_category: un synonyme de itérateur : : iterator_category.
value_type: un synonyme de itérateur : : value_type.
difference_type: un synonyme de itérateur : : difference_type.
distance_type: un synonyme de itérateur : : difference_type.
pointeur: un synonyme de itérateur : : pointeur.
référence: un synonyme de itérateur : : référence.
Les spécialisations partielles déterminent les types critiques associés à un pointeur d'objet de type type * ou **type ***const.
Dans cette implémentation vous pouvez également utiliser plusieurs fonctions de modèle qui n'utilisent pas de spécialisation partielle :
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 *);
ce qui déterminent plusieurs des mêmes types plus indirectement.vous utilisez ces fonctions comme des arguments sur un appel de fonction.leur objectif unique est de fournir un paramètre de classe de modèle utile à la fonction appelée.
Exemple
// 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( ) );
}
Configuration requise
en-tête : <iterator>
l'espace de noms : type