上級者向けの解説を追加

Author: EzoeRyou

021-cpp17-core-constexpr-lambda.md

@@ -43,6 +43,28 @@ int main()
 }
 ~~~
 
+以下の内容は上級者向けの解説であり、通常の読者は理解する必要がない。
+
+constexprラムダ式はSFINAEの文脈で使うことができない。
+
+~~~c++
+// エラー
+template < typename T,
+    bool b = []{
+        T t ;
+        t.func() ;
+        return true ;
+    }() ; >
+void f()
+{
+    T t ;
+    t.func() ;
+}
+~~~
+
+なぜならば、これを許してしまうとテンプレート仮引数に対して任意の式や文がテンプレートのSubstitutionに失敗するかどうかをチェックできてしまうからだ。
+
+上級者向けの解説終わり。
 
 機能テストマクロは__cpp_constexpr, 値は201603。