Tại sao lambda không thể, khi truyền đến con trỏ hàm, được sử dụng trong ngữ cảnh constexpr?

Question

Hãy xem xét một ví dụ:

template <void (*Foo)()> 
struct S { 
}; 

int main() { 
    struct A { 
     static void x() { } 
    }; 
    S<&A::x> s; 
} 

mã biên dịch trong kêu vang, gcc cho rằng x không có một mối liên hệ ... Ví dụ khá giống chỉ khi sử dụng biểu thức lambda:

template <void (*Foo)()> 
struct S { 
}; 

int main() { 
    auto lambda = []{}; 
    S<+lambda> s; 
} 

Cả gcc và clang đều đồng ý không biên dịch mã: theo gcc hàm trả về bởi unary + không có liên kết, clang nói ngược lại rằng toán tử cast cho hàm không được khai báo là constexpr. Có bất kỳ lý do nào để không cho phép truyền lambda tới con trỏ hàm được sử dụng trong ngữ cảnh constexpr không?

Tìm dưới đây lỗi được tạo ra bởi trình biên dịch và trình diễn trực tiếp:

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

Answer 1

Clang hasn't implemented constexpr lambdas yet.

GCC ở đằng sau theo những cách khác. [temp.arg.nontype]/2 's hạn chế thú vị duy nhất là đối số sẽ là một biểu thức liên tục. Nhưng [expr.const]/(5.2) làm cho nó một, vì vậy đó là hoàn toàn hợp lệ. Có lẽ GCC đã không thực hiện N4198 được nêu ra, mà loại bỏ các yêu cầu liên kết.

Lưu ý rằng cả hai đối số mẫu con trỏ hàm constexpr lambdas và không liên kết đều có tính năng đăng C++ 14.