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);