Có phải constexpr được hỗ trợ với các hàm/biểu thức lambda không?

Question

struct Test 
{ 
    static const int value = []() -> int { return 0; }(); 
}; 

Với gcc-4.6 Tôi nhận được một cái gì đó như, error: function needs to be constexpr. Tôi đã thử nhiều kết hợp đặt constexpr ở những nơi khác nhau, nhưng không may mắn.

Có phải constexpr cũng được hỗ trợ cho chức năng lambda (không phân biệt return loại được chỉ định hay không)? Cú pháp chính xác là gì?

Mọi công việc xung quanh đều có thể?

Answer 1

Cập nhật: Kể từ C++ 17, lambda được phép trong biểu thức không đổi.

---

Lambdas hiện là (C++ 14) không được phép trong các biểu thức liên tục theo [expr.const]/(2.6), nhưng họ sẽ một lần N4487 được chấp nhận (có thể được tìm thấy trong dự thảo làm việc N4582):

đề xuất này gợi ý cho phép lambda-biểu trong liên tục biểu thức, loại bỏ một hạn chế đang tồn tại. Các tác giả đề xuất rằng biểu thức lambda nhất định và các hoạt động trên một số đóng cửa nhất định các đối tượng được phép xuất hiện trong các biểu thức không đổi. Khi làm như vậy, chúng tôi cũng đề xuất rằng loại đóng cửa được coi là một loại chữ nếu loại của mỗi thành viên dữ liệu của nó là một loại chữ; và, rằng nếu các constexpr specifier được bỏ qua trong lambda-declarator, mà điều hành được tạo ra chức năng gọi được constexpr nếu nó sẽ làm hài lòng các yêu cầu của một hàm constexpr (tương tự như suy luận constexpr rằng đã xảy ra đối với ngầm định các hàm tạo và các hàm toán tử gán).

Answer 2

Từ C++ 0x FDI §7.1.5 [dcl.constexpr]/1:

Từ khoá constexpr chỉ được áp dụng với định nghĩa của một biến, tuyên bố của một hàm hoặc chức năng mẫu, hoặc khai báo của một thành viên dữ liệu tĩnh của một kiểu chữ.

Biểu thức lambda không phải là những điều đó và do đó có thể không được khai báo constexpr.

Answer 3

Trước C++ 17 lambdas không tương thích với constexpr. Chúng không thể được sử dụng bên trong các biểu thức hằng số .

Bắt đầu với C++ 17 lambdas là constexpr nơi có ý nghĩa. Đề xuất N4487 sẽ được đưa vào tiêu chuẩn C++ 17. Trên his website Herb Sutter, chủ tịch của ủy ban ISO C++, đã nêu như sau:

Lambdas bây giờ allowed inside constexpr functions.

Answer 4

lùi tới năm 2018 :)

auto my_const_expression_lambda = []() 
    constexpr -> bool 
{ 
    return true ; 
} 

Kể từ C++ 17