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

最新推荐文章于 2024-11-24 19:28:10 发布

原创最新推荐文章于 2024-11-24 19:28:10 发布 · 1.2k 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#c++ #iterator #编译器 #function #c

C/C++ 专栏收录该内容

82 篇文章

订阅专栏

本文探讨了如何在C++中利用模板参数推导和iterator_traits结构体来识别参数类型，特别是在STL中。通过示例展示了如何通过偏特化traits结构体来处理普通指针和const指针的value_type，从而实现类型萃取和函数返回类型的确定。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

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;

}