未计算上下文中的lambdas(需要表达式)

Lambdas in unevaluated context (requires expressions)(未计算上下文中的lambdas(需要表达式))

问题描述

我知道关于这个话题有几个问题，但请听我说完。

我知道我们可以在未评估的上下文中使用无捕获lambdas(如decltype)，但是可以捕获的lambdas怎么办？

我在当前的C++标准中找不到任何可以表明这是C++20以后的问题的东西，但我绝不是语言律师。

我所看到的是，主要的编译器在their results方面有所不同。

这些概念有效吗？

template <typename T>
concept C1 = requires { []{}; };

template <typename T>
concept C2 = requires(T t) { [&t]{}; };

推荐答案

我知道我们可以在未评估的上下文中使用无捕获lambdas

这并不局限于无状态lambda。P0315R4(未评估的上下文中的lambdas的措辞)删除了lambdas(不仅仅是无状态的lambdas)不能出现在未评估的lambdas中的限制，同时修改了与限制的原始意图相关的某些部分的措辞：

本文介绍的核心语言更改有些棘手。原因是我们删除了对lambda表达式的许多限制，但我们仍然希望将闭包类型排除在外部函数的签名之外，这将是实现的噩梦。

本文对lambdas w.r.t.概念，我们可以简单地求助于[temp.concept]/6来管理这种情况：

概念定义的约束表达式是未计算的操作数([Expr.Context])。

由于不再有一般限制Lambas(无状态或无状态)不作为unevaluated contexts中的操作数出现，而且在概念上下文中也没有明确的限制，因此C1和C2这两个概念都是形式化的。