我想编写一个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]
如何抑制模板参数包上的未使用参数警告?
最佳答案
这是GCC中的parsing bug(您自己报告了!)。 auto&&...
在语法上不明确,可以解析为auto&&, ...
的等效项或参数包声明(从技术上讲,问题是...
是参数声明子句还是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; };