【C++】vector 实现 --- 迭代器失效，深浅拷贝

关于resize

关于insert迭代器失效

关于erase迭代器失效

关于一般传参构造

关于迭代器构造

关于迭代器重载和sort

*关于赋值重载（深浅拷贝问题）

Vector.h

#pragma once



namespace xiong
{
	template<class T>
	class vector
	{
	public:
		typedef T* iterator;
		typedef const T* const_iterator;
		vector()
		{}


		//vector<int> v1(10, 2);
		//--这里的缺省参数的设置，设一个匿名对象，会去调用其构造
		//  构造可以是无参构造、全缺省构造、默认生成构造
		//--并且这里的匿名对象被const引用，该匿名对象生命周期会
		//  延长至引用该引用对象val的所在域，域内可以通过val使
		//  用该匿名对象
		//--匿名对象、临时变量具有常性，所以一定要用const，避免权限放大
		
		
		vector(int n, const T& val = T())
		{
			//直接这样写，会没有初始化！！！！
			//可以用初始化列表初始化
			//建议直接在成员设置缺省值进行初始化
			reserve(n);
			for (int i = 0; i < n; ++i)
			{
				//_start[i] = val;
				push_back(val);
			}
		}

		vector(size_t n, const T& val = T())
		{
			//直接这样写，会没有初始化！！！！
			//可以用初始化列表初始化
			//建议直接在成员设置缺省值进行初始化
			reserve(n);
			for (size_t i = 0; i < n; ++i)
			{
				//_start[i] = val;
				push_back(val);
			}
		}
		//vector<int> v1(10, 2);
		//对于测试函数中的
		//vector<int> v1(10, 2);
			//整型字面量会被默认识别为 int
			//这里构造函数参数类型为size_t
			//调用时匹配到了 vector(InputIterator first, InputIterator last)
			//InputIterator 被实例化为了int，函数内对int 解引用，报错


			//解决方案：1.vector<int> v1(10u, 2); 指明参数为无符号类型
			//		  2.重载一份 int 类型的构造 vector(int n, const T & val = T())

		
		//迭代去区间是左闭右开的
		template<class InputIterator>
		vector(InputIterator first, InputIterator last)
		{
			//不一定连续，last都不一定比first大
			//reserve(last - first);
			
			while (first != last)
			{
				push_back(*first);
				++first;
			}
		}

		//vector<int> v1(v2);
		vector(const vector<T>& v)
		{
			reserve(v.capacity());
			for (auto e : v)
			{
				push_back(e);
			}
		}

		~vector()
		{
			delete[] _start;
			_start = _finish = _end_of_storage = nullptr;
		}


		iterator begin()
		{
			return _start;
		}
		iterator end()
		{
			return _finish;
		}
		//const迭代器是针对const对象的
		const_iterator begin() const
		{
			return _start;
		}
		const_iterator end() const
		{
			return _finish;
		}

		size_t size()
		{
			return _finish - _start;
		}
		size_t capacity()
		{
			return _end_of_storage - _start;
		}


		//设置缺省参数
		// 这里不能用引用
		/*1.因为为空位设置的数据可能来自已经初始化的变量，传引用会和
		实参共用，会出现一些问题
		  2.传值是产生的临时拷贝，出了函数就销毁了，所以也就没有必要
		const修饰了*/

		void resize(size_t n, const T& x = T())
		{
			size_t sz = size();
			if (n <= sz)
			{
				_finish = _start + n;
			}
			else
			{
				//先查看是否需要扩容
				size_t cap = capacity();
				if (n > cap)
				{
					reserve(n);
				}
				//在空位填入数据
				while (_finish != _start + n)
				{
					//尽量不适用后置++，减少拷贝构造
					//*(_finish++) = x;
					*(_finish) = x;
					++_finish;
				}
			}
		}

		void reserve(size_t n)
		{
			if (n > capacity())
			{
				size_t sz= size();
				T* tmp = new T[n];
				for (size_t i = 0; i < size(); ++i)
				{	
					tmp[i] = _start[i];
				}
				//将数据拷贝到tmp后注意要将原数据删除
				delete[] _start;
				_start = tmp;
				_finish = _start + sz;
				_end_of_storage = _start + n;
			}
		}

		void push_back(const T& x)
		{
			//注意这里判断条件为成员判断
			//如果用size()和capacity()判断也可以，但是会频繁调用函数
			if (_finish == _end_of_storage)
			{
				size_t cap = capacity();
				reserve((cap == 0) ? 4 : 2 * cap);
			}
			*(_finish) = x;
			++_finish;
		}

		void pop_back()
		{
			assert(!empty());
			--_finish;
		}

		bool empty()
		{
			return _start == _finish;
		}


		//要实现迭代器版的insert！！
		/*iterator insert(size_t pos, const T& val)
		{
			assert(pos < size());
			if (_finish == _end_of_storage)
			{
				reserve(size() + 1);
			}
			size_t end = size();
			while (end > pos)
			{
				_start[end] = _start[end - 1];
				--end;
			}
			_start[pos] = val;
			++_finish;

			return _start + pos;
		}*/

		iterator insert(iterator pos, const T& val)
		{
			assert(pos >= _start);
			assert(pos <= _finish);
			if (_finish == _end_of_storage)
			{
				//注意发生扩容时可能发生的迭代器失效！！！！
				//扩容后更新pos!!
				//reserve(capacity() == 0 ? 4 : 2 * capacity());
				size_t len = pos - _start;
				reserve(capacity() == 0 ? 4 : 2 * capacity());
				pos = _start + len;
			}
			iterator end = _finish;
			while (end != pos)
			{
				*end = *(end - 1);
				--end;
			}
			*pos = val;
			++_finish;
			return pos;
		}


		iterator erase(iterator pos)
		{
			assert(pos >= _start);
			assert(pos < _finish);
			iterator start = pos;
			/*while (start < _finish - 1)
			{
				*end = *(start + 1);
				++start;
			}
			*/
			while (start != _finish)
			{
				*(start - 1) = *(start);
				++start;
			}
			--_finish;
			return pos;
		}

		T& operator[](size_t pos)
		{
			assert(pos < size());
			return _start[pos];
		}

		const T& operator[](size_t pos) const
		{
			assert(pos < size());
			return _start[pos];
		}


	private:
		//直接设置缺省值，不显示初始化列表时
		//初始化列表会去拿缺省值进行初始化
		iterator _start = nullptr;
		iterator _finish = nullptr;
		iterator _end_of_storage = nullptr;

	};
}