0

我正在尝试编写一个模板，该模板将任何类型的向量的迭代器作为其参数。当我尝试编译以下内容时，它给了我一个no matching function call错误。

#include <vector>

struct A { int x; };

template <class T>
void process (typename std::vector<T>::iterator begin, 
              typename std::vector<T>::iterator end)
{ for(; begin != end; begin++) { /*do_something*/ } }

int main()
{
   std::vector <A> obj;
   process(obj.begin(), obj.end());
}
4

2 回答 2

2

根据 OP 的要求，请参见下文。你可以使用任何有效的容器前向迭代器，它支持来自向量、双端队列、列表等的值引用operator *()。这不使用 chris 提到的静态断言逻辑，我把它留给你决定。

#include <iostream>
#include <iterator>

template<typename Iterator>
void process(Iterator start, Iterator stop)
{
    typedef typename std::iterator_traits<Iterator>::value_type value_type;
    for (Iterator it=start; it != stop; ++it)
    {
        const value_type& val = (*it);

        // do something with val
        std::cout << val << std::endl;
    }
}

int main()
{
    int ar[] = { 1,2,3,4,5 };

    process(std::begin(ar), std::end(ar));
    return 0;
}
于 2013-08-22T00:46:14.720 回答
2

1T不能从参数类型推导出类型。

2为什么要将函数限制为只接受std::vector元素的迭代器？如果您真的只想要矢量元素，最好将std::vector<T> const&其作为参数。但最好简单地采用任何迭代器参数（或任何容器参数）。

编辑好吧，这是一个例子。您可以省略static_assert, 当它变得相同时（除了返回类型）std::for_each(begin,end,do_something);

template <class It>
void process(It begin, const It end)
{
  static_assert(std::is_same<typename std::iterator_traits<It>::iterator_category,
                             std::random_access_iterator_tag>::value,
                "arguments not random access iterators");
  for (; begin != end; ++begin)
    do_something(*begin);
}
于 2013-08-21T23:59:21.507 回答