clang vs gcc - boş genel lambda değişkenlik argüman paketi

Question

Bence lambda ve callable nesneleri arasında bir "clang vs gcc" tutarsızlık buldum.

decltype(l)::operator()

C::operator() denk olmalıdır, ancak variadic paketi jenerik lambda boş bırakılırsa, gcc derlemek reddediyor:

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); 
} 

gcc hata izci üzerine bununla ilgili bir şey bulunamadı (gerçi arama çok fazla zaman harcamak yoktu) - gcc Burada yanlış mı?

Answer 1

Sorunu gcc bug #68071 olarak bildirdim.