如何让C++捕获式Lambda转函数指针时自动推导模板参数？

当然可以自动推导模板参数，核心思路是提取Lambda调用操作符的签名信息，从而避免手动重复指定参数类型。以下是具体实现和说明：

核心实现原理 #

通过定义辅助模板callable_traits，提取Callable类型（比如Lambda）的调用操作符的返回值和参数类型，再基于这些自动推导的类型重构wrap_closure函数。

完整代码实现 #

#include <functional>
#include <type_traits>

// 辅助模板：提取Callable的调用操作符签名
template<typename Callable>
struct callable_traits : callable_traits<decltype(&Callable::operator())> {};

// 针对非const Lambda调用操作符的特化
template<typename Callable, typename Ret, typename... Args>
struct callable_traits<Ret (Callable::*)(Args...)> {
    using return_type = Ret;
    using args_tuple = std::tuple<Args...>;
    template<std::size_t N>
    using arg_type = std::tuple_element_t<N, args_tuple>;
};

// 针对const Lambda调用操作符的特化（兼容捕获只读变量的Lambda）
template<typename Callable, typename Ret, typename... Args>
struct callable_traits<Ret (Callable::*)(Args...) const> {
    using return_type = Ret;
    using args_tuple = std::tuple<Args...>;
    template<std::size_t N>
    using arg_type = std::tuple_element_t<N, args_tuple>;
};

// C++17版本：支持任意数量参数的wrap_closure（推荐）
template<typename Callable, std::size_t... Is>
auto wrap_closure_impl(const Callable& c, std::index_sequence<Is...>)
    -> typename callable_traits<Callable>::return_type(*)(typename callable_traits<Callable>::template arg_type<Is>...) {
    static Callable closure = std::move(c);
    return +[](typename callable_traits<Callable>::template arg_type<Is>... args) {
        closure(args...);
    };
}

template<typename Callable>
auto wrap_closure(const Callable& c) {
    using traits = callable_traits<Callable>;
    using args_tuple = typename traits::args_tuple;
    return wrap_closure_impl(c, std::make_index_sequence<std::tuple_size_v<args_tuple>>{});
}

简化后的使用示例 #

现在调用wrap_closure时无需手动指定模板参数，直接传入Lambda即可：

// 捕获EthernetClient& client引用
void* s = mz_stream_write_callback_create(
    wrap_closure(
      [&](const void* buf, int32_t size) -> void {
        while(size > 0) {
          size_t written = client.write((const uint8_t*)buf, std::min(size_t(size), sizeof(HTTP_req)));
          if(!written) {
            break;
          }
          size -= written;
          buf = (const uint8_t*)buf + written;
        }
      }
    )
);

注意事项 #

• 静态变量closure是全局唯一的：多次调用wrap_closure时，后续传入的Lambda会覆盖之前的静态实例。如果需要支持多个独立回调，需要改用堆存储Lambda并通过C风格API的上下文参数传递（前提是API支持用户自定义上下文）。
• 编译器版本要求：C17及以上版本支持std::make_index_sequence和折叠表达式，若需兼容C11/14，可手动扩展参数数量（比如最多支持3个参数的版本，在返回类型和Lambda参数中逐个添加arg_type<N>）。

内容的提问来源于stack exchange，提问作者Alexandr Zarubkin