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

Question

考虑一个例子：

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，一元 + 返回的函数没有链接，而 clang 则相反，该函数的强制转换运算符未声明为 constexpr。是否有任何理由禁止在 constexpr 上下文中使用 lambda 转换为函数指针？

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

gcc:

prog.cc:7:14: 错误：'main()::::_FUN' 不是类型'void (*)()' 的有效模板参数，因为'static constexpr void main()::: :_FUN()' 没有链接

clang:

prog.cc:7:8: 注意：非 constexpr 函数 'operator void (*)()' 不能在常量表达式中使用

Answer 1

Clang hasn't implemented constexpr lambdas yet.

GCC 在其他方面落后。 [temp.arg.nontype]/2 唯一有趣的约束是参数应该是一个常量表达式。但是[expr.const]/(5.2) 使它成为一个，所以这是完全有效的。可能 GCC 还没有实现N4198，这消除了链接要求。

请注意，constexpr lambda 和无链接函数指针模板参数都是 C++14 后的特性。