iterator_traits 結構
範本協助程式結構,用來指定迭代器應有的所有重要類型定義。
語法
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;
};
備註
範本結構會定義成員類型
iterator_category
:的同義字Iterator::iterator_category
。value_type
:的同義字Iterator::value_type
。difference_type
:的同義字Iterator::difference_type
。distance_type
:的同義字Iterator::difference_type
。pointer
:的同義字Iterator::pointer
。reference
:的同義字Iterator::reference
。
部分特製化會決定與 Type * 或 const Type 類型的物件指標相關聯的重要型*別。
在這項實作中,您也可以使用數個不利用部分特製化的範本函式:
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( ) );
}
/* Output:
struct std::random_access_iterator_tag
a a a a a a a a a a
struct std::bidirectional_iterator_tag
0 0 0 0 0 0 0 0 0 0
*/
需求
Header:<iterator>
命名空間:std