C++ 中Traits技术 (2) —— 与迭代器

最新推荐文章于 2022-03-07 15:27:24 发布

sequenceGO

最新推荐文章于 2022-03-07 15:27:24 发布

阅读量543

点赞数

CC 4.0 BY-SA版权

分类专栏： C++学习系列文章标签：泛型 traits C++

本文链接：https://blog.youkuaiyun.com/u013575812/article/details/51148023

C++学习系列专栏收录该内容

41 篇文章

订阅专栏

本文深入探讨了C++ Traits技术在处理迭代器和原生指针时的灵活运用，通过内嵌类型和偏特化解决不同类型参数的通用问题，实现了函数适应多种迭代器类型的需求。

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

接着了解C++中的Traits技术。

Traits技术可以获取一个类型的相关信息。

比如针对一个泛型迭代器，类型参数T表示迭代器所指向的类型。

template < typename T> 
class CMyIterator
{
//...
};

我们使用这个迭代器时，如何才能知道这个迭代器所指向元素的类型呢？

比如我们可以为这个类加入一个内嵌类型

template < typename T> 
class CMyIterator
{
//...
        typedef T value_type;
};

那么我们可以通过CMyIterator::value_type获取迭代器所指向的类型。

接下来我们要实现一个算法Fun，其返回值类型为参数所指向的类型。

template <typename T>
typename CMyIterator<T>::value_type Fun(CMyIterator<T> i)
{
//...
}

这里我们内嵌value_type这个类型的意义在于：我们希望Fun这个函数能够适应所有类型的迭代器。

比如，Fun函数我们可以这样写：

template <typename Iter>
typename Iter::value_type Fun(Iter i)
{
//...
}

这样的话，所有定义了value_type内嵌类型的迭代器都可作为Fun()的参数。

目前，似乎我们的需求满足了，并没有什么bug，与traits技术好像也没什么关系。

但是当我们考虑将原生指针作为参数时，就会出现问题。原生指针内没有value_type内嵌类型。

OK，traits技术派上用场了。

我们使用单独的一个类获取value_type信息：

template <typename T>
class Traits
{
	typedef typename T::value_type value_type;
};

template <typename Iter>
typename Traits<Iter>::value_type Fun(Iter i)
{
	//...
}

不过好像并没有解决原生指针的问题。

OK，这时我们要采用partial specialization(偏特化)。

template <typename T>
class Traits<T*>
{
	typedef typename T value_type;
};

template <typename Iter>
typename Traits<Iter>::value_type Fun(Iter i)
{
	//...
}

关于特化和偏特化，将在下一篇中学习介绍。