STL 关于vector的细节,vector模拟实现【C++】

在这里插入图片描述

vector成员变量

在这里插入图片描述
_start指向容器的头,_finish指向容器当中有效数据的下一个位置,_endofstorage指向整个容器的尾

默认成员函数

构造函数

		//构造函数
		vector()
			:_start(nullptr)
			, _finish(nullptr)
			, _endofstorage(nullptr)
		{
    
    }

拷贝构造

先开辟一块与该容器大小相同的空间,然后将该容器当中的数据一个个拷贝过来即可,最后更新_finish和_endofstorage的值即可。

深拷贝版本一:

		//拷贝构造(深拷贝)
		vector(const vector<T> & v)
			//v1= v
			//vector( vector * this ,const vector<T>& v)

		{
    
    
			//开空间
			this->_start =  new T[size(T) * v.capacity()];
			//拷贝数据
			memcpy(this->_start, v._start, sizeof(T) * v.size()  );
			this->_finish = v._start + v.size();//更新_finish
			this->_endofstorage = v._start + v.capacity();//更新 _endofstorage
		}

注意: 不能使用memcpy函数
如果vector存储的数据是内置类型或无需进行深拷贝的自定义类型时,使用memcpy函数可以
但当vector存储的数据是需要进行深拷贝的自定义类型时,不能使用memcpy
举个例子
如果vector存储的数据是string类的时候

void test_vector9()
	{
    
    
		vector<string> v;
		v.push_back("111111111111111");
		v.push_back("222222222222222");
		v.push_back("333333333333333");
		v.push_back("444444444444444");
		v.push_back("555555555555555");//memcpy拷贝出现了问题

		for (auto & e : v) //string拷贝代价比较大
		{
    
    
			cout << e << " ";
		}
		cout << endl;
	}

memcpy函数进行拷贝构造的话,那么reserve函数申请的tmp当中存储的每个string的成员变量的值,与vector 当中的每个对应的string成员都指向同一个字符串空间,
在这里插入图片描述

delete释放空间 ,如果是自定义类型时,依次调用数组每个对象的析构函数,再释放整个空间,也就是说tmp现在指向一块被释放的空间,即tmp是野指针
在这里插入图片描述

总结:
问题:vector是深拷贝 , 但是vector空间上存的对象是string的数组使用memcpy导致string对象的浅拷贝

如何解决:

		void reserve( size_t n)
		{
    
    
 			if (n > capacity())//扩容 
			{
    
    
				size_t sz = size();//用sz记录size 
				T * tmp = new T[n];
				if (_start != nullptr) //如果原空间不为空再拷贝数据
				{
    
    
					//memcpy(tmp, _start, sizeof(T) * sz);//将_start的数据拷贝到tmp中
					for (size_t i = 0; i < sz; ++i)
					{
    
    
						tmp[i] = _start[i];//调用string的赋值重载进行深拷贝
					}
					delete[] _start;//释放_start的空间 
				}

				_start = tmp; //将tmp的地址给_start,以便_finish和_endofstorage的更新
				_finish = _start + sz;//更新_finish
				_endofstorage = _start + n;//更新_endofstorage 

			  } 
		}

在这里插入图片描述

结论: 如果vector当中存储的元素类型是内置类型(int)或浅拷贝的自定义类型(Date),可以使用memcpy函数进行进行拷贝构造,但如果vector当中存储的元素类型是深拷贝的自定义类型(string),则不可以使用memcpy函数

深拷贝版本二:

使用范围for(或是其他遍历方式)对容器v进行遍历,在遍历过程中将容器v中存储的数据一个个尾插过来即可。

		//拷贝构造第二种版本(深拷贝)
		vector( const vector<T>& v)
			//v1=v
			//vector( vector *this , const vector<T> v)
			:_start(nullptr)
			, _finish(nullptr)
			, _endofstorage(nullptr)
		{
    
    
			//开空间
			reserve(v.capacity());

			//拷贝数据
			for (auto e : v)
			{
    
    
				push_back(e); //将v的数据插入到v1中
			}
		}

注意: 在使用范围for对容器v进行遍历的过程中,变量e就是每一个数据的拷贝,然后将e尾插到构造出来的容器当中。就算容器v当中存储的数据是string类,在e拷贝时也会自动调用string的拷贝构造(深拷贝),所以也能够避免出现与使用memcpy时类似的问题。

赋值运算符重载函数

