限制和使用 C++20 模板兰巴

limits and uses of C++20 template lambas

本文关键字：C++20      更新时间：2023-10-16

C++标准大师的几个相关问题。

传入的 C++20 引入了模板 lambda (P0428R2(。

所以而不是

auto x = [](auto x, auto y){ return x+y; };

我们可以指定模板参数如下

auto x = []<typename T>(T x, T y){ return x+y; };

目前为止，一切都好。

第一个问题：模板 lambda 中的显式模板参数只能从参数中推导，还是可以添加非推导的模板参数？

阅读 P0428r1 我没有看到任何明确的限制，但也没有看到非推导模板参数的示例。

在第一个近似中，我认为非推导的模板参数是合法的，因为我看到以下愚蠢的代码

int main()
{   
[]<int = 0>(){ }();
}

使用 G++(10.0.0 头(和CLang++(10.0.0 头(编译和运行。

假设允许使用非推导模板参数，第二个问题是：如何在提供模板参数的同时调用模板 lambda？

通过示例：给定以下模板 lambda

auto x = []<std::size_t I>(auto t){ return std::get<I>(t); };

是否有一些语法可以在调用此类 lambda 时指定模板参数I而不显式命名operator()？

我试过

x<0u>(y);

但<被解释为关系运算符。

我试过简单地添加template

x template <0u>(y);

但它不起作用。

lambda 函数中的模板标头没有特殊限制。毕竟，Lambda 只是您在任何operator()过载的情况下已经可以做的事情的简写。

在调用 lambda 函数的operator()时，没有用于提供模板参数的特殊语法。如果您有未推导的模板参数，则必须使用传统的机制来提供这些模板参数。IE：lamb.operator()<Args>(...).

非推导的 lambda 模板参数是合法的。调用它们的语法类似于方法调用同一类的重载运算符时所需的现有函数表示法;特别是如果它是一个重载的运算符模板。

我在下面的示例中展示了最详细的组合，其中template关键字也是必需的，因为 lambda 具有依赖名称：

#include <tuple>
template <typename T>
void test()
{
std::tuple tup{42, "eggs"};
auto x = []<std::size_t I>(auto t){ return std::get<I>(t); };
int i = x.template operator()<0>(tup);
}
int main(int argc, char *argv[])
{
test<float>();
return 0;
}
相关文章：