谈谈C++ STL的Traits设计上的理解

　　这两天看了<<STL源码解析>>,谈谈自己对traits的一点理解吧.

　　C++中类几类结构同时由一个父类派生出来,而他们都拥有一个设计接口上相同的属性,而在实现上却有细节上的不同.这时,为了在通用算法中将他们整合在一起,就产生了traits的设计,traits的汉语意思为特性.

　　举个例子,比如我们设计一个共同的属性叫value_type,对于不同的迭代器通用的一个属性.如vector_iterator<int>的value_type为int,vector_iterator<A>的value_type为A.

　　函数f1的参数要是一个value_type,可以利用模板,

　　template<typename T>

　　void f1(T t){

　　　　.........

　　}

　　利用模板参数t传到函数中去,但如果T的类型为const int,我们想传入一个int类型的参数时,这种方法也是不行的.

　　因此就产生了traits的设计,利用traits提供于特性的榨取.

　　比如,函数f1要返回一个value_type的对象.

template<class I>
struct test_list_iterator{
    typedef I value_type;
    value_type* pos;
    value_type operator*(){
        return *pos;
    }
    test_list_iterator(I* p){
        this->pos=p;
    }
};

　　我们设计一个简单的迭代器结构,用value_type来表示迭代器所指向值的类型.

　　为了对value_type进行榨取,我们设计了test_iteratora_traits

template<class I>
struct test_iterator_traits{
    typedef typename I::value_type value_type;
};

　　同时,由于简单类型int没有value_type的定义,const Type的value_type应该取成Type而不是const Type,因此,利且模板的偏特化,对test_iterator_traits进行偏特化.

//偏特化版本
template<class I>
struct test_iterator_traits<I*>{
    typedef I value_type;
};
template<class I>
typename test_iterator_traits<I>::value_type
f(I ite){
    return *ite;
}

　

　   假如函数f2要返回一个value_type的对象,如下:

template<class I>
typename test_iterator_traits<I>::value_type
f(I ite){
    return *ite;
}

　　测试的main函数如下:

int main(){
    int a=1;
    int* pa=&a;
    test_list_iterator<int> ita(pa);
    cout<<f(pa)<<endl;
    cout<<f(ita)<<endl;
}