Lambda trong nhánh không được biểu diễn liên tục: Ai là đúng?

Question

Tôi đã cố gắng biên dịch mã C++ 11 sau với kết quả hỗn hợp.

struct NoTemplate { 
    static constexpr auto (*foo)() = false ? +[]{} : nullptr; 
}; 

NoTemplate no_inst; 


template<typename> 
struct YesTemplate { 
    static constexpr auto (*foo)() = false ? +[]{} : nullptr; 
}; 

YesTemplate<float> yes_inst; 

• kêu vang: Biên dịch NoTemplate thành công; cung cấp error: a lambda expression may not appear inside of a constant expression trên YesTemplate.
• gcc: Biên dịch cả thành công
• msvc: Sự cố.
• icc: Sự cố (chúng tôi có người chiến thắng!)

Kết quả chính xác là gì? Tôi thấy một số ngôn ngữ tiêu chuẩn cho thấy các biểu thức không liên tục nên được OK trong nhánh giả của các toán tử mạch ngắn trong các biểu thức không đổi, nhưng IANALL.

Answer 1

Chương trình này được thiết lập tốt.

Lưu ý sau C++ 17, biểu thức lambda có thể được chấp nhận trong biểu thức liên tục lõi ngay cả khi nó được đánh giá. Bạn có thể xem giấy được đề xuất N4487 để biết chi tiết.