Şube içindeki lamdada sürekli ifadeden alınmadı: Kim haklı?

Question

Aşağıdaki C++ 11 kodunu karışık sonuçlarla derlemeye çalıştım.

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; 

• çınlama: başarıyla NoTemplate hazırlar, error: a lambda expression may not appear inside of a constant expression, YesTemplate numaralı telefondan verir.
• gcc: Her ikisi de başarıyla derler
• msvc: Kilitleniyor.
• icc: Kazalar (işte kazanan!)

doğru sonucu nedir? Sabit olmayan ifadelerin, sabit ifadelerdeki kısa devre operatörlerinin yanlış dalında Tamam olması gerektiğini söyleyen standart bir dil görüyorum, fakat IANALL.

Answer 1

Bu program iyi biçimlendirilmiştir.

C++ 17'den sonra not alınsa bile, bir lambda ifadesi bir çekirdek sabit ifadesinde kabul edilebilir. Detaylı bilgi için önerilen kağıdı N4487 görebilirsiniz.