何时在类型前加typename

首先，针对typename这个修饰符我不再赘述它的作用是什么，我只是表达出何时加上typename这个事情。

我们知道，当我们定义了一个类，并在其中加入了一些类型，例如“typedef T* iterator”，此时如果我们在一个template function中使用了其中的iterator，那么我们需要这样使用：

template<typename T>
void f()
{
    tyname T::iterator iter;
}

因为在编译器看来，它不知道这个是类型T中的变量还是类型，所以要加上typename，但是在我接下来的代码中：

template<class T, class Alloc>
tyname vector<T, Alloc>::iterator vector<T, Alloc>::allocate_and_fill(size_type n, const value_type& val)
{
    iterator result = data_allocator::allocate(n);
    uninitialized_fill_n(result, n, val);
    result = result - n;
    return result;
}

我同样在class vector中定义了size_type和value_type，那么为什么这两个就不需要加上？

我们在定义allocate_and_fill函数的时候，在前面加了命名空间作用域 vector<T, Alloc>，那么在allocate_and_fill的函数中，参数的相关类型一定是以vector中定义的为主，这个是C++拥有的“作用域内名字覆盖”的特性。但是他的返回值iterator在定义的时候并没有放在vector<T, Alloc>::的作用域中，所以链接器会去找在smart_stl命名空间中的iterator，于是就在其他的.cpp文件中找到了这个类型，但他并不是在vector类中定义的那个iterator，所以要加上作用域vector<T, Alloc>。

但是iterator作用类型，是vector<T, Alloc>中的“嵌套从属类型名称”，所以要在前面加上typename。