将参数不依赖模板参数的泛型Lambda转换为函数指针

当泛型Lambda的参数类型与模板参数无关联时（例如示例中Lambda接受int参数，模板参数T仅用于内部类型转换），无法通过常规隐式转换直接得到对应模板实例的函数指针。以下是具体问题分析和解决方案：

问题代码示例 #

#include <iostream>

int main()
{
    auto lambda = []<class T>(int v) -> void
    {
        std::cout << typeid(T).name() << ' ' << static_cast<T>(v) << '\n';
    };

    // 尝试转换失败：无法编译
    // auto seeked_ptr_char = lambda.operator fptr_t<char>();

    // 临时解决方案：使用成员函数指针调用
    auto mptr_char = &decltype(lambda)::operator()<char>;
    decltype(mptr_char) mptr_float = &decltype(lambda)::operator()<float>;

    (lambda.*mptr_char)(48);
    (lambda.*mptr_float)(52);

    // 参数依赖模板参数的场景可直接转换（非目标场景）
    auto another_lambda = []<class T>(T v) -> void
    {
        std::cout << v << '\n';
    };

    void(*ptr_char)(char) = another_lambda;
    ptr_char(50);
 
    return 0;
}

该代码在x86-64 gcc 12.1 -std=c++20 -O3、x86-64 clang 14.0.0 -std=c++20 -O3环境下无法编译。

问题原因 #

参数依赖模板参数的泛型Lambda（如<T>(T v)）可通过目标函数指针的类型推导模板参数T，从而完成隐式转换。但当参数与模板参数无关联时，编译器无法推导T的类型，因此直接转换失败。

无捕获泛型Lambda的闭包类型本质是带有模板operator()的类，其operator()是成员函数，但由于Lambda无捕获状态，该成员函数可转换为普通函数指针（无需绑定闭包对象）。

解决方案 #

直接转换为普通函数指针 #

通过显式指定模板参数，获取闭包类型的operator()实例，再转换为对应普通函数指针：

// 获取T=char对应的函数指针
void(*seeked_ptr_char)(int) = +decltype(lambda)::operator()<char>;
// 获取T=float对应的函数指针
void(*seeked_ptr_float)(int) = static_cast<void(*)(int)>(&decltype(lambda)::operator()<float>);

// 直接调用函数指针
seeked_ptr_char(48);
seeked_ptr_float(52);

辅助模板函数简化写法 #

如果需要多次转换，可编写辅助模板函数封装转换逻辑：

template <typename T, typename Lambda>
auto get_lambda_func_ptr(Lambda&&) {
    // 根据Lambda的参数和返回值调整函数指针类型
    return static_cast<void(*)(int)>(&Lambda::operator()<T>);
}

// 使用示例
auto ptr_char = get_lambda_func_ptr<char>(lambda);
auto ptr_float = get_lambda_func_ptr<float>(lambda);

ptr_char(48);
ptr_float(52);

这两种方案均可在指定的编译器环境下正常编译运行，且直接得到普通函数指针，调用方式更简洁。

内容的提问来源于stack exchange，提问作者Marcin Poloczek