用代理类实现二组数组

      C++语言在数组的支持方面不强其他语言强劲，如FORTRAN、BASIC、甚至在COBOL中可以产生二维数组、三维数组，乃至于n维数组，但你能C++中这么做吗？有同学不同意了，C++中可以产生二维数组啊，int data[2][3]不是吗？但是，如果这样：

void processInput(int dim1, int dim2) { int data[dim1][dim2]; ........ }

还行吗？C++不允许！

 

      那么怎么办呢？《more effective c++》中Item 30有详细的介绍，但没有给出具体代码。本人实现了下：

#include <iostream> using namespace std; template <class T> class Array2D{ public: Array2D(int realDim1, int realDim2); ~Array2D(); class Array1D{ public: Array1D(){}; Array1D(int realDim2); Array1D& operator=(const Array1D& lhs); ~Array1D(); T& operator[](int index); const T& operator[](int index)const; private: T* dim2Data; int dim2; }; Array1D& operator[](int index); const Array1D& operator[](int index)const; private: int dim1; Array1D* dim1Data; }; template<class T> typename Array2D<T>::Array1D& Array2D<T>::Array1D::operator=(const Array1D& lhs) { dim2 = lhs.dim2; dim2Data = new T[dim2]; if(dim2Data == NULL) cout << "There is no memory!" << endl; for(int i = 0; i < dim2; ++i) dim2Data[i] = lhs.dim2Data[i]; return *this; } template<class T> Array2D<T>::Array1D::Array1D(int realDim2) :dim2(realDim2) { dim2Data = new T[dim2]; if(dim2Data == NULL) cout << "There is no memory!" << endl; } template<class T> Array2D<T>::Array2D(int realDim1, int realDim2) :dim1(realDim1) { typedef typename Array2D<T>::Array1D myType; dim1Data = new myType[dim1]; if(dim1Data == NULL) cout << "There is no memory!" << endl; for(int i = 0; i < dim1; ++i) dim1Data[i] = myType(realDim2); // using operator=! } template<class T> Array2D<T>::Array1D::~Array1D() { delete []dim2Data; } template<class T> Array2D<T>::~Array2D() { delete []dim1Data; } template<class T> T& Array2D<T>::Array1D::operator [](int index) { return dim2Data[index]; } template<class T> const T& Array2D<T>::Array1D::operator [](int index)const { return dim2Data[index]; } template<class T> typename Array2D<T>::Array1D& Array2D<T>::operator [](int index) { return dim1Data[index]; } template<class T> const typename Array2D<T>::Array1D& Array2D<T>::operator[](int index)const { return dim1Data[index]; } int main() { Array2D<int> data(2, 3); for(int i = 0; i < 2; ++i) for(int j = 0; j < 3; ++j) data[i][j] = j; for(int i = 0; i < 2; ++i) for(int j = 0; j < 3; ++j) cout << data[i][j] << endl; return 0; }

      当然，其中也遇到了一些困难，现整理如下：

 

      FIRST ，代码第27行中，typename Array2D<T>::Array1D&，关键字typename有什么作用？

      typename有双重意义，具体参见<<effective c++>> Item 42。这里只由于其第二重意义。观察Array2D<T>::Array1D，其类型取决于template参数T。template内出现的名称如果相依于某个template参数，称之为从属名称。如果从属名称在class内呈嵌套状，则称之为嵌套从属名称。而嵌套从属名称有可能导致解析困难，所以必须在其前加上关键字typename表示其是一个类型。

      SECOND ,代码50~55读者是否感到有些奇怪。为什么不写成dim1Data = new myType[dim1](realDim2);呢？事实上，该语句是不能通过编译的。因为这不符合C++的语法。那么只能用点小聪明代替了。这里还要注意就是代码行62调用的是类赋值函数，刚开始笔者也在此处吃了亏。

 

 

      总之，学习C++之路还是很漫长啊。