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

Question

我想写一个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]

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

Answer 1

这是GCC中的一个解析错误(你自己报告了!).auto&&...在语法上是模糊的,可以解析为等价的auto&&, ...或参数包声明(从技术上讲,问题是是否...是参数声明子句或抽象声明者的一部分); 标准说它要被解析为后者; 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; };