テンプレートを2つの異なる値に特化する方法は？

Question

以下のコードでは、一連の値を特殊化することが可能かどうか疑問に思っていました。私の例では、既知のサイズの配列を使用するためにN=3またはN=4の特殊化を作成したいと考えています。この場合、コードの重複を避けることは可能ですか？

template <typename T, unsigned int N> 
class A 
{ 
public: 
    T* data; 
}; 

template <typename T> 
class A<T, 3> 
{ 
public: 
    T data[3]; 
}; 

template <typename T> 
class A<T, 4> 
{ 
public: 
    T data[4]; 
}; 

int main() 
{ 
    A<int, 1> u; 
    std::cout << sizeof(u.data) << std::endl; // Size of pointer 

    A<int, 3> v; 
    std::cout << sizeof(v.data) << std::endl; // Size of data 

    A<int, 4> w; 
    std::cout << sizeof(w.data) << std::endl; // Size of data 

    return 0; 
} 

Answer 1

あなたは一般的なケースでデフォルトvoidテンプレートパラメータを導入することにより、std::enable_ifを使用することができます。

template <typename T, unsigned int N, typename = void> 
class A 
{ 
public: 
    T* data; 
}; 

template <typename T, unsigned int N> 
class A<T, N, typename std::enable_if<N == 3 || N == 4>::type> 
{ 
public: 
    T data[N]; 
}; 

live wandbox example

---

N == 3 || N == 4がtrueある場合、typename std::enable_if<N == 3 || N == 4>::typeは整形とvoidに評価されます。その後、専門化が選択されます。

N == 3 || N == 4がfalseであれば、typename std::enable_if<N == 3 || N == 4>::typeは病気-形成で、専門は "を離れSFINAEd" です。一般的な場合が選択されます。