Question

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

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

Answer 1

这是GCC中的parsing bug（你自己报道了！）。 :IN_ACTIVE在语法上是模糊的，可以解析为NULL的等价物或参数包声明（从技术上讲，问题是:IN_ACTIVE = ACTIVE是否是参数声明的一部分 - 子句或 abstract-declarator ）;标准说它要被解析为后者; GCC将其解析为前者。

命名包解决了解析歧义：

auto&&...

要取消警告，可以申请auto&&, ...（或者，正如@Luc Danton建议的那样，...）：

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

或使用__attribute__((__unused__))

[[gnu::unused]]

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

1 个答案: