具有不同数组实现的子类

Question

假设我有一个基类模板 MyBase：

template <class T>
class MyBase{
private:
    T data;
public:
    MyBase(T _data);
};

我想将其子类化两次（至少现在）：

1. 数据应该是动态二维数组：T **data
2. 数据应该是固定的 2维数组：T data[rows][cols]

我对 C++ 还是个新手，我不知道如何做到这一点。 具体来说，我想制作一种矩阵库（主要作为一个学习项目）。我过去做过一些事情，动态存储矩阵更有意义，反之亦然。因此，似乎一个好的解决方案是实现一个提供所有常用功能的基类（例如，应该使用 data [i][j] = item;（无论哪种情况），然后子类化 DynamicMatrix 和 FixMatrix。 DynamicMatrix 将有一个构造函数，该构造函数执行

data = new T*[rows];
for (int i = 0; i < rows; i++)
{
    data[i] = new T[cols];
}
for (int i = 0; i < rows; i++)
{
    for (int j = 0; j < cols; j++)
    {
         data[i][j] = 0;
    }
}

And FixMatrix 只是：

for (i=0; i < rows; i++)
{
    for (j=0; j < cols; j++)
    {
         data[i][j] = 0;    
    }
}

在基类中创建成员变量 T data; 非常容易。但是在子类中，如何将其转换为双指针？或许我不能，我可以接受。但那我该怎么办呢？

Answer 1

在这里，您尝试使用继承来重用代码，在我看来，这不是一个好的设计方法；继承是为了实现自由，而组合是为了代码重用。

在这种情况下，如果确实有必要支持这些不同的情况，我将形式化一个二维数组：

template<typename T> class Array2D {
    public:
       virtual const T* operator[](int row_index) const = 0;
       virtual T* operator[](int row_index) = 0;
       virtual size_t rows() const = 0;
       virtual size_t cols() const = 0;
};

然后我将提供您指定的 Array2D 的实现：

template<typename T, int R, int C> class FixedArray2D : public Array2D {
     public:
       virtual const T* operator[](int row_index) const {
           return &data_[row_index][0];
       }
       virtual T* operator[](int row_index) {
            return &data_[row_index][0];
       }
       virtual size_t rows() const { return R; }
       virtual size_t cols() const { return C; }
     private:
        T data_[R][C];
};

template<typename T> class DynamicArray2D : public Array2D {
     public:
        DynamicAray2D(int rows, int cols) {
           // ...
        }
        // ...
};

此时，您可以实例化一个 Array2D代码> 使用任一格式。现在，无论您使用什么代码，只要需要处理此类对象，都可以简单地使用 const Array2D& 或 Array2D& 。

也就是说，我认为这可能是不必要的复杂性，因为动态大小的数组适用于任何一种情况，因此我会选择这种方式，除非有令人信服的理由支持这两种类型。