Specifically Clang 3.6.0, the one currently hosted by Coliru.
All these snippets are called from :
int main() {
foo();
std::cout << "\n----\n";
foo(1, 2, 3);
}
The following code :
template <class... Args>
void foo(Args... args) {
std::cout << ... << args;
}
Triggers the following compilation error :
main.cpp:7:17: error: expected ';' after expression
std::cout << ... << args;
^
;
main.cpp:7:15: error: expected expression
std::cout << ... << args;
^
So I tried putting parentheses around the expression :
(std::cout << ... << args);
It works, but triggers a warning :
main.cpp:7:6: warning: expression result unused [-Wunused-value]
(std::cout << ... << args);
^~~~~~~~~
main.cpp:11:5: note: in instantiation of function template specialization 'foo<>' requested here
foo();
^
So I tried to discard the value of the expression with a function-style cast to void
:
void(std::cout << ... << args);
But :
main.cpp:7:20: error: expected ')'
void(std::cout << ... << args);
^
main.cpp:7:9: note: to match this '('
void(std::cout << ... << args);
^
I tried a static_cast
too, for the same result.
So I tried with a C-cast instead :
(void)(std::cout << ... << args);
But then :
main.cpp:6:18: warning: unused parameter 'args' [-Wunused-parameter]
void foo(Args... args) {
^
... and my output is only ----
: foo(1, 2, 3);
doesn't output anymore !
Is Clang cursed by an evil force from future standards, does it have a bug, or is the problem sitting on my chair right now ?
I decided to take a better look at this bug in the Clang source. Here's the offending section of code. This case happens when it's just finished parsing
(<type>)
and is now parsing a following parenthesized expression:The specific part of the code responsible for this bug is here:
It turns out that
Result
is never set apart from its initialtrue
value. I believe it should be set toArgExprs.front()
, which now holdsstd::cout
.Now you'll notice the FIXME as well. While unrelated to this issue in particular, it might be worth fixing alongside this.
Being my first Clang fix, I still have several things to do before submitting a change (for reference, Clang 4.0 is currently in development). I would be more than happy for this to be fixed at all, whether it's by me or someone else. At the very least, my findings are documented somewhere for now.
You need an extra set of parentheses when casting to
void
using the functional notation cast, otherwise the parentheses are considered part of the cast expression instead of the fold expression. The fold expression syntax itself requires a set of parentheses.All of the following work without producing any warnings:
Or just call some
ostream
member function to avoid the unused result warningAs T.C. mentions in the comments below, the behavior with
(void)(std::cout << ... << args);
seems like a clang bug. The syntax for a cast notation is specified in 5.4 [expr.cast]Since parentheses are not required as part of the cast expression, that usage shouldn't be producing warnings, and more importantly, it should result in printing the arguments.
A fold expression, from [expr.prim.fold] is:
Note that in all cases, the parentheses are part of the grammar. So your initial example is syntactically incorrect, and must be:
That will then give you a warning in the case of an empty pack, since the binary fold reduces to just
std::cout;
To get rid of that warning, you can go the usual route of casting tovoid
- just that the inner set of parentheses are part of the grammar so you need two:Or you could just throw in an extra
endl
or the like:Or return the result: