构造新类型的第一步通常是把所需的元素组织成一种数据结构,即一个struct:
strict Vector{ int sz; //元素数目 double* elem; //指向元素的指针 };
这是Vector的第一个版本,它包含一个int和一个double*。
Vector类型的变量可像这样定义:
Vector v;
但是,就v本身而言,它的用处似乎不大,因为v的elem指针并没有指向任何东西。为了让它变得有用,我们必须给出一些元素,令v指向它们。例如,我们可以构造一个如下所示的Vector:
void vector_init(Vector& v, int s) { v.elem = new double[s]; //分配一个数组,它含有s个double v.sz = s; }
也就是说,v的elem成员被赋予了一个由new运算符生成的指针,而v的sz成员则得到了元素的数目。Vector&中的&指出,我们是通过非const引用方式传递v的,这样vector_init()就能修改传给它的向量了。
new运算符从一块名为自由存储(free store)(又称为动态内存(dynamic memory)或堆(heap))的区域中分配内存。在自由存储中分配的对象独立于它创建时所处的作用域,会一直“存活”到使用delete运算符销魂它为止。
Vector的一个简单应用如下所示:
double read_and_sum(int s) //从cin读入s个整数,然后返回这些整数的和,假定s是正的 { Vector v; vector_init(v, s); //为v分配s个元素 for(int i = 0; i != s; ++i) cin>>v.elem[i]; //读入元素 double sum = 0; for(int i = 0; i != s; ++i) sum+=v.elem[i]; //计算元素的和 return sum; }
显然,我们的Vector在优雅程度和灵活性上与标准库vector还很很大差距,尤其是Vector的使用者必须知道有关其表示方式的所有细节。本章余下的部分以及接下来的两章会逐步改进Vector,作为呈现语言特性和技术的一个示例。作为对比,第11章会介绍标准库vector,其中包含着很多良好的改进。
本书使用vector和其他标准库组件作为示例,以
不要试图重写vector和string等标准库组件,直接使用它们更为明智。
我们可以通过名字(或引用)访问struct的成员,此时使用点运算符;也可通过指针访问struct的成员,此时使用->。例如:
void f(Vector v, Vector& rv, Vector* pv) { int i1 = v.sz; //通过名字访问 int i2 = rv.sz; //通过引用访问 int i3 = pv.sz; //通过指针访问 }