2015-10-23 14 views
8

"clang vs gcc"ラムダと呼び出し可能オブジェクトの不一致が見つかりました。clang vs gcc - 空の汎用ラムダ可変引数パック

decltype(l)::operator()C::operator()と同等にする必要がありますが、可変長パックは、一般的なラムダに空のままにされている場合、gccがコンパイルすることを拒否:

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。ここではgcc間違っている -

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のバグトラッカー(ただし検索あまりにも多くの時間を費やしていなかった)でこれに関連何も見つかりませんでしたか?

+1

gccのように見えます。 – 0x499602D2

答えて

1

問題をgcc bug #68071として報告しました。

関連する問題