带有std :: function的C ++ 11组合失败[重复]

Question

（这里是 C++11 新手） 使用 C++11 lambda 尝试一些组合想法：

#include <iostream>
#include <functional>

struct A { };
struct B { };
struct C { };

B b4a (A a) {   B b; return b;   }
C c4b (B b) {   C c; return c;   }

我现在打印出的类型如下（type_name的定义有点跑题，但我有source of everything in this question building and working online here）：

cout << "b4a : " << type_name<decltype(b4a)>() << endl;
cout << "c4b : " << type_name<decltype(c4b)>() << endl;
auto c4a = [=] (A a) { return c4b (b4a (a)); };
cout << "c4a : " << type_name<decltype(c4a)>() << endl;

产生以下看起来合理的输出：

b4a : B (A)
c4b : C (B)
c4a : main::{lambda(A)#1}

我现在尝试将组合本身抽象如下：

template <typename R, typename S, typename T>
std::function<R (T)> compose 
(   std::function <R (S)> r4s
,   std::function <S (T)> s4t   ) 
{   return [=] (T t) {   r4s (s4t (t));  };  }

我收到以下错误

main.cpp: In function 'int main()':
main.cpp:44:33: error: no matching function for call to 'compose(C (&)(B), B (&)(A))'
     auto c4a = compose (c4b, b4a);
                                 ^
main.cpp:44:33: note: candidate is:
main.cpp:34:17: note: template<class R, class S, class T> std::function<R(T)> compose(std::function<R(S)>, std::function<S(T)>)
 function<R (T)> compose 
                 ^
main.cpp:34:17: note:   template argument deduction/substitution failed:
main.cpp:44:33: note:   mismatched types 'std::function<R(S)>' and 'C (*)(B)'
     auto c4a = compose (c4b, b4a);

暗示存在“指向函数类型”的问题；但我认为std::function<...> 应该把它抽象出来？

加入显式类型参数

auto c4a = compose<C, B, A> (c4b, b4a);

更改错误，但无济于事：

main.cpp: In instantiation of 'std::function<R(T)> compose(std::function<R(S)>, std::function<S(T)>) [with R = C; S = B; T = A]':

main.cpp:44:42:   required from here
main.cpp:37:42: error: could not convert '<lambda closure object>compose(std::function<R(S)>, std::function<S(T)>) [with R = C; S = B; T = A]::<lambda(A)>{std::function<C(B)>((*(const std::function<C(B)>*)(& r4s))), std::function<B(A)>((*(const std::function<B(A)>*)(& s4t)))}' from 'compose(std::function<R(S)>, std::function<S(T)>) [with R = C; S = B; T = A]::<lambda(A)>' to 'std::function<C(A)>'
 {   return [=] (T t) {   r4s (s4t (t));  };  }

显式转换

auto c4a = compose (std::function<C(B)>(c4b), std::function<B(A)>(b4a));

或

auto c4a = compose<C, B, A> (std::function<C(B)>(c4b), std::function<B(A)>(b4a));

产生与上述相同的错误。线索？

Answer 1

c++11 std::function 在还需要模板类型推导时，不隐式接受“相同类型”的 lambda。在这种情况下，您必须明确地将您的 lambda 转换为 std::function 对象或将其存储在 std::function 对象中，然后才能在您的函数组合中使用它。目前的c++标准似乎不能同时处理隐式类型转换和模板类型推导，可能是因为可能性组合太多，以及相关的歧义问题。

如果您有兴趣，请在此处查看我的相关问题：why do lambda functions in c++11 not have function<> types?。

基本上，每个 lambda 就像一个具有自己的调用运算符 () 的对象。因此，即使您有两个 lambda 都采用 A 并返回 B，它们也是两种不同的类型。

我有一个包装器make_function 来为明确的情况进行类型转换here：

以下方法可能有效：

auto c4a = compose<C, B, A> (make_function(c4b), make_function(b4a));