Traits编程技法

迭代器所指对象的类型称为迭代器的value_type
函数参数推到技巧虽然可以用于valuetype但是如果valuetype必须用于函数的返回值那该怎么办？
参数推导机制并不适用于返回值。

有一些其他的方式技巧值得去学习。
声明内嵌类型似乎是个不错的解决办法。

template <class T> 
struct MyIter {
typedef T value_type;
//剩下的其他部分
};

template <class I>
typename I::value_type
func(I ite) 
{
//具体函数体
}

在每个迭代器内部嵌套声明对应指向的对象的类型为value_type 这样在函数func当中将返回值声明为I作用域内声明的value_type 即使我们不知道迭代器I指向的对象是什么我们可以通过迭代器内部的value_type 得到相应的类型。
为什么要加上typename呢
因为在T被具体的实现之前编译器都不知道他，也就不知道这个value_type具体代表什么，这个typename就是告诉编译器这是一个类型这样才可以通过编译。