iterator_traits-Struktur
Eine Vorlagenhilfestruktur verwendet, um allen wichtigen Typdefinitionen angeben, die ein Iterator haben soll.
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;
};
Hinweise
Die Vorlagenstruktur definiert die auszublendende Membertypen
iterator_category: ein Synonym für Iterator::iterator_category.
value_type: ein Synonym für Iterator::value_type.
difference_type: ein Synonym für Iterator::difference_type.
distance_type: Synonym für Iterator::difference_type. ein
pointer: ein Synonym für Iterator::pointer.
Verweis: ein Synonym für Iterator::reference.
Die partielle Spezialisierungen bestimmen die wichtigen Typen, die mit einem Objektzeiger des Typs Type * oder des konstanten Type * zugeordnet sind.
In dieser Implementierung können Sie einige Vorlagenfunktionen auch verwenden, die keine teilweise Spezialisierung ausnutzen:
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 *);
welche mehrere der gleichen Typen indirekter bestimmen. Sie verwenden diese Funktionen als Argumente für einen Funktionsaufruf. das einziger Zweck ist, einen sinnvollen Vorlagenklassenparameter an die aufgerufene Funktion bereitzustellen.
Beispiel
// 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( ) );
}
Anforderungen
Header: <Iterator>
Namespace: std