Clang vs空泛型lambda可变参数包

clang vs empty generic lambda variadic argument pack

本文关键字：变参 参数 lambda vs 泛型 Clang      更新时间：2023-10-16

我想我发现了另一个"clang vs gcc" lambdas和可调用对象之间的不一致。

decltype(l)::operator()应该等同于C::operator()，但是如果在泛型lambda中variadic pack为空，gcc将拒绝编译:

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

l (1);

15:注意:候选人:decltype(((主要()::)0 u) .main ():: (x))(*)(汽车:1,,,汽车:2,和 ;, ...)

15:注意:候选人需要3个参数，提供2个

14:注:candidate: template main()::

auto = [](auto&&X, auto&&…){返回X;

};

14:注意:模板实参演绎/替换失败:

15:注意:候选人需要2个参数，1提供

l (1);

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 bug跟踪器上找不到任何相关的东西(没有花太多时间搜索) -是gcc错了吗?

我已经把这个问题报告为gcc bug #68071。

相关文章：