テンプレートを使用したテンプレートのメタプログラミング：最初のコードがコンパイルされ、2番目のコードがコンパイルされないのはなぜですか？

Question

は私がコンパイルし、期待通りに動作する最初のうち2つのコードセットを、持っているが、不必要に冗長に[なるように見える]されています。これは、私はむしろ書きたいコードがある

template<point_type type, typename T> 
struct point2d_base { 
    std::enable_if_t<std::is_arithmetic_v<T>, T> x, y; 
    template<point_type t2 = type> 
    point2d_base(std::enable_if_t<t2 == point_type::generic, T> x = 0, T y = 0) : 
     x(x), y(y) {} 
    template<point_type t2 = type> 
    explicit point2d_base(std::enable_if_t<t2 != point_type::generic, T> x = 0, T y = 0) : 
     x(x), y(y) {} 
/*Some unrelated code*/ 
}; 

が、私私はこのようにそれを行う場合、多くの、多くのコンパイルエラーを取得：generic、corner、center：

参照便宜上

template<point_type type, typename T> 
struct point2d_base { 
    std::enable_if_t<std::is_arithmetic_v<T>, T> x, y; 
    point2d_base(std::enable_if_t<type == point_type::generic, T> x = 0, T y = 0) : 
     x(x), y(y) {} 
    explicit point2d_base(std::enable_if_t<type != point_type::generic, T> x = 0, T y = 0) : 
     x(x), y(y) {} 
/*Some unrelated code*/ 
}; 

は、point_typeは3つの値が含まれている「列挙型クラス」です。

私の質問は、なぜ最初のコードはコンパイルされ、2番目のコードはコンパイルされないのですか？

Answer 1

テンプレートクラスパラメータにstd::enable_ifを使用することはできません。 std::enable_ifに関数を使用する場合は、その関数をテンプレート関数にする必要があります。 クラステンプレートをインスタンス化すると、そのクラスのすべてのメンバー関数もインスタンス化されるからです。条件付きでその関数を有効にするかどうかを指定するには、テンプレートメンバー関数が必要です。 （私の推測で正しいと思います）