迭代器 - vector::itrator 和 array::iterator 的重载函数

Iterators - Overloading functions for vector::iterator and array::iterator

本文关键字：iterator 重载 函数 array vector itrator 迭代器      更新时间：2023-10-16

我正在尝试重载某个函数，所以只有连续容器的迭代器（std：：vector：：iterator ，std：：array：：iterator 和内置数组迭代器 == 原始指针）可以是有效的参数。

由于某种原因，我的函数无法为向量和 std：：array 编译：

功能：

template <class T,size_t N>
void catchIterator(typename std::array<T, N>::iterator it) {
    //do somthing
}
template <class T>
void catchIterator(typename std::vector<T>::iterator it) {
    //do somthing
}

使用示例 ： 

std::array<int, 10> arr;
auto it = arr.begin();
catchIterator(it);
std::vector<int> vec;
auto it0 = vec.begin();
catchIterator(it0);

错误：

Error (active)      no instance of overloaded function "catchIterator" matches the argument list
Error (active)      no instance of overloaded function "catchIterator" matches the argument list    
Error   C2783   'void catchIterator(std::array<_Ty,_Size>::iterator)': could not deduce template argument for 'T'   
Error   C2783   'void catchIterator(std::array<_Ty,_Size>::iterator)': could not deduce template argument for 'N'
Error   C2672   'catchIterator': no matching overloaded function found

我正在使用VC++和Visual studio 2015 RTM。

这些错误是不言自明的，但我想知道是否编译器无法真正从它和 it0 中推断出 T 和 N，之后所有，它是它/it0类型的一部分。

如何使其工作？

编辑：
我将接受@ForEveR建议，并将容器+迭代器/索引作为参数传递。谢谢！

你的函数不能工作，因为编译器无法从迭代器中推断出你发送到函数的T和N。您可以使用std::enable_if .

template <class Iterator>
typename std::enable_if<std::is_same<Iterator, typename std::array<typename std::iterator_traits<Iterator>::value_type, 1>::iterator>::value, void>::type
catchIterator(Iterator it) {
    //do somthing
}
template <class Iterator>
typename std::enable_if<std::is_same<Iterator, typename std::vector<typename std::iterator_traits<Iterator>::value_type>::iterator>::value, void>::type 
catchIterator(Iterator it) {
    //do somthing
}

但是如果vector::iterator和array::iterator是同一类型（例如在gcc上），实际上存在一个问题 - 代码将无法编译，因为编译器不知道它应该使用哪个函数。

最好的方法是将容器作为第一个参数传递，将迭代器作为第二个参数传递。

template <typename T, size_t N>
void catchIterator(const std::array<T, N> &, typename std::array<T, N>::iterator it) {
    //do somthing
}
template <typename T>
void catchIterator(const std::vector<T> &, typename std::vector<T>::iterator) {
    //do somthing
}
相关文章：