在函數模板中使用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; 
} 

請注意您可能必須包裝在std::remove_reference的decltype和/或std::remove_cv覆蓋所有（或者，如@Yakk,std::decay所建議的）。

此外，爲避免重新發明車輪，您可能需要查看Boost.Range庫。

Answer 2

「你越想過管道，越容易阻止排水管。」 - Scotty，Star Trek 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); 
      }); 

}