<四>理解空间配置器allocator, 优化STL 中的Vector

.在上一节我们实现的 MyVector存在哪些问题?

问题1

现在有Student类
class Student{
   public:
   Student(){cout<<"构造Student对象"<<endl;}
   ~Student(){cout<<"析构Student对象"<<endl;}
   private:
       int   age
       char  NAME[20;]
       char  *pAddress;
}

MyVector<Student> v1[1000];

我只是希望创建一个能放1000个Student 的Vector,但是开始并不放任何内容,但是发现编译器除分配了1000个student对象的空间,还创建了1000个对象,
在main函数结束后再析构这1000个对象,这就是问题1,这1000个对象并不是我需要的,
原因如下,在MyVector的构造函数中 T * _tep = new T[size](); 这个new除了分配空间,还会调用对象的构造函数完成对象的初始化
换句话说就是 空间的分配和对象的创建联系在了一起,这个非常不合理,我们需要把他分开,我希望是需要帮我开辟空间即可,不希望帮我创建1000个对象

问题2关于析构函数

//析构函数
~MyVector<T>() {
	if (Empty() == false) {
		delete[]first;
		first = nullptr;
		last  = nullptr;
		end   = nullptr;
		cout << "析构Vector,堆地址"<<first << endl;
	}

}

实际情况时,我的vector是可以放1000个student对象的容器,但是实际里面可能暂时只放了100个对象,
而delete[] first,是把整个vector中的1000个student对象都调用析构函数,这也不合理,我们只需要析构有效
数量的对象然后再释放first指针指向的堆内存

问题3 关于添加元素和删除元素

student s1;
student s2;
student s3;

MyVector<student> v1(1000);// 这一句编译器会先分配1000个student对象空间,然后再调用1000次构造函数创建1000个student对象


v1.pushback(s1);
//上面这句话会调用赋值函数,会将s1的内容赋值给已经在堆上的student对象,但实际上我想要的是,只需要将分配好的空间
//给我,我使用拷贝构造,将s1拷贝构造出来一个对象放在你给的空间上,这是个问题


v1.popBack(){
    this->last--;
}
//上面的pop最后一个studnet对象,只是将最后一个元素的指针前移动一个student空间大小,并没有去析构这个对象,
//而且这个弹出的student对象里面有一个char *pAddress 指向了外部堆内存资源,这个内存自己没有去释放的话,
//造成了内存泄漏了. 这个也是个问题,所以说我们要去析构这个弹出的student对象但是不用使用 delete 方式 delete 这个对象,为什么呢?
//应为delete 处理调用析构函数完,他还要释放内存空间,但是这个空间属于Vector的,释放掉了这一小块空间,我们后面就无法在使用了,
//**所以一句话就是我们从vector中删除一个对象时,只做析构这个对象而不释放他的内存空间,把对象的析构和内存的释放分开**

以上三个问题使得我们不能采用上一篇文字中的方式写Vector,这就是引入了容器的空间配置器的原因

容器的空间配置器做了4件事
内存开辟/内存释放 对象创建/对象析构

在上一遍的基础上加入空间配置器,代码如下

#include <iostream>
using namespace std;


class student {

public:

	student(int _age, char * _pname): 
		age(_age),
		pName(_pname){  
	}

	student(const student & _rvalue) {
		this->age = _rvalue.age;
		this->pName = new char[20];
		strcpy(this->pName, _rvalue.pName);
	}

	student & operator =(const student & _rvalue) {
		
		if (this == &_rvalue) { return *this; }
		
		delete[]this->pName;
		this->pName = nullptr;

		this->age = _rvalue.age;	
		this->pName = new char[20];
		strcpy(this->pName, _rvalue.pName);
	}
	~student() {
		delete[] this->pName;
		this->pName == nullptr;
		cout << "student 析构函数被执行,当前对象地址是" << this << endl;
	}


private:
	int age;
	char *pName;
};


template<typename T>
class MyAllocate {

public:

	T * allocate(int size) {
		return (T *)malloc(sizeof(T)*size);
	}

	//根据指定的地址,释放内存空间
	void delAllocate(T *p) {
		free(p);
	}

	//在p指针指定的位置,根据指定的对象创建新对象
	void construct(T * p, const T & _rValue) {
		new (p) T(_rValue);
	}

	//析构指定对象,但不释放内存空间
	void destory(T * p) {
		if (p != nullptr) {
			p->~T();
		}
	}



};



template<typename T, typename Allocate=MyAllocate<T>>
class MyVector2 {

public:

