显式指定通用 lambda 的 operator() 模板参数是否合法？

Is it legal to explicitly specify a generic lambda's operator() template arguments?

本文关键字：参数 是否 operator lambda      更新时间：2023-10-16

以下C++代码是否符合标准？

#include <iostream>
int main()
{
[](auto v){ std::cout << v << std::endl; }.operator()<int>(42);
}

clang++ 3.8.0和g++ 7.2.0都可以很好地编译此代码(编译器标志-std=c++14 -Wall -Wextra -Werror -pedantic-errors)。

这确实符合标准。该标准规定必须有一个成员operator()，并且它在其参数声明子句中每次出现auto都有一个模板参数。没有任何措辞禁止明确提供这些。

底线：lambda 的调用运算符只是一个普通函数(模板，如果是泛型)。

作为参考，相关标准条款：

非泛型 lambda 表达式的闭包类型具有公共 内联函数调用运算符 (16.5.4)，其参数和返回 类型由 lambda 表达式的 分别是参数声明子句和尾随返回类型。对于泛型 lambda，闭包类型具有公共内联函数 调用运算符成员模板 (17.5.2)，其模板参数列表 由一个发明的类型模板组成 - 每次出现的参数 的 auto 在 lambda 的参数声明子句中，按 外观。发明的类型模板参数是一个参数包 如果相应的参数声明声明了一个函数 参数包 (11.3.5)。返回类型和函数参数 函数调用运算符模板派生自 lambda 表达式的尾随返回类型和 参数声明子句，通过替换 auto 的每次出现 带有名称的参数声明子句的 decl 说明符 相应的发明模板参数。

N4659 (C++17) 中的 8.1.5.1/3 [expr.prim.lambda.closure] 强调我的。

是的，它似乎是明确定义的，因为 lambdasoperator()的模板参数是严格定义的。

[expr.prim.lambda]/5

。
对于泛型 lambda，闭包类型具有公共内联函数 调用运算符成员模板 (14.5.2)，其模板参数列表由一个发明的类型模板参数组成，用于 lambda 的参数声明子句中每次出现的auto，按出现的顺序排列。
。

相关文章：