c++参数类型的识别（STL）

template<typename I,typename T>void func_impl(I iter,T t)              //(int*,int){      T tmp;  //这里解决了问题。T就是迭代器所指之物的型别，本例为int     .............//}template<typename I>inline func(I iter)      //(int*){     func_impl(iter,*iter);}int main(){      int i;      func(&i);      return 0;}

我们一func为对外接口，却把实际操作放在func_impl里面。由于func_impl是一个function template，一旦被调用，编译器自动进行template参数推导。于是判别出T。

在STL源代码中，主要是使用c++中的偏特化，来进行型别识别的。

template<typename T>

struct iterator_traits{

typedef typename T::value_type value_type

};

这个所谓的traits，其意思就是，如果T定义有自己的类型value_type，那么通过这个traits的作用，萃取出来的value_type就是T::value_type。也就是说，如果T定义了自己的value_type，先前的那个func函数可以改写为这样：

template<typename T>

typename iterator_traits<T>::value_type       //这一行就是该函数的返回类型

inline func(T iter)        //(int *)
{

    return *iter;     

}

int main()

{

     int i;

   func(&i);

}

一下是指针版本和const指针版本：

特化版本的traits：（mutable 指针版本）

template<typename T>

struct traits<T*>{

typedef  T value_type;

}

(const指针版本):

template<typename T>

struct traits<const T*>{

typedef  T value_type;

}