在函数模板中使用 lambda，无法推断类型，makeSet() 用例

Question

我想要实现的是一个 makeSet() 函数，它接受三个参数、一对迭代器和一个转换值的函数。

一个用例可能是从一系列值创建一个集合并进行转换，例如，将std::map<K,V> 转换为std::set<std::pair<V,K>>.

客户端代码可能看起来像

auto s = makeSet(hash.begin(), hash.end(),
    [](std::pair<int,int> x) { return std::make_pair(x.second, x.first); });

我目前的尝试如下，

// (commented code are some other *failed* attempt).
template <typename Iterator,
        typename T = typename std::iterator_traits<Iterator>::value_type,
        template<typename ... > class Monad, typename R >
        // typename R, typename Monad = std::function<R(T)> >
std::set<R> makeSet(Iterator first, Iterator last, Monad<R,T> f) {
    std::set<R> res;
    for (; first != last; ++first) res.insert(f(*first));
    return res;
}

但不幸的是不起作用。这个问题看起来好像没有推导出 R。

有什么解决方案或解决方法吗？ 如果您能告诉我正确的方法，我将非常感激。

Answer 1

lambda 表达式的类型是一个未命名的类类型（它的闭包类型），而不是std::function。因此，您不能从中推断出std::function 或Monad。

您最好的选择是做标准库所做的事情，并简单地接受任何东西作为谓词：

template <
  class Iterator,
  class UnaryFunction
>
auto makeSet(Iterator first, Iterator last, UnaryFunction f) -> std::set<decltype(f(*first))>
{
  std::set<decltype(f(*first))> res;
  for (; first != last; ++first) res.insert(f(*first));
  return res;
}

请注意，您可能必须将decltype 包裹在std::remove_reference 和/或std::remove_cv 中以涵盖所有极端情况（或者，如@Yakk 所建议的那样，std::decay）。

另外，为避免重新发明轮子，您可能需要查看 Boost.Range 库。

Answer 2

“你对管道的考虑越多，堵塞排水管就越容易。” -- Scotty，星际迷航 III。

没有必要像那样过度设计模板功能。只需使用转发引用，让您的 C++17 编译器解决所有问题。

#include <set>
#include <map>
#include <utility>
#include <type_traits>

// (commented code are some other *failed* attempt).
template <typename Iterator, typename Lambda>
auto makeSet(Iterator first, Iterator last, Lambda &&f) {

    typedef typename std::remove_reference<decltype(first->first)>::type const_first_t;

    typedef typename std::remove_const<const_first_t>::type first_t;

    typedef typename std::remove_reference<decltype(first->second)>::type second_t;

    typedef std::pair<first_t, second_t> R;


    std::set<R> res;

    for (; first != last; ++first) res.insert(f(*first));
    return res;
}


void foo()
{
    std::map<int, int> m;

    std::set<std::pair<int, int>> s =
        makeSet(m.begin(), m.end(),
            [](const auto &x)
            {
                return std::make_pair(x.second, x.first);
            });

}