"std：：vector：<T>：iterator"模板化函数的C ++正确语法

c++ proper syntax for templated function of `std::vector<T>::iterator`

本文关键字：函数 语法 iterator vector std lt gt      更新时间：2023-10-16

我正在尝试编写一个模板，该模板将任何类型的向量的迭代器作为其参数。当我尝试编译以下内容时，它会给我一个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());
}

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

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

edit好的，这里有一个例子。当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);
}

根据OP的请求，请参阅下文。您可以使用任何有效的容器前向迭代器，它支持来自operator *()的值引用，例如向量、deque、列表等。这不使用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;
}
相关文章：