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