根据模板参数删除成员

Question

我想设计一个带有小向量优化的向量类。它看起来像：

template <typename T, int small_size = 0>
class Vector {
private:
    T data_small_[small_size];
    T* data_;
    T* size_;
    T* capacity_;
public:
    ...
}

不幸的是，大多数时候，该类将与 small_size = 0 一起使用。有没有办法删除 data_small_ for small_size = 0 而无需进入模板专业化并重写该类的整个代码？

Answer 1

您可以在此处使用empty base optimization。您必须将Vector 更改为不直接引用data_small_。相反，编写使用SmallData 来实现所需的成员函数并处理部分特化SmallData<T, 0> 中的small_size = 0 情况。下面是一个例子，SmallData 实现了一个复制构造函数，operator[] 和Vector 使用它们而不用担心small_size。

template <typename T, int small_size>
class SmallData
{
 public:
  SmallData(const SmallData& other)
  {
   for(size_t i = 0; i < small_size; i++)
     data_small_[i] = other.data_small_[i];
  }

 T& operator[](int k){return data_small_[k];} 
 protected:
  T data_small_[small_size];
};

template <typename T>
class SmallData<T, 0>
{
 public:
 T& operator[](int k){//throw some error} 
};

template <typename T, int small_size = 0>
class Vector : public SmallData<T, small_size>
{
 public:
 Vector(const Vector& other) : SmallData<T, small_size>(other)
 {
  //rest of copy ctor either here on in the member init list above
 }
 T& operator[](int k)
 {
  if(k<small_size) return SmallData<T, small_size>::operator[](k);
  else return data_[k];
 }
};