c++ - 如何编写一个将泛型迭代器作为参数的模板化函数

Question

我一直在写一个模板化的静态类。对于其中一种方法，我希望能够传入任何迭代器，而不仅仅是来自特定数据结构（如 List）的迭代器。

template <class T> 
class Foo
{
public:
      template<typename InputIterator>
      static bool bar(T&, InputIterator start, InputIterator end);
};

template <class T, typename InputIterator>
bool Foo<T>::bar(T& data, InputIterator start, InputIterator end)
{
    typename InputIterator::const_iterator it = start;
    while(it != end)
    {
        //logic here
        it++;
    }
    return true;
}

上面是我尝试过的一个例子，但是对于这个基本设计的不同变体，我不断收到各种编译器错误。

标签： c++templatesiteratorc++98

Answer 1

定义嵌套成员函数模板的正确方法是：

template <class T>
template <typename InputIterator>
bool Foo<T>::inRange(T&, InputIterator start, InputIterator end)
{
    typename InputIterator::const_iterator it = start;
    while(it != end)
    {
        //logic here
        it++;
    }
    return true;
}