首先,针对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。