C++ traits编程技法（一）

本文章部分内容取stl源码剖析

在使用一些模板类时，经常会看到 

ATest<int> a;

ATest<int*> a;

ATest<int>::value_type a;

...

那ATest里面的代码是怎么样写的呢，这就用到了Traits编程技法，主要是用template参数推导机制。

template<class T>
struct MyIter
{
	typedef T value_type;
	T* ptr;
	MyIter(T* p = 0):ptr(p)
	{

	}
	T& operator*() const 
	{
		return *ptr;
	}
};

其中typedef T value_type，则T定义一个型别（类型的别名），它是给其它函数要返回T的类型值用的，因为要它MyIter作参数传入其它函数时，该函数是无法知道T的类型的，

有了value_type，则很好地解决了这个问题。如下函数的使用MyIter作参数：

template<class I>
typename I::value_type
func(I ite)
{
	return *ite;
};
MyIter<int> ite(new int(8));
cout << func(ite) << endl;

看到了吧，ite作为参数传入，func函数是不知道T的，但func中使用了typename I::value_type则是将iter中的T取了出来，从而编译器知道T的类型(返回值)为int

上面这个例子，是不能将指针放到MyIter中的，如：MyIter<int*> 这就有会些限制，那如何才能做到呢？

这就要使用到Partial Specialization(偏特化)，是将模块参数进行特化，如下代码

先写基本模板类（必要）

template<class I>
struct iterator_traits2
{
	typedef typename I::value_type value_type;
};

typedef typename I::value_type value_type;//指如果I本来就有value_type，再别名为value_type

这个模板类I目前也只能传class type的I，为了能传指针类型，则需要对它进行扩展（加），如下：

template<class I>
struct iterator_traits2<I*>
{
	typedef  I value_type;
};

使用方法就不多说了，把iterator_traits2理解为上面的MyIter那样使用即可。