如何调用 lambda 模板？

Question

我能够使用 gcc 编译以下代码：

template<typename... Pack>
auto func(Pack... x) {
    return (x + ...) ;
}

template<typename... Pack>
auto lamd = [](Pack... x) {
    return (x + ...) ;
};

我可以使用 调用函数模板，但使用或func(1,2,3)调用 lambda 时出现错误。lamd(1,2,3)lamd<int>(1,2,3)

Answer 1

对于 lambda，您可以使用使其成为通用 lambdaauto。

auto lamd = [](auto... x) {
    return (x + ...) ;
};

从 C++20 开始，您可以使用显式模板参数列表，但请注意，模板参数列表仍然与operator()lambda 一起使用，就像auto参数的用法一样。例如

auto lamd = []<typename... Pack>(Pack... x) {
    return (x + ...) ;
};

然后你可以将其称为lamd(1,2,3).

居住

Answer 2

第二个定义是变量模板。它没有将 lambda 定义operator()为模板，而是采用 的参数类型的参数包operator()。结果operator()是实例化变量的闭包类型的常规成员函数。这里不可能进行模板参数推导。

因此，当您编写 时lamd<int>，变量将获得带有 a 的闭包类型operator()(int)，而不是可使用 3 个整数调用的类型。

正如已经提到的，您可以使用通用 lambda。

在 C++20 中，如果需要命名和推导 lambda 的参数类型，可以使用以下语法：

auto lamd = []<typename... Pack>(Pack...) {}

这会将运算符定义为模板，接受参数包，并为模板参数推导打开大门。