c – 为什么不能将lambda转换为函数指针,在constexpr上下文中使用？

概述考虑一个例子： template <void (*Foo)()>struct S {};int main() { struct A { static void x() { } }; S<&A::x> s;} 代码编译在clang中,gcc认为x没有链接… 对于非常类似的例子,只是当使用lambda表达式时： template <void (*Foo 考虑一个例子：

template <voID (*Foo)()>struct S {};int main() {    struct A {        static voID x() { }    };    S<&A::x> s;}

代码编译在clang中,gcc认为x没有链接…
对于非常类似的例子,只是当使用lambda表达式时：

template <voID (*Foo)()>struct S {};int main() {    auto lambda = []{};    S<+lambda> s;}

gcc和clang同意不编译代码：根据gcc,一元函数返回的函数没有链接,相反,cast运算符对该函数没有声明为constexpr.有没有理由不允许lambda转换为在constexpr上下文中使用的函数指针？

查找编译器生成的以下错误和现场演示：

gcc：

prog.cc:7:14: error: ‘main()::::_FUN’ is not a valID template argument for type ‘voID (*)()’ because ‘static constexpr voID main()::::_FUN()’ has no linkage

clang：

prog.cc:7:8: note: non-constexpr function ‘operator voID (*)()’ cannot be used in a constant Expression

解决方法 ang hasn’t implemented constexpr lambdas yet.

海湾合作委员会在其他方面落后. [temp.arg.nontype]/2唯一有趣的约束是参数是一个常数表达式.但[expr.const]/(5.2)使它成为一个,所以这是完全有效的.也许海湾合作委员会还没有实施N4198,这消除了联动要求.

请注意,constexpr lambdas和no-linkage函数指针模板参数都是Post C 14功能.

总结

以上是内存溢出为你收集整理的c – 为什么不能将lambda转换为函数指针,在constexpr上下文中使用？全部内容，希望文章能够帮你解决c – 为什么不能将lambda转换为函数指针,在constexpr上下文中使用？所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。