vector的赋值运算符重载当然也涉及深拷贝问题,我们这里也提供两种深拷贝的写法:

先释放原来的空间,再开辟一块和容器v大小相同的空间,然后将容器v当中的数据一个个拷贝过来,最后更新_finish和_endofstorage的值即可。

深拷贝版本一

		//赋值重载版本一
		vector<T>  &  operator=(vector<T> v)
			//v1=v
		//	vector<T>& operator=(vector<T> *this , vector<T> v)
		{
    
    
			//释放原来的空间
			delete [] _start;
			//开辟空间 
			_start = new T[v.capacity()];
			//拷贝数据 
			for (size_t i =0 ; i < v.size(); ++ i)
			{
    
     
				_start[i]= v[i];
			}
			//更行相关边界条件
			_finish = _start + v.size();
			_endofstorage = _start + v.capacity();
			return *this;
		 }

首先在右值传参时并没有使用引用传参,因为这样可以间接调用vector的拷贝构造函数,然后将这个拷贝构造出来的容器v与左值进行交换,此时就相当于完成了赋值操作,而容器v会在该函数调用结束时自动析构。

深拷贝版本二(推荐)

  //赋值重载版本二
		 vector<T> & operator= ( vector<T> v) //编译器接收右值的时候自动调用拷贝构造函数
			 //vector<T>& operator= ( vector<T> *this ,vector<T> v)
			 //v1=v
		{
    
    
			 //this->swap(v)
			 swap(v);//v1 和v交换
			 return *this;
		}

版本二的理解:
在这里插入图片描述

析构函数

对容器进行析构时,首先判断该容器是否为空容器,若为空容器,则无需进行析构操作,若不为空,则先释放容器存储数据的空间,然后将容器的各个成员变量设置为空指针即可。

	//析构函数
		~vector()
		{
    
    
			//_start==nulllptr 就不需要析构了
			if (_start != nullptr)
			{
    
    

				delete[]_start;
				_start = _finish = _endofstorage = nullptr;
			}
		}

迭代器

在这里插入图片描述

begin

vector当中的begin函数返回容器的首地址

普通版本

        iterator begin()
		{
    
    
			return _start;
		}
	

const版本

	 const_iterator begin() const
		{
    
    
			return _start;
		}

end

end函数返回容器当中有效数据的下一个数据的地址。

普通版本

		 iterator end()
		 {
    
    
			 return _finish;
		 }

const 版本

	 const_iterator end() const
		 {
    
    
			 return _finish;
		 }

size和capacity

两个指针相减的结果,即这两个指针之间对应类型的数据个数,所以size可以由_finish - _start得到,而capacity可以由_endofstorage - _start得到。

在这里插入图片描述

size_t size()const
{
    
    
	return _finish - _start; //返回容器当中有效数据的个数
}
size_t capacity()const
{
    
    
	return _endofstorage - _start; //返回当前容器的最大容量
}

resize

1、n > size

 将size扩大到n,扩大的数据为val,若val未给出,就用缺省值

 2、n < size

改变_finish的指向,直接将容器的size缩小到n即可

		 void resize(  size_t n ,  const T& val =  T()   )//缺省值是匿名对象,c++对内置类型进行了升级
		 {
    
    
			 //n<size 缩容
			 if (n < size())
			 {
    
    
				 _finish = _start + n;
		     }
			 else	 //扩容
			 {
    
    
				 reserve(n);
				 //插入数据
				 while (_finish!=_start+n)
				 {
    
    
					 *_finish = val;
					 _finish++;
				}
			 }
		
		 }

注意: c++把内置类型也看作成类,它们也有默认构造函数,所以在给resize函数的参数val设置缺省值时,设置为T( )即可

reserve

1、n>capacity(),将capacity扩大到n或大于n。
2、n<capacity() ,什么也不做。

	void reserve( size_t n)
		{
    
    
			if (n > capacity())//扩容 
			{
    
    
				size_t sz = size();//用sz记录size 
				T * tmp = new T[n];
				if (_start != nullptr) //如果原空间不为空再拷贝数据
				{
    
    
					memcpy(tmp, _start, sizeof(T) * sz);//将_start的数据拷贝到tmp中
					delete[] _start;//释放_start的空间 
				}

				_start = tmp; //将tmp的地址给_start,以便_finish和_endofstorage的更新
				_finish = _start + sz;//更新_finish
				_endofstorage = _start + n;//更新_endofstorage 

			  } 
		}

