c++ - 如何专门针对 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

您可以使用 std::enable_if 通过引入 默认 void一般情况下的模板参数。

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 away”。然后选择一般情况。