STL之Vector实现原理

Vector的基本知识

        在C++中，我们使用信息隐藏技术和封装技术把数据隐藏在类内部不许外部直接操作，同时提供访问器（如get_xxx成员函数）和修改器（如set_xxx成员函数）。STL容器的设计原理如出一辙，只是它们在实现时考虑的问题更多，更加复杂而已。容器不仅把元素对象隐藏起来了，而且把元素对象的内存申请和释放操作也全部隐藏起来了（通过存储分配器），这就使程序员彻底摆脱了直接操纵底层内存指针的麻烦，也避免了危险。经过严格测试的容器几乎不可能存在动态内存管理上的问题，因此可以放心使用。

      下图是vector<T>的内存映像，来展示C++中STL是如何实现容器的

两个关键大小：

大小：size=_last - _first;

容量：capacity=_end - _first;

它们分别对应resize()、reserver()两个函数。

       size表示vectoe中已经有的元素个数，容量表示vector最多可存储的元素个数。为降低二次分配时的成本，vector实际配置的大小可能比客户需求的更大一些，以备将来扩充，这就是容量的概念。即当capacity>=size,当等于时，容器此时已满，若要加入新的元素，就要重新进行内存分配，整个vector的数据都要移动到新的内存。二次分配成本较高，在实际操作时，应尽量预留一定的空间，避免二次分配。

vector的实现原理：

      vector的数据安排及操作方式与array非常相似。两者的唯一差别在于空间运用的灵活性。

      array是静态空间，一旦配置好了就不能改变了，如果程序需要一个更大的array，只能自己再申请一个更大的array，然后将以前的array中的内容全部拷贝到新的array中。

      vector是动态空间，随着元素的加入，它的内部机制会自动扩充空间以容纳新的元素。vector的关键技术在于对大小的控制以及重新分配时的数据移动效率。

      vector采用的数据结构是线性的连续空间，他以两个迭代器start和finish分别指向配置得来的连续空间中目前已将被使用的空间。迭代器end_of_storage指向整个连续的尾部。

      vector在增加元素时，如果超过自身最大的容量，vector则将自身的容量扩充为原来的两倍。扩充空间需要经过的步骤：重新配置空间，元素移动，释放旧的内存空间。一旦vector空间重新配置，则指向原来vector的所有迭代器都失效了，因为vector的地址改变了。

实现简易的vector

template<class T, class Alloc = alloc>
class Vector
{
public:
	typedef T* Iterator;
	typedef SimpleAlloc<T, Alloc> DataAllocator;

	Vector()
		:_first(NULL)
		,_end(NULL)
		,_endOfStorage(NULL)
	{}

	Iterator Begin()
	{
		return _first;
	}

	Iterator End()
	{
		return _end;
	}

	~Vector()
	{
		Destroy(Begin(), End());
		DataAllocator::Deallocate(_first, Size());
	}

	void PushBack(const T& x)
	{
		CheckCapacity();
		Construct(_end, x);
		++_end;
	}

	size_t Size()
	{
		return _end-_first;
	}

	size_t Capacity()
	{
		return _endOfStorage-_first;
	}

	void CheckCapacity()
	{
		if (_end == _endOfStorage)
		{
			size_t size = Size();
			size_t newSize = size != 0 ? 2*size : 3; 
			T* tmp = DataAllocator::Allocate(newSize);

			if (_first)
			{
				for (size_t i = 0; i < size; ++i)
				{
					Construct(tmp+i, _start[i]);
				}

				Destroy(_first, _end);
				DataAllocator::Deallocate(_first, size);
			}

			_first = tmp;
			_end = _first +size;
			_endOfStorage = _first + newSize;

		}	
	}

protected:
	Iterator _first;
	Iterator _end;
	Iterator _endOfStorage;
};

void TestVector()
{
	Vector<string> v1;
	v1.PushBack("1");
	v1.PushBack("2");
	v1.PushBack("3");
	v1.PushBack("4");

	Vector<string>::Iterator it1 = v1.Begin();
	while (it1 != v1.End())
	{
		cout<<*it1<<" ";
		++it1;
	}
	cout<<endl;
}