use*_*005 1 c++ templates variadic-templates clang++ c++17
在clang 7.0上这段代码:
template <typename ... Ts> struct S {
unsigned gs(unsigned i) {
unsigned r = 0;
((r = unsigned(sizeof(Ts)), i-- == 0) || ...);
return r;
}
};
int foo(unsigned i) {
S<int, double, long, float, char> s;
return s.gs(3);
}
Run Code Online (Sandbox Code Playgroud)
导致此警告:
~/dev/ta $ ~/bin/clang++ -c -std=c++17 fold-warning.cpp
fold-warning.cpp:5:46: warning: expression result unused [-Wunused-value]
((r = unsigned(sizeof(Ts)), i-- == 0) || ...);
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ^
Run Code Online (Sandbox Code Playgroud)
为什么?编译器的逻辑是什么表达式未被使用?
Gcc 7.3/8.2很满意.
这一行的结果:
((r = unsigned(sizeof(Ts)), i-- == 0) || ...);
Run Code Online (Sandbox Code Playgroud)
是一个顺序||
操作,其结果未使用,从而导致警告.
施法以void
消除警告:
(void)((r = unsigned(sizeof(Ts)), i-- == 0) || ...);
Run Code Online (Sandbox Code Playgroud)