c++ - 定义函数时，lambda 函数/表达式是什么类型？

Question

我想定义一个接受(除了它通常的输入参数之外)lambda 函数的函数。我想尽可能地限制该功能(它自己的输入和返回类型)。

int myfunc( const int a, LAMBDA_TYPE (int, int) -> int mylamda )
{
    return mylambda( a, a ) * 2;
}

这样我就可以调用函数如下:

int input = 5;
myfunc( input, [](int a, int b) { return a*b; } );

定义 myfunc 的正确方法是什么？

有没有办法定义默认的 lambda？像这样:

int myfunc( const int a, LAMBDA_TYPE = [](int a, int b) { return a*b; });

Answer 1

如果你拿 std::function<int(int,int)>它会有开销，但它会做你想做的。它甚至可以在 C++14 中正确重载。

如果您不希望 std::function 的类型删除和分配开销你可以这样做:

template<
  class F,
  class R=std::result_of_t<F&(int,int)>,
  class=std::enable_if_t<std::is_same<int,R>{}>
>
int myfunc( const int a, F&& f )

或检查可转换为 int而不是千篇一律。这是 sfinae 解决方案。 ¹

这将适本地重载。为了简洁起见，我使用了一些 C++14 特性。替换 blah_t<?>与 typename blah<?>::type在 C++11 中。

另一种选择是 static_assert类似的条款。这会生成最好的错误消息。

终于可以直接使用了:如果不能按照你的方式使用，代码将无法编译。

在 C++1z 概念中，将有更简单/更少的代码沙拉方法来执行 sfinae 解决方案。

---

¹ 在某些编译器上 std::result_of不能和 sfinae 玩得很好。在那些上，将其替换为 decltype(std::declval<F&>()(1,1)) .除非您的编译器不支持 C++11(如 msvc 2013 和 2015)，否则这将有效。 (幸运的是 2013/3015 有一个不错的 result_of )。