c++ - 如何使用迭代器作为模板参数并返回其值？

Question

假设我想写一个这样的函数:

template<typename Iterator, typename Iterator_value> 
Iterator_value foo(Iterator begin, Iterator end)
{
    vector<Iterator*> v(begin, end);
    do something
    return begin*;
}

这只是一个演示，我知道有很多错误。问题是:

• 如何创建仅包含迭代器信息的 vector ？

• 如何用模板写迭代器的返回值？

这是一个例子，我想写一个通用的中值函数，我想返回准确的值而不是返回一个迭代器。类似于 std::find .

此外，我不想修改原始内容，所以我想创建一个 vector 来复制迭代器值。如何创建仅包含迭代器的 vector ？

我怎样才能做到这一点？

Answer 1

您可以使用std::iterator_traits

template<typename Iterator>
typename std::iterator_traits<Iterator>::reference
foo(Iterator begin, Iterator end)
{
    vector<typename std::iterator_traits<Iterator>::value_type> v(begin, end);
    //do something
    return *begin;
}

auto 和 decltype 是替代方案:

template<typename Iterator>
decltype(auto) // C++14
foo(Iterator begin, Iterator end)
// or auto foo(..) -> decltype(*begin) in C++11
{
    std::vector<std::decay_t<decltype(*begin)>> v(begin, end);
    //do something
    return *begin;
}