STL Type Traits

 模板的引入 使c++产生了泛型的算法 泛型的容器
这两个是个好东西 但是在将两项技术结合的时候产生了一个问题 就是在写程序的时候要暴露对象的类型
就像这个样子 :
template<typename T>
vector<T>::iterator find(const T& )
{
........
}
而如果暴露了类型的话 那么就不能写一段代码而完成问题了 必须为每种容器都写出相同的算法
怎么办呢 可以在find中传出两个参数
template<typename T>
vector<T>::iterator find(const T&, T& result )
{
........
}
但是好像还是有问题 譬如类型的引用 还有size 指针 等等 都是不同的类型 写起来还是很头大
于是 聪明的人们想出了type traits这项技术
这项技术
typename<typename T>
class iterator
{
public:
    typedef T value_type
}
typename<typename I>
typename I::value_type
find(I &)
{
}
PS ：注意 这个传入的I是一个迭代器哦
我们把他需要传回的值 现在 所有的问题就都解决了呢

可能写的比较混乱 但是大概也能明白那个意思吧 ...