	//构造函数
	MyVector2<T, Allocate>(int size = 10, const Allocate & _allocate = MyAllocate<T>()) : allocator(_allocate) {
		
		first = allocator.allocate(size);
		last = first;
		end = first + size;
		cout << "MyVector2 构造函数,构建数量=" << size <<"堆空间构造起始地址="<<first<<"结束地址=" << endl;
	}

	//拷贝构造,根据指定的 MyVector2 创建新的MyVector2
	MyVector2<T, Allocate>(const MyVector2<T,Allocate> & _rValue) {
		
		//1:根据原MyVector2的Size 申请内存空间
		first = allocator.allocate(_rValue.Size());
		last = first;
		end = first + __rValue.Size();

		//2:根据原MyVector2内的对象,在第1步申请的堆内存中构造对象
		T *tep = _rValue.first;
		while (tep<_rValue.end)
		{			
			allocate.construct(last, *tep)
			last++;
			tep++;
		}
		cout << "MyVector2 拷贝构造函数,构建数量" << __rValue.Size() << endl;
	}

	//赋值函数
	MyVector2<T, Allocate> & operator=(const MyVector2<T, Allocate> & _rValue) {
		if (this == &_rValue) { return *this;}

		//1:先析构目标Vector2中所有的对象
		T * tep = first;
		while (tep < last) {
			allocator.destory(tep);
			tep++;
		}

		//2:释放目标Vector2的内存空间
		allocator.delAllocate(first);

		//3:根据原MyVector2的size 申请新的内存空间
		int rSize = _rValue.Size();
		T * _head allocator.allocate(rSize);
		first = _head;
		last  = _head;
		end   = first + rSize;

		//4:根据原MyVector2中的有效的对象在 第3步申请的内存空间上构建对象

		T *tep = _rValue.first;
		while (tep<_rValue.end)
		{
			allocator.construct(last, *tep)
			last++;
			tep++;
		}
	
		cout << "MyVector2 赋值函数,构建数量" << rSize << endl;

	}
	
	//在已经申请空间的位置 添加值
	void pushBack(const T & _addValue) {
		if (Full()) {
			Expend();//两倍扩容
		}
		//在指定地址空间 构建对象
		allocator.construct(last, _addValue);
		cout << "pushBack 元素,内存地址=" << last << endl;
		last++;
		
	}

	//弹出
	void popBack() {
		if (Empty()) { return; }
		//1:只析构指定位置对象,但不释放空间
		allocator.destory(last - 1);
		cout << "popBack元素,其内存地址=" << (last - 1) << endl;

		//2:移动last指针
		last--;
	
	}
	
	//是否为空
	bool Empty() { return first == last; }
	
	//是否满
	bool Full() { return  last  == end;  }

	int  Size() { return   end - first; }

	//容器扩容
	void Expend() {

		int newSize = this->Size() * 2;//两倍扩容
		
		//1:申请新的空间
		T * head = allocator.allocate(newSize);
		T * tep_first = head;
		T * tep_last =  head;
		T * tep_end  = first + newSize;

		cout << "两倍扩容,新的堆内存起始地址=" << head << endl;

		//2:将原来有效的对象 赋值到新的堆空间上
		T * tep = first;
		while (tep < last) {
			allocator.construct(tep_first,*tep);
			cout << "两倍扩容,赋值对象,原对象地址=" << tep <<"目标对象地址="<<tep_first<< endl;
			tep_first++;	
			tep_last++;
			tep++;
		}

		tep = first;
		//3:析构原堆空间上有效的对象
		while (tep < last) {
			allocator.destory(tep);
			cout << "两倍扩容,析构对象,对象地址=" << tep << endl;
			tep++;
			
		}

		//4:释放堆上的空间
		allocator.delAllocate(first);
		cout << "两倍扩容,销毁原空间" << first << endl;
		first = head;
		last  = tep_last;
		end   = first + newSize;

	}


	void showVectorInfo() {
		T * tep = first;
		while (tep < last)
		{
			cout << "打印Vector中有效对象地址=" << tep << endl;
			tep++;
		}
	}


private:
	T * first;
	T * last;
	T * end;
	Allocate allocator;

};



int main() {

	MyVector2<student, MyAllocate<student>> v(4);

	student s1(20, "zs1");

	v.pushBack(s1);

	student s2(22, "zs2");

	v.pushBack(s2);

	student s3(23, "zs3");

	v.pushBack(s3);


	student s4(24, "zs4");

	v.pushBack(s4);

	v.showVectorInfo();


	student s5(25, "zs5");

	v.pushBack(s5);
	
	v.showVectorInfo();

	system("pause");

	return 1;
}