c++ - 非捕获通用 lambda 应该衰减为函数指针吗？

Question

考虑以下代码:

int main() {
    auto l = [](auto){};
    void(*p)(int) = l;
}

它与 GCC 一起工作得很好和 clang .
让我们考虑以下稍作修改的版本:

int main() {
    auto l = [](auto...){};
    void(*p)(int) = l;
}

在这种情况下，clang 仍然是accepts it而 GCC rejects it .

是否有任何理由拒绝此代码，或者它是编译器的错误？

---

我要打开一个问题，但我想知道是否存在任何可以由其中一个而不是另一个实现的提案。

Answer 1

这是一个已知的 GCC 解析错误(64095，68071):[](auto...){} 被错误地解析为 [](auto, ...) {} 而不是 [](auto...x){}；省略号被解析为 C 风格的可变参数，而不是声明参数包(用语言律师的术语，它被解析为 parameter-declaration-clause 的一部分，而不是 abstract-声明符，违反了 [dcl.fct]/17 )。

不用说，[](auto, ...){} 不能转换为 void (*)(int)。

解决方法是给包起个名字；如果这样做，您会看到转换编译成功。