stl traits 技术 读书笔记

模板函数

若我们想要返回的 迭代器所指向的值类型

如：

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