模板类中定义std::list::iterator iter容器的迭代器变量的问题

template <typename HashedObj>
class HashTable{
    public:
        explicit HashTable(int size=101);
        bool remove(const HashedObj& x);
    private:
        vector<list<HashedObj> >theLists;                              
        int currentSize;
        typedef list<HashedObj>::iterator Litr;
        Litr& find(const Litr& start,const Litr& end,const HashedObj& x) const{
            for(Litr itr=start;itr!=end;itr++)
                if(x==*itr)
                    return itr;
            return end;
        }
};

上面代码没给完整，只给了出问题的部分大概意思就是一个分离链接法的散列表实现，然后remove函数里想用一个list<HashedObj>类型的迭代器来完成查询和删除工作，然后编译提示如下：need 'typename' before 'std::list<HashedObj>::iterator' because 'std::list<HashedObj>' is a dependent scope

需要显式的对这个iterator进行声明这是一个类型。
例如换成下面的即可，在前面加个typename 进行声明。
 typename vector<elemType>::const_iterator iter_begin = vec.begin();
 typename vector<elemType>::const_iterator iter_end = vec.end();

--------------------------------------------------分割线-------------------------------------------------

下面这段内容来自C++primer(第四版)

除 了定义数据成员或函数成员之外，类还可以定义类型成员。例如，标准库的容器类定义了不同的类型，如 size_type，使我们能够以独立于机器的方式使用容器。如果要在函数模板内部使用这样的类型，必须告诉编译器我们正在使用的名字指的是一个类型。必 须显式地这样做，因为编译器（以及程序的读者）不能通过检查得知，由类型形参定义的名字何时是一个类型何时是一个值。例如，考虑下面的函数：

template <class Parm, class U>
Parm fcn(Parm* array, U value)
{
       Parm::size_type * p; // If Parm::size_type is a type, then a declaration
                              // If Parm::size_type is an object, then multiplication
}

我们知道 size_type 必定是绑定到 Parm 的那个类型的成员，但我们不知道 size_type 是一个类型成员的名字还是一个数据成员的名字，默认情况下，编译器假定这样的名字指定数据成员，而不是类型。

如果希望编译器将 size_type 当作类型，则必须显式告诉编译器这样做：

template <class Parm, class U>
Parm fcn(Parm* array, U value)
{
     typename Parm::size_type * p; // ok: declares p to be a pointer
}