clang vs gcc - leere generische lambda variadic argument pack

Question

Ich glaube, ich fand eine andere "clang vs gcc" Inkonsistenz zwischen lambdas und Callable Objekte.

decltype(l)::operator() sollte C::operator(), gleichwertig sein, aber wenn variadische Packung in der generischen Lambda leer gelassen wird, weigert sich gcc zu kompilieren:

15 : error: no match for call to '(main()::) (int)' l(1);

15 : note: candidate: decltype (((main()::)0u).main()::(x,)) (*)(auto:1&&, auto:2&&, ...)

15 : note: candidate expects 3 arguments, 2 provided

14 : note: candidate: template main()::

auto l = [](auto&& x, auto&&...) { return x; };

14 : note: template argument deduction/substitution failed:

15 : note: candidate expects 2 arguments, 1 provided

l(1);

Live example on godbolt.org.

struct C 
{ 
    template<typename T, typename... TRest> 
    auto operator()(T&& x, TRest&&...){ return x; } 
}; 

int main() 
{ 
    // Compiles both with clang and gcc. 
    auto c = C{}; 
    c(1); 

    // Compiles with clang 3.7. 
    // Does not compile with gcc 5.2. 
    auto l = [](auto&& x, auto&&...) { return x; }; 
    l(1); 
} 

kann nicht alles im Zusammenhang mit diesem auf den gcc Bug-Tracker finden (nicht zu viel Zeit damit verbringen, obwohl die Suche) - hier gcc falsch?

Answer 1

Ich habe das Problem als gcc Bug #68071 gemeldet.