c++ - 基于模板参数的 C++ 模板添加/启用构造函数

Question

在以下场景中是否可以为模板的某些特化定义专用构造函数：

template<typename T, size_t D>
class vector {
  T values[D];
public:
  vector();
};

我想添加依赖于 D 参数的构造函数：

template<typename T>
vector<T, 2>::vector(T t1, T t2) { ... }

template<typename T>
vector<T, 3>::vector(T t1, T t2, T t3) { ... }

template<typename T>
vector<T, 4>::vector(T t1, T t2, T t3, T t4) { ... }

Answer 1

template<bool B>
using EnableIfB = typename std::enable_if<B, int>::type;

template<typename T, size_t D>
class vector {
  T values[D];
public:
  template<size_t D1 = D, EnableIfB<D1 == 2> = 0>
  vector(T t1, T t2) { ... }

  template<size_t D1 = D, EnableIfB<D1 == 3> = 0>
  vector(T t1, T t2, T t3) { ... }

  template<size_t D1 = D, EnableIfB<D1 == 4> = 0>
  vector(T t1, T t2, T t3, T t4) { ... }
};

希望这可以帮助。

Answer 2

考虑为主模板定义所有构造函数vector<T, D>，然后static_assert在每个构造函数中确保数量匹配。例如：

vector(T t0, T t1)
{
    static_assert(D == 2, "Eeeeeeeekkkkk!  Wrong constructor!");
}