Question

我一直在为一项作业编写一些代码，而我遇到了嵌套模板化类型的问题。

我需要以下代码来创建一个包含3个元素数组的3元素数组（类似于int b [3] [3]）：

Array< Array<int> > b(3);

以下是我的Array.h的相关部分：

template <class T>
class Array{
    public:
    Array() : size(0){ data = NULL; }

    Array(int s) : size(s) { data = new T[size]; }

    Array(const Array & a) : size(a.length()) { 
       data = new T[a.length()];
       for(int i = 0; i < a.length(); ++i)
       data[i] = a[i];
    }

~Array(){ delete[] data; }  

T & operator[](int i) {
    if (i >= 0 && i < size){
        return data[i];
    } else {
        throw ArrayOutOfBounds(i);
    }
}

T operator[](int i) const{
    if (i >= 0 && i < size){
        return data[i];
    } else {
        throw ArrayOutOfBounds(i);
    }
}

Array<T> & operator=(const Array<T> &a){
    if(this == &a) return *this;
    delete[] data;
    data = new T[a.length()];
    for(int i = 0; i < a.length(); ++i)
        data[i] = a[i];
    size = a.length();
}

    int length() const { return size; }

    // Members

    private:
    int size;
    T * data;
}

更新6/1 完整的驱动程序代码：

   // Test driver for generic Array object with assignment and bounds checking

   #include "Array.h"

int main() {
    Array<int> a1(10);
for (int i = 0; i < a1.length(); ++i)
        a1[i] = i * i;
Array<int> a2 = a1;
try {
    for (int i = 0; i <= a2.length(); ++i)
        cout << a2[i] << " ";
    cout << endl;
}
catch (const ArrayOutOfBounds & e) {
    cout << endl << "ArrayOutOfBounds index=" << e.index << endl;
}
Array< Array<int> > b(3);
for (int i = 0; i < b.length(); ++i) {
    for (int j = 0; j < b[i].length(); ++j)
        b[i][j] = i*b[i].length() + j;
}
for (int i = 0; i < b.length(); ++i) {
    cout << "b[" << i << "]= ";
    for (int j = 0; j < b[i].length(); ++j)
        cout << b[i][j] << " ";
    cout << endl;
}

Array<const char *> c(3);
c[0] = "moe"; c[1] = "curly"; c[2] = "larry";
Array<const char *> d(10);
d = c;
for (int i = 0; i < d.length(); ++i)
    cout << "d[" << i << "]=" << d[i] << " ";
cout << endl;

return 0;
}

预期产出：

0 1 4 9 16 25 36 49 64 81 
ArrayOutOfBounds index=10
b[0]= 0 1 2
b[1]= 3 4 5
b[2]= 6 7 8
d[0]=moe d[1]=curly d[2]=larry

更新6/2

Per Guillaume的解决方案，这是我使用的resize方法：

Array<T> & resize(int newsize){
    delete[] data;
    data = new T[newsize];
    size = newsize;
    for(int i = 0; i < size; ++i)
        init(data[i], size);
}

递归调整大小适用于更高维度，例如Array< Array< Array<int> > > q(3);

Answer 1

根据您粘贴的代码，这不应该崩溃。你忘记了析构函数了吗？你应该有一个删除内存的析构函数。当你有一个时，你需要确保数据被初始化为nullptr（或NULL），这样当删除空数组时它不会崩溃。

但你的方法令人困惑。是否应该在运行时或编译时确定数组大小？ int b[3][3]在编译时确定。如果你想要，你应该在C ++ 11中将大小设为模板参数，如std::array，请参阅http://en.cppreference.com/w/cpp/container/array

如果要在运行时确定大小，则需要使用resize方法来确定第二维的大小。

编辑：根据驱动程序代码，您需要在构造函数中执行不同的操作（如果T是数组，则将int传递给T）。说实话，这看起来几乎就像一个bug。这种规范很难描述构造函数的作用（为除了Array之外的所有类型T调用默认的ctor）

我是这样的：

private:
template <typename U>
void init(U&, int) {}

template <typename U>
void init(Array<U>& a, int sz)
{
    a.resize(sz);
}

public:
Array(int s) : size(s) {
    data = new T[size];
    for (int i = 0 ; i < size; ++i) {
        init(data[i], s);
    }
}

它有效，但这很难看。如果你可以使用C ++ 11，你可以使用std :: enable_if

更好的东西

多维数组实现

1 个答案: