C++ stl迭代器的理解

首先,stl采用了泛型编程,分成了容器和算法,容器和算法之间的桥梁是迭代器,迭代器的作用是可以让算法不区分容器来作用在数据上。

迭代器本质上是指针,原有类型(比如int,double等)的指针也可以是迭代器,那如何让代码区分开他们呢?

我们可以把自定义的迭代器包装成一个对象,原有类型的还是指针,使用偏特化就可以区分开自定义迭代器和原有类型指针。可以这么干

template<typename T>
class myIterator{
public:
    using value_type = T;
    myIterator(T* iter) : ptr(iter){}
    T& operator*(){
        return *ptr;
    }
public:
    T* ptr;
};

template<typename Iterator>
struct myIterator_traits{
    using value_type = typename Iterator::value_type;
};

template<typename Iterator>
struct myIterator_traits<Iterator*>{
    using value_type = Iterator;
};

template<typename Iterator>
struct myIterator_traits<const Iterator*>{
    using value_type = Iterator;
};

template<typename T>
typename myIterator_traits<T>::value_type func(T begin){
    typedef typename myIterator_traits<T>::value_type return_type;
    return_type res=*begin;
    return res;
}

int main(){
    myIterator<int> a(new int(10));
    cout<<func(a)<<endl;
    int* b=new int(5);
    cout<<func(b)<<endl;
    const int* c=new int(1);
    cout<<func(c)<<endl;
    return 0;
}

这样借用偏特化使用内嵌类型就得到了传入的类型,也叫萃取。
如果不使用萃取,也就是myIterator_traits这个结构,是无法解决传入类型为int*这种的,因为int可没有value_type。

这是一篇小笔记,怕忘了,随手记录

你可能感兴趣的:(c++,开发语言)