如何为采用 stl 容器迭代器的函数提供函数签名？

Question

我想写一个函数my_func 可以这样调用，但不关心v 是std::vector，它可以是任何STL 容器。有点像std::for_each:

std::vector<std::string> v = {...};
my_func(v.begin(), v.end());

但我无法弄清楚函数签名。

void my_func(??? i1, ??? i2)
{
  std::for_each(i1, i2, ...); // dumb example implementation
}

我不擅长模板编程，所以即使查看 std::for_each 的函数声明也无济于事。

是否有一个简单的实现，或者这从根本上会使模板变量变得混乱？

Answer 1

这取决于您希望函数的通用程度。如果迭代器类型必须匹配，那么

template <typename T>
void my_func(T i1, T i2)
{
    std::for_each(i1,i2,...); //dumb example implementation
}

就是你所需要的。如果您希望它们能够有所不同，那么您只需要另一个模板参数，例如

template <typename T, typename U>
void my_func(T i1, U i2)
{
    std::for_each(i1,i2,...); //dumb example implementation
}

最后，如果您不喜欢处理模板，您可以改用 lambda，让编译器为您处理。那会给你

auto my_func = [](auto i1, auto i2)
{
    std::for_each(i1,i2,...); //dumb example implementation
};

Answer 2

你可以写一个模板函数

template<typename Iterator>
void my_func(Iterator startIter, const Iterator endIter)
{
  std::for_each(startIter, endIter, /* lambda */);
}

---

如果想知道如何传递std::for_each的第三个参数，可以再提供一个模板参数

const auto defaultCallable = [](auto element){ }; // does nothing
template<typename Iterator, typename Callable = decltype(defaultCallable)>
void my_func(Iterator startIter, const Iterator endIter, Callable func = {})
{
    std::for_each(startIter, endIter, func);
}

Answer 3

语法不是太晦涩！以下方式在使用点使用范围for：

template <template<typename...> class Iterable, typename T>
void foo(
    const Iterable<T>& y // the container
){
    for (auto&& e : y){
        // e is the 'thingy' in the container.
    }
}

您可以将任意类型的任何可迭代容器传递给foo。