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

How to write a generic variadic lambda that discards its parameters?

本文关键字：参数 变参 lambda 何编写      更新时间：2023-10-16

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

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

这工作正常（使用 gcc 4.9.2），直到我尝试传递一个不可复制的对象：

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 中的一个解析错误（您自己报告了！ auto&&...在语法上是模棱两可的，可以解析为等价于 auto&&, ... 或参数包声明（从技术上讲，问题是...是参数声明子句还是抽象声明器的一部分）;该标准说它将被解析为后者;GCC 将其解析为前者。

命名包可解决解析歧义：

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

为了抑制警告，可以应用__attribute__((__unused__))（或者，正如丹东建议的那样，[[gnu::unused]]@Luc）：

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

或使用sizeof... 

auto my_lambda = [](auto&&... unused) { (void) sizeof...(unused); return 42; };
相关文章：