如何为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走”。然后选择一般情况。