ブランチのLambdaは定数式ではありません：誰が正しいですか？

Question

次のC++ 11コードを混在させてコンパイルしようとしました。

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; 

• 打ち鳴らす：sucessfully NoTemplateをコンパイルします。 YesTemplateにerror: a lambda expression may not appear inside of a constant expressionと表示されます。
• gcc：正常に両方をコンパイルします。
• msvc：クラッシュします。
• ICC：クラッシュ（私たちは勝者を持っている！）

正しい結果とは何ですか？定数式の短絡演算子の誤った枝で非定数式がOKであるべきであることを示唆している標準言語がいくつかありますが、IANALLです。

Answer 1

このプログラムは整形式です。

注意C++ 17以降では、ラムダ式が評価されてもコア定数式で受け入れられることがあります。提案された論文N4487を詳細に見ることができます。