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)()>
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