のstd :: SFINAE

Question

との条件付きでのstd ::条件のようですが、定義されていないクラスに対してコンパイル時のエラーなし、のstd :: enable_if_and_elseのようなものを作成することも可能です。ここで

例です。

static constexpr bool myExpr = true; 

struct A {}; 
struct B; 

struct C : 
    std::conditional<myExpr, 
     A, 
     B>::type 
    {}; // Compilation error: B is declared but not defined 

struct D : 
    enable_if_else<myExpr, 
     A, 
     B>::type 
    {}; // It works 

おかげ

Answer 1

は、STDのようなものを作成することが可能です:: STDようenable_if_and_else、::条件が、そのクラスのコンパイル時のエラーなし定義されていません。あなたが完全であることを、それを必要とする方法でBを使用していないのでBは、不完全な場合

そこはstd::conditional<true, A, B>::typeのためのすべてのエラーはいけません。

だからstd::conditionalあなたが探しているもの、すでにあります。それは `A`ブランチを取るよう