Wording for lambdas in unevaluated contexts

Reply-to:

1 Revision history 修订历史

略

2 Discussion on wording 措辞讨论

本文中介绍的核心语言更改有些棘手。原因在于我们移除了很多关于lambda表达式的限制，但我们仍然希望将闭包类型保持在外部函数签名之外，这对具体实现来说会是一场噩梦。我们在这里的讨论内容尝试去澄清所有已知的可能情况。

1 (wording)

当我们解除lambdas在未求值上下文中的限制时，lambda表达式将能够出现在具有外部链接（external linkage）的函数签名中，这将要求实现为相关的闭包类型生成一个名称。然而，由于我们不能在某些情况下附加到另一个ABI实体（比如出现在全局作用域的lambda表达式），这就意味着要提出一种纠结的方案，让我们能仅从闭包自身的形式确定一个闭包类型。