Question

我想我发现另一个＆＃34; clang vs gcc＆＃34; lambdas和可调用对象之间的不一致。

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

15：错误：无法匹配＆＃39;（main（）：:)（int）＆＃39;   升（1）;

15：注意：候选人：decltype（（（main（）：:) 0u）.main（）::（x，））（*）（auto：1＆amp;＆amp;，auto：2＆amp;＆amp;， ......）

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

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

auto l = []（auto＆amp;＆amp; x，auto＆amp;＆amp; ...）{return x; };

14：注意：模板参数扣除/替换失败：

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

1（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错误跟踪器上找不到与此相关的任何内容（虽然没有花太多时间搜索） - 这里的gcc错了吗？

Answer 1

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

clang vs gcc - 空泛型lambda variadic参数包

1 个答案: