我想编写一个 lambda,它通过通用引用接受任意数量的参数并完全忽略它们。显而易见的方法是使用可变通用参数包的语法并省略参数名称:
auto my_lambda = [](auto&&...) { return 42; };
在我 try to pass a non trivially-copyable object 之前这工作正常(使用 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]
如何抑制模板参数包上的未使用参数警告?
最佳答案
这是一个parsing bug在 GCC 中(你自己报告的!)。 auto&&...
在语法上有歧义,可以解析为 auto&&, ...
的等价物或参数包声明(从技术上讲,问题是 ...
是parameter-declaration-clause 或abstract-declarator 的一部分);标准说它被解析为后者; 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; };
关于c++ - 如何编写丢弃其参数的通用可变参数 lambda?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/35335951/