注意:
1 在进行操作之前需要提前记录当前容器当中有效数据的个数。

2 拷贝容器当中的数据时,不能使用memcpy函数进行拷贝

[ ]

const 版本

		 const T & operator[] (size_t pos) const
			// const T& operator[] (  T const * this,size_t pos) 
		{
    
    
			 assert(pos < size());
			 return  _start[pos];

		}

普通版本


		  T& operator[] (size_t pos) 
			 // const T& operator[] (  T  * this,size_t pos) 
		 {
    
    
			 assert(pos < size() );
			 return  _start[pos];

		 }

push_back

要尾插数据首先得判断容器是否已满,若已满则需要先进行增容,然后将数据尾插到_finish指向的位置,再将_finish++即可

void push_back(const T & x )
		{
    
    
			//如果容量满了
			if (_finish == _endofstorage)
				//扩容
			{
    
    
				size_t newcapacity = capacity() == 0 ? 4 : 2 * capacity();
				reserve (newcapacity);//扩容
			}
			*_finish = x;
			_finish++;//_finish指针后移
		}

pop_back

		void pop_back()
		{
    
    
			erase(  --end()  );
		}

insert

insert函数可以在所给迭代器pos位置插入数据,在插入数据前先判断是否需要增容,然后将pos位置及其之后的数据统一向后挪动一位,以留出pos位置进行插入,最后将数据插入到pos位置即可。

		 iterator insert(iterator pos, const T& x)
		 {
    
    
			 assert(pos >= _start && pos <= _finish);	
			 //如果容量满了,需要扩容 
			 if (_finish == _endofstorage)
			 {
    
    
				 size_t newcapacity = capacity() == 0 ? 4 : 2 * capacity();
				 //扩容会开辟一段新的空间 ,把数据从原空间拷贝到新空间,并且释放原空间,但是此时pos这个迭代器还是指向原空间
				 //会导致pos迭代器失效 —更新pos迭代器
				 size_t len = pos - _start;
				 reserve(newcapacity);
				 pos = _start + len;
			  }
			 //容量未满
			 iterator end = _finish -1;
			 //挪动数据
			 while (end>=pos)
			 {
    
    
				 *(end + 1) = *(end);
  				 --end;
			 }
			 //插入数据 
			 (*pos) = x;
			 _finish++;
			 return pos;
		 }

insert以后可能会出现迭代器失效
解决方案:再下一次使用迭代器之前,对迭代器重新赋值即可

erase

erase函数可以删除所给迭代器pos位置的数据,在删除数据前需要判断容器释放为空,若为空则需做断言处理,删除数据时直接将pos位置之后的数据统一向前挪动一位,将pos位置的数据覆盖即可

		 //错误的版本
		 //void erase(iterator pos)
		 //{
    
    
			// assert(pos >= _start && pos < _finish);
			// iterator it = pos + 1;
			// while (it != _finish)//挪动数据
			// {
    
    
			//	 *(it - 1) = *(it);
			//	 it++;
			// }
			// _finish--;
		 //}

		 //正确的版本
		 iterator erase(iterator pos)
		 {
    
    
			 assert(pos >= _start && pos < _finish);
			 iterator it = pos + 1;
			 while (it!= _finish)//挪动数据
			 {
    
    
				 *(it - 1) = *(it);
				 it++;
			 }
			 _finish--;
			 return pos;
		
		  }

erase 在使用的时候可能会有迭代器失效的问题
解决方案:我们可以接收erase函数的返回值(erase函数返回删除元素的后一个元素的新位置)

swap

swap函数用于交换两个容器的数据,我们可以直接调用库当中的swap函数将两个容器当中的各个成员变量进行交换即可。

		void swap(vector<T> & v)//交换数据
		{
    
    
			std::swap(_start , v._start);
			std::swap(_finish, v._finish);
			std::swap(_endofstorage, v._endofstorage);
		}

注意: 这里调用库里的swap模板函数,需要在swap函数之前加上“std::”,告诉编译器在c++标准库寻找swap函数,否则编译器编译时会认为你调用的是正在实现的swap函数(就近原则)。

如果你觉得这篇文章对你有帮助,不妨动动手指给点赞收藏加转发,给鄃鳕一个大大的关注
你们的每一次支持都将转化为我前进的动力!!!

在这里插入图片描述

猜你喜欢

转载自blog.csdn.net/qq_73478334/article/details/131995121