模板函数
若我们想要返回的 迭代器所指向的值类型
如:
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