本文介绍了一种确定迭代器所指向值类型的方法，利用萃取技术解决了原生指针和其他迭代器类型没有定义value_type的问题。
模板函数
若我们想要返回的 迭代器所指向的值类型
如：
template <class I>
XX func(I iter)
{
return *iter；
}
这个 XX 如何是确定呢？
func 一旦被呼叫，I 编译器会自动进行template参数推导
而无法知道 *iter 这个值的类型
如果是类 则可以在类里定义迭代器的值的类型 即 value_type.
template <class I>
struct MyIter
{
typedef I value_type;
......
......
}
然后模板函数就可以写成这样：
template <class I>
typename I::value_type
func(I iter)
{
return *iter；
}
比如定义一个这样的对象：
MyIter<int> iter;
可以知道类里的代码展开后为
typedef int value_type;
调用func(iter);
则模板函数为：
template<class MyIter<int>>
int //typename I::value_type
func(MyIter<int> iter)
{
return *iter；
}
通过这样的推导就可以确定迭代器所指的值的类型是 int 型
(typename I::value_type) 加上typename这个关键字是因为 I是一个模板参数
编译器在具体化之前，对I 一无所知。它并不知道MyIter<T>::value_type 是一个
类型或成员函数或成员变量。关键字typename是在告诉编译器这是一个类型。
但这样却还不够 比如迭代器不是class类型的 它就没有定义value_type。像原生指针
int * ....等。
sgi用了萃取技术来解决这个问题
template <class I>
struct iterator_traits
{
typedef typename I::value_type value_type
};
对于class 的迭代器
上面的例子模板函数则为：
template <class I>
typename iterator_traits<I>::value_type
func(I iter)
{
return *iter；
}
以MyIter<int> 代入
typedef typename I::value_type value_type =>
typedef typename MyIter<int>::value_type value_type =>(因为struct MyIter<int>{ typedef int value_type;})
typedef typename int value_type
所以
typename iterator_traits<I>::value_type =>
typename value_type =>
typename int
而对原生指针则再定义
template <class I>
struct iterator_traits<I *>
{
typedef I value_type
};
template <class I>
struct iterator_traits<const I *>
{
typedef I value_type
};
当func调用一个int的指针时：
int nRetCode = 0;
func(&nRetCode);
展开萃取模板为：
template <class int>
struct iterator_traits<int *>
{
typedef int value_type
};
为int 定义了 value_type;
template <class int>
struct iterator_traits
{
typedef typename int::value_type value_type
};
成功萃取到了int *指向值的类型 int
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
