获取 lambda 的函数原型

Question

我正在创建一个通用 C++ EventEmitter。它基于Node.js EventEmitter：

template <typename ...Args>
int16_t EventEmitter::addListener(uint32_t eventId, std::function<void(Args...)> cb)
{
    ...
}

template <typename... Args>
void EventEmitter::emit(uint32_t eventId, Args... args)
{
    ...
}

它按预期工作（我可以使用不同的原型注册侦听器）。例如：

auto handler = [](int n) { ... };

listener.addListener(0, std::function<void(int)>(handler));

但我不想每次添加一个（有些参数超过5个）时都将整个监听器原型输入std::function<...>，然后我决定创建一个宏：

#define STDFUNC(fn) std::function<decltype(fn)>(fn)

问题是当我尝试将它与 lambdas 一起使用时：decltype(handler) 不是void(int)，而是class lambda []void (int n)->void，会产生错误：

(Clang 3.7.1) -> 错误：未定义模板的隐式实例化 'std::_Get_function_impl

我正在挠头以获得没有 lambda 限定符的原型，但我被困住了。任何帮助将不胜感激。

Answer 1

这是一个为任意 lambda 生成函数对象的小程序：

#include <functional>
#include <type_traits>

template <typename R, typename... A>
class build_func_type
{
 public:
   using type = ::std::function<R(A...)>;
};

template <typename R, typename C, typename... A>
typename build_func_type<R, A...>::type mem_func_to_func( R(C::*)(A...) const)
{
   return nullptr;
}

template <typename T>
decltype(mem_func_to_func(&T::operator ())) lambda_to_fp(T le)
{
    using func_t = decltype(mem_func_to_func(&T::operator ()));
    return func_t{le};
}

int test()
{
   auto foo = [](int x) -> int { return x * x; };
   auto ftype = lambda_to_fp(foo);
   return ftype(5);
}

它使用函数mem_func_to_func 自动推断lambda 的operator () 的类型。然后它使用build_func_type 模板从lambda 的operator () 类型的组件中构建一个函数类型。我可能在 build_func_type 中使用了构造函数，并为此依赖 C++17 构造函数类型推导。

然后lambda_to_fp 将采用 lambda，使用 mem_func_to_func 从指向 lambda 的 operator () 成员函数的指针创建指向适当函数类型的指针。然后它创建一个适当类型的::std::function，从函数指针的类型构造该类型。然后它用 lambda 初始化它并返回它。