如何编写一个丢弃其参数的通用可变参数 lambda？

Posted 2023-04-18

【中文标题】如何编写一个丢弃其参数的通用可变参数 lambda？

【英文标题】：How to write a generic variadic lambda that discards its parameters?

【发布时间】：2016-05-22 00:42:38

【问题描述】：

我想编写一个 lambda，它通过通用引用获取任意数量的参数并完全忽略它们。显而易见的方法是使用可变参数通用参数包的语法并省略参数名称：

auto my_lambda = [](auto&&...)  return 42; ;

这工作正常（使用 gcc 4.9.2）直到我 try to pass a non trivially-copyable object:

struct S  S()  S(S const&)  ;
my_lambda("meow", 42, S);
^ error: cannot pass objects of non-trivially-copyable type 'struct S' through '...'

发生了什么事？我的代码格式不正确，还是 gcc 中的错误？

无论哪种情况，最好的解决方法是什么？我发现命名参数是可行的，但后来我遇到了一个未使用的参数警告：

auto my_lambda = [](auto&&... unused)  return 42; ;
^ error: unused parameter 'unused#0' [-Werror=unused-parameter]
^ error: unused parameter 'unused#1' [-Werror=unused-parameter]
^ error: unused parameter 'unused#2' [-Werror=unused-parameter]

如何抑制模板参数包上的未使用参数警告？

【问题讨论】：

这看起来像一个 GCC 错误。它在 5.2 中 works。

@TartanLlama 对于“作品”的一些定义。 5.2 支持通过... 传递不可复制的对象，但解析错误未修复，IIRC。

【参考方案1】：

这是 GCC 中的 parsing bug（您自己报告了！）。 auto&&... 在语法上是模棱两可的，可以被解析为 auto&&, ... 的等价物或参数包声明（从技术上讲，问题是 ... 是 parameter-declaration-clause 的一部分还是抽象声明符）；标准说它被解析为后者； GCC 将其解析为前者。

命名包解决了解析歧义：

auto my_lambda = [](auto&&... unused)  return 42; ;

要取消警告，可以申请__attribute__((__unused__))（或者，正如@Luc Danton 建议的那样，[[gnu::unused]]）：

auto my_lambda = [](auto&&... unused __attribute__((__unused__)))  return 42; ;

或使用sizeof...

auto my_lambda = [](auto&&... unused)  (void) sizeof...(unused); return 42; ;

【讨论】：

既然提到了 GCC，type var [[gnu::unused]] 是 type var __attribute__((__unused__)) 的替代品（不过我忘了是从哪个版本开始的）。

@LucDanton，最终，[[maybe_unused]]。