C++ 仿函数和模板 : error: declaration of 'class List'

Question

我在模板类中有一个嵌套模板，用于名为 List::find() 的方法。此方法获取一个仿函数作为输入，即:“函数条件”。

template<class T>
class List {
....
template<class Function>
Iterator find(Function condition) const;
....
};

template<class T, class Function>
typename List<T>::Iterator List<T>::find(Function condition) const {
   List<int>::Iterator it = this->begin();
   for (; it != this->end(); ++it) {
   if (condition(*it)) {
       break;
   }
   }
   return it;
}

错误是:

..\list.h:108:62: error: invalid use of incomplete type 'class List<T>'
..\list.h:16:7: error: declaration of 'class List<T>'

我应该如何引用列表？为什么声明不正确？

编辑:

现在更改为:

template<class T>
template<class Function>

我收到这些错误:

..\list.h:111:30: error: no match for 'operator++' in '++it'
..\list.h:112:18: error: no match for 'operator*' in '*it'

引用此运算符声明(其中之一):

template<class T>
typename List<T>::Iterator& List<T>::Iterator::operator++() {
    List<T>::ConstIterator::operator++();
    return *this;
}

为什么这个运算符的声明对于 find() 的每个实现都必须不同？

Answer 1

不是

template<class T, class Function>
typename List<T>::Iterator List<T>::find(Function condition) const {
   ...
}

而是

template<class T>
template<class Function>
typename List<T>::Iterator List<T>::find(Function condition) const {
   ...
}

你必须“分开”这两个 template<...> (第一个用于类，第二个用于成员函数)。