g ++無法推斷功能圖實現的模板類型

Question

作爲一個練習（注意，我知道std :: transform），我試圖實現通常在函數式語言上找到的映射函數，例如C++中的Haskell 。這是我的代碼：

#include <iostream> 
#include <vector> 
#include <functional> 

template<typename A, typename B> 
std::vector<B> functional_map (std::function<B(A)> func, std::vector<A> v) 
{ 
    std::vector<B> result(v.size()); 
    for(int i = 0; i < v.size(); ++i) { 
     result[i] = func(v[i]); 
    } 
    return result; 
} 

儘管如此，當這樣調用編譯器無法正確推斷functional_map模板類型：

int square (int x) {return x*x;} 

int main() 
{ 
    std::vector<int> v = {1,2,3,4,5,6,7,8,9,10}; 
    std::vector<int> v2 = functional_map(square, v); 
    for (int y : v2) { 
     std::cout << y << " "; 
    } 
} 

這是G ++所產生的錯誤：

functional_cpp.cpp: In function ‘int main()’: 
functional_cpp.cpp:18:35: error: no matching function for call to ‘functional_map(int (&)(int), std::vector<int>&)’ 
    vector<int> v2 = functional_map(square, v); 
           ^
functional_cpp.cpp:6:44: note: candidate: template<class A, class B> std::vector<B> functional_map(std::function<B(A)>, std::vector<A>) 
template<typename A, typename B> vector<B> functional_map (function<B(A)> func, vector<A> v) { 
              ^
functional_cpp.cpp:6:44: note: template argument deduction/substitution failed: 
functional_cpp.cpp:18:35: note: mismatched types ‘std::function<B(A)>’ and ‘int (*)(int)’ 
    vector<int> v2 = functional_map(square, v); 

顯然，克++失敗以匹配正則函數指針std::function類型，它是由使所有功能一致的打字在C++中。請注意，由拉姆達改變方也沒有編譯（但類型正在對變化相匹配，從nt (&)(int)到lambda(int)。

話雖這麼說，改變functional_map到functional_map<int, int>編譯成功，並用正確的結果執行。

這是爲什麼發生了什麼？我怎樣才能解決我的實現，因此編譯器會推斷出模板類型？

編輯爲了避免混淆std::map，作爲意見建議我在更名「地圖」與「functional_map」所有問題

Answer 1

一種選擇是採取任何可調用的函數對象，並推斷其結果類型：

#include <type_traits> 

template <typename F, typename A, 
      typename B = typename std::decay<typename std::result_of<F&(typename std::vector<A>::const_reference)>::type>::type> 
std::vector<B> functional_map(F func, const std::vector<A>& v) 
{ 
    std::vector<B> result(v.size()); 
    for (int i = 0; i < (int)v.size(); ++i) 
    { 
     result[i] = func(v[i]); 
    } 
    return result; 
} 

DEMO 1

std::result_of<F(Args...)>是一種性狀是利用std::declval<T>()函數和decltype()說明符的組合來推導出結果類型使用Args...類型的參數調用類型爲F的函數對象。也就是說，

typename std::result_of<F&(typename std::vector<A>::const_reference)>::type 

等同於：

decltype(std::declval<F&>()(std::declval<typename std::vector<A>::const_reference>())) 

這是一樣的：

decltype(func(v[i])) 

您不支付類型擦除，但你仍然能夠獲取類型B。

通過std::decay<T>您確定的類型可以存儲在向量中（以防函數對象返回引用等）。

或者，你可以聲明爲：

template <typename F, typename A> 
auto functional_map(F func, const std::vector<A>& v) 
    -> std::vector<typename std::decay<decltype(func(v[0]))>::type> 
{ 
    using B = typename std::decay<decltype(func(v[0]))>::type; 
    std::vector<B> result(v.size()); 
    for (int i = 0; i < (int)v.size(); ++i) 
    { 
     result[i] = func(v[i]); 
    } 
    return result; 
} 

DEMO 2

這或多或少是相同的。

Answer 2

模板參數推導不考慮用戶定義的轉換。

讓自己轉換：

vector<int> v2 = functional_map(std::function<int(int)>(square), v);