std :: iteratorを実装する

Question

C++ 17はstd::iteratorを非難するので、私は自分自身を実装する必要があります。それは、いくつかのtypedefを持つ空のstructであることが分かります。

template <class Category, class Type, class Diff = ptrdiff_t, 
    class Pointer = Type*, class Reference = Type&> 
struct iterator { 
    typedef Category iterator_catergory; 
    typedef Type value_type; 
    typedef Diff difference_type; 
    typedef Pointer pointer; 
    typedef Reference reference; 
}; 

struct dummy_iter : iterator<std::output_iterator_tag, int> {} 

これは動作します：

printf("%d\n", std::is_same<typename dummy_iter::pointer, int*>::value); 

しかし、それはstd::iterator_traitsでは動作しません：あなたはタイプミスを持って

printf("%d\n", std::is_same<typename std::iterator_traits<dummy_iter>::pointer, int*>::value); 

error: 'pointer' in 'struct std::iterator_traits<dummy_iter>' does not name a type 

Answer 1

。この文：

typedef Category iterator_catergory; 

ではなく、このことが必要です。

typedef Category iterator_category; 

標準はiterator_traitsは、必要なすべてのtypedefが含まれていない限り、それは空のクラスになることを指定します。 【iterator.traits]/2を参照：

イテレータが有効（[temp.deduct]）メンバーの種類difference_typeを有する場合、 VALUE_TYPE、ポインタ、参照、およびiterator_category、 に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; 

そうでない場合は、にiterator_traitsは 上記の名前のいずれかによって何のメンバーを負わないものとします。