GeezerVison is showing cpprefjp.github.io — std::iterator_traits - cpprefjp C++日本語リファレンス
最終更新日時:
2026年08月25日 12時11分17秒 (JST)
Akira Takahashi
が更新
class template
<iterator>
std:: iterator_traits
namespace std {
template < class Iterator >
struct iterator_traits {
using difference_type = typename Iterator :: difference_type ;
using value_type = typename Iterator :: value_type ;
using pointer = typename Iterator :: pointer ;
using reference = typename Iterator :: reference ;
using iterator_category = typename Iterator :: iterator_category ;
};
// ポインタに対する特殊化、C++20から
template < class T >
requires is_object_v < T >
struct iterator_traits < T *> {
using iterator_concept = contiguous_iterator_tag ;
using iterator_category = random_access_iterator_tag ;
using value_type = remove_cv_t < T > ;
using difference_type = ptrdiff_t ;
using pointer = T * ;
using reference = T & ;
};
// ポインタに対する特殊化、C++17まで
template < class T >
struct iterator_traits < T *> {
using difference_type = ptrdiff_t ;
using value_type = T ; // C++98
using value_type = remove_cv_t < T > ; // C++17
using pointer = T * ;
using reference = T & ;
using iterator_category = random_access_iterator_tag ;
};
template < class T >
struct iterator_traits < const T *> { // C++14まで
using difference_type = ptrdiff_t ;
using value_type = T ;
using pointer = const T * ;
using reference = const T & ;
using iterator_category = random_access_iterator_tag ;
};
}
概要
iterator_traitsは、イテレータに関する型情報を取得するためのクラスである。
イテレータが指す値型、分類を取得でき、ポインタに対しても一様に適用できる。
型
説明
difference_typeイテレータの差を表す符号付き整数型
value_typeイテレータが指している値型
pointerポインタ型
referenceイテレータが指している参照型
iterator_categoryイテレータの分類を表す型(参照： iterator tag )
定義
任意のイテレータ型をIとする。
C++17
iterator_traits<I>の特殊化がある場合、それが使用される。特殊化されておらず、Iが5つのメンバ型（difference_type, value_type, pointer, reference, iterator_category）を定義している場合、それを用いて上記にあるように定義される。
それ以外の場合、iterator_traits<I>は5つのメンバ型のいずれも定義しない。
C++20
iterator_traits<I>の特殊化がある場合、それが使用される。
特殊化されておらず、Iが4つのメンバ型（difference_type, value_type, reference, iterator_category）を定義している場合、それぞれのメンバ型は次のように定義される
using difference_type = typename I :: difference_type ;
using value_type = typename I :: value_type ;
using pointer = void ;
using reference = typename I :: reference ;
using iterator_category = typename I :: iterator_category ;
この時、I::pointerも定義されているならば、pointerはそれを用いて定義される。
いずれかのメンバ型が定義されておらず、Iがcpp17-input-iteratorコンセプトを満たす場合、それぞれのメンバ型は次のように定義される
using difference_type = typename incrementable_traits < I >:: difference_type ;
using value_type = typename indirectly_readable_traits < I >:: value_type ;
using pointer = see below ;
using reference = see below ;
using iterator_category = see below ;
using pointer = I :: pointer ;
using pointer = decltype ( declval < I &> (). operator -> ());
using pointer = void ;
iterator_categoryは、上から順に次のいずれか
Iがcpp17-random-access-iteratorコンセプトを満たす場合、random_access_iterator_tagIがcpp17-bidirectional-iteratorコンセプトを満たす場合、bidirectional_iterator_tagIがcpp17-forward-iteratorコンセプトを満たす場合、forward_iterator_tagそれ以外の場合、input_iterator_tag
そうではなく、Iがcpp17-iteratorコンセプトを満たす場合、それぞれのメンバ型は次のように定義される
using difference_type = typename incrementable_traits < I >:: difference_type ;
using value_type = void ;
using pointer = void ;
using reference = void ;
using iterator_category = output_iterator_tag ;
この時、incrementable_traits<I>::difference_typeが定義されない場合、difference_type = void
それ以外の場合、iterator_traits<I>は5つのメンバ型のいずれも定義しない。
登場したcpp17-input-iterator等のコンセプトは全て次のように定義される説明専用のものである。
例
#include <iostream>
#include <vector>
#include <iterator>
// 範囲の合計値を計算する
template < class Iterator >
typename std::iterator_traits<Iterator>::value_type sum ( Iterator first , Iterator last )
{
// イテレータの型から値型を取得する
using value_type = typename std::iterator_traits<Iterator>::value_type ;
// 取得した値型の変数を定義し、合計値を計算する
value_type result = value_type ();
for (; first != last ; ++ first ) {
result += * first ;
}
return result ;
}
int main ()
{
// std::vector
{
std::vector < int > v = { 1 , 2 , 3 , 4 , 5 };
int result = sum ( std::begin ( v ), std::end ( v ));
std::cout << result << std::endl ;
}
// ポインタ
{
int ar [] = { 1 , 2 , 3 , 4 , 5 };
int result = sum ( std::begin ( ar ), std::end ( ar ));
std::cout << result << std::endl ;
}
}
出力
15
15
参照