clang vs gcc-空的通用lambda变量参数包

Question

我想我在lambdas和可调用对象之间发现了另一个“铿锵vs gcc”的不一致性。

::运算符（）应该等同于C::运算符（），但是如果通用lambda中的变量包为空，gcc拒绝编译：

15：错误：对'（main（）::）（int）'l（1）的调用不匹配；

15：注意：候选：decltype（（（main（）：）0u）。main（）：（x，）（*）（自动：1

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

14:注意：候选：模板main（）：：

1）自动

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在这里错了吗？

Answer 1

我已将此问题报告为gcc bug#68071。