时间戳

首页 > 解决方案 > C++20 '熟悉的模板' lambdas：在函数指针转换中指定显式参数

c++ - C++20 '熟悉的模板' lambdas：在函数指针转换中指定显式参数

问题描述

假设我在 C++20 中有以下代码，使用 P0428 中引入的显式模板参数 lambda 功能：

auto f = []<auto val>(int a) { printf("%d", val + a); };

并且我需要将 lambda 函数指针转换为f具有void(*)(int)显式专用值的函数指针（我需要一个显式的 C ABI 链接，成员函数调用将导致不同的参数传递寄存器），因为以下代码是非法的：

using intfn = void(*)(int);
f.template operator intfn<400>(); // illegal
f.template operator()<400>(0); // legal, but not what I need: is a member function call

（查看是否可以使用显式模板参数调用模板化用户定义转换运算符的答案？）

...是否有任何其他方法可以在当前 C++ 语言中获取函数指针，例如通过使用某种隐式转换？

标签： c++c++20

解决方案

您可以利用非捕获 lambda 在 c++20 中可默认构造的事实。

#include <iostream>
#include <tuple>

template <typename F>
struct args_tuple_maker;

template <auto P, typename F, typename... Args>
auto make_function_pointer(F, std::tuple<Args...>) {
    return +[](Args... args){ F{}.template operator()<P>(std::forward<Args>(args)...); };
}

int main() {
    auto f = []<auto val>(int a) { printf("%d", val + a); };

    auto f_ptr = make_function_pointer<200>(f, std::tuple<int>{});

    static_assert(std::is_same_v<decltype(f_ptr), void(*)(int)>, "");

    f_ptr(5);
}

这不是一个完美的解决方案，但也许你现在可以得到尽可能接近。可能可以改进以从 lambda 类型推断参数。

推荐阅读