如何在单个模板调用中传递const_iterator和非const迭代器

Question

我想知道如何将const_iterator传递给模板。例如，在下面的调用和函数模板中。

first1和last1的迭代器是

std::vector<std::pair<cv::Point_<float>, cv::Point_<float> > >::iterator

first2和last2的迭代器是const_iterator

std::vector<std::pair<cv::Point_<float>, cv::Point_<float> > >::const_iterator
template < typename T>
T my_function(T __first1, T __last1, T __first2, T __last2, T __result)
{
}

呼叫是

my_function(co1.begin(), co1.end(), co2.begin(), co2,end(), result.begin());

有没有办法在一个模板中同时传递一个普通迭代器和一个const_iterator？

错误为

error: no matching function for call to ‘my_function(std::vector<std::pair<cv::Point_<float>, cv::Point_<float> > >::iterator, std::vector<std::pair<cv::Point_<float>, cv::Point_<float> > >::iterator, std::vector<std::pair<cv::Point_<float>, cv::Point_<float> > >::const_iterator, std::vector<std::pair<cv::Point_<float>, cv::Point_<float> > >::const_iterator, std::vector<std::pair<cv::Point_<float>, cv::Point_<float> > >::iterator)’’
my_function(co1.begin(), co1.end(), co2.begin(), co2.end(), result.begin());

Answer 1

显然，您需要不同的类型才能成功推导，而不仅仅是T:

template <typename T1, typename T2>
T1 my_function(T1 __first1, T1 __last1, T2 __first2, T2 __last2, T1 __result) { ... }

你可以添加SFINAE检查(高级！((无论你想用什么方式(：

std::enable_if_t<std::is_convertible_v<T2, T1>> // C++17 way

以保留CCD_ 2仅为CCD_ 3的const版本的限制。您可能需要为_result和返回类型添加一个单独的类型。

Answer 2

不要尝试将一种迭代器类型转换为另一种，只需添加另一种模板类型，允许两个范围具有两种不同类型的迭代器。

template < typename T, typename U, typename O>
T my_function(T __first1, T __last1, U __first2, U __last2, O __result)
{
}

^{还为输出类型添加了第三种类型}

这使得函数更加通用和灵活。