动手实现自己的 STL 容器 《1》---- vector

http://blog.csdn.net/shoulinjun/article/details/23450597?utm_source=tuicool&utm_medium=referral

本文参考了侯捷的 《STL 源码分析》一书，出于兴趣，自行实现了简单的 vector 容器。

之后会陆续上传 list， deque 等容器的代码，若有错误，欢迎留言指出。

vector 容易实现的几点注意事项：

1. 由于vector 是动态数组。

出于效率的考虑，在往vector 中加入元素时，内存的扩展遵循的规则是：

   1> 如果当前可用内存不够，开 2倍大的内存，将原来的数组复制到新数组中，撤销原来的数组。

   2> 加入新的元素

2. 通常当我们 int *p = new int(1)时， new 其实做了两件事情： 1> 分配内存   2>在分配的内存中调用类的构造函数。

出于效率的考虑，在 vector 的内存管理中，我们将这两个操作分开。

C++ 提供了 模板类 allocator 来实现上述的功能。

3. vector 中三个指针，分别是 start, finish, end_of_storage;

    [start, finish) 就是数组元素；

    [finish, end_of_storage) 是预先分配的空间（还没有调用构造函数）

参考书籍：

1. C++ primer， Lippman

2. STL 源码分析， 侯捷

[cpp]  view plain  copy

 

1. // Last Update:2014-04-11 15:44:44  
2. /** 
3.  * @file vector.h 
4.  * @brief a simple vector class 
5.  * @author shoulinjun@126.com 
6.  * @version 0.1.00 
7.  * @date 2014-04-09 
8.  */  
9.   
10. #ifndef MY_VECTOR_H  
11. #define MY_VECTOR_H  
12.   
13. #include <iostream>  
14. #include <algorithm>  
15. #include <memory>  
16.   
17.   
18. template<class T>  
19. void destroy(T* pointer)  
20. {  
21.   pointer->~T();  
22. }  
23.   
24. template<class ForwardIterator>  
25. void destroy(ForwardIterator first, ForwardIterator last)  
26. {  
27.   for(ForwardIterator it = first; it != last; ++ it)  
28.   {  
29.     destroy(&*it);  
30.   }  
31. }  
32.   
33. template<class T>  
34. class MyVector  
35. {  
36. public:  
37.   typedef T  value_type;  
38.   typedef T* iterator;  
39.   typedef const T*const_iterator;  
40.   typedef T* pointer;  
41.   typedef const T* const_pointer;  
42.   typedef T& reference;  
43.   typedef const T& const_reference;  
44.   typedef size_t size_type;  
45.   
46.   MyVector();  
47.   MyVector(size_type n, T value = T());  
48.   MyVector(iterator begin, iterator end);  
49.   ~MyVector();  
50.   
51.   //copy control  
52.   MyVector(const MyVector&);  
53.   MyVector& operator=(const MyVector&);  
54.   
55.   bool empty() const { return begin() == end(); }  
56.   size_type size() const {return (size_type)(finish - start);}  
57.   size_type capacity() const {return (size_type)(end_of_storage - start);}  
58.   
59.   iterator begin() { return start; }  
60.   const_iterator begin() const{ return start; }  
61.   iterator end()   { return finish;}  
62.   const_iterator end() const{ return finish; }  
63.   
64.   reference operator[](size_type i){return *(start + i);}  
65.   const_reference operator[](size_type i)const {return *(start + i);}  
66.   
67.   void insert(iterator position, size_type n, const T& value);  
68.   void push_back(const T& value);  
69.   void pop_back();  
70.   
71.   void erase(iterator first, iterator last);  
72.   void clear();  
73.   
74.   void reserve(size_type n);  
75. protected:  
76.   iterator start;   //空间的头  
77.   iterator finish;  //空间的尾  
78.   iterator end_of_storage; //可用空间的尾巴  
79. private:  
80.   static std::allocator<T> alloc; // object to get raw memory  
81. };  
82.   
83. // static class member needed to be defined outside of class  
84. template<class T>  
85. std::allocator<T> MyVector<T>::alloc;  
86.   
87. // default constructor  
88. template<class T>  
89. MyVector<T>::MyVector()  
90.   : start(NULL), finish(NULL), end_of_storage(NULL)  
91. {  
92. }  
93.   
94. template<class T>  
95. MyVector<T>::MyVector(size_type n, T value)  
96. {  
97.   start = alloc.allocate(n);  
98.   end_of_storage = finish = start + n;  
99.   
100.   for(iterator i=start; i!=finish; ++i)  
101.     alloc.construct(i, value);  
102. }  
103.   
104. template<class T>  
105. MyVector<T>::MyVector(iterator begin, iterator end)  
106. {  
107.   const size_type n = end - begin;  
108.   /* allocate space */  
109.   start = alloc.allocate(n);  
110.   finish = end_of_storage = start + n;  
111.   
112.   /* call constructor */  
113.   std::uninitialized_copy(begin, end, start);  
114. }  
115.   
116. template<class T>  
117. MyVector<T>::~MyVector()  
118. {  
119.   /* call destructor */  
120.   ::destroy(start, finish);  
121.   
122.   /* free space */  
123.   alloc.deallocate(start, end_of_storage - start);  
124. }  
125.   
126. // copy control  
127. template<class T>  
128. MyVector<T>::MyVector(const MyVector& rhs)  
129. {  
130.   start = alloc.allocate(rhs.capacity());  
131.   std::uninitialized_copy(rhs.start, rhs.finish, start);  
132.   finish = start + (rhs.finish - rhs.start);  
133.   end_of_storage = start + (rhs.end_of_storage - rhs.start);  
134. }  
135.   
136. template<class T>  
137. MyVector<T>& MyVector<T>::operator=(const MyVector& rhs)  
138. {  
139.   start = alloc.allocate(rhs.capacity());  
140.   std::uninitialized_copy(rhs.start, rhs.finish, start);  
141.   finish = start + rhs.finish - rhs.start;  
142.   end_of_storage = start + rhs.end_of_storage - rhs.start;  
143.   
144.   return *this;  
145. }  
146.   
147. template<class T>  
148. void MyVector<T>::insert(iterator position, size_type n, const T& value)  
149. {  
150.   if(n <= end_of_storage - finish)  
151.   {/* enough memory */   
152.     if(n <= finish - position)  
153.     {  
154.       std::uninitialized_copy(finish-n, finish, finish);  
155.       std::copy(position, finish-n, position+n);  
156.       std::fill_n(position, n, value);  
157.     }  
158.     else  
159.     {   
160.       std::uninitialized_fill_n(finish, n - (finish - position), value);  
161.       std::uninitialized_copy(position, finish, position + n);  
162.       std::fill(position, finish, value);  
163.     }  
164.     finish += n;  
165.   }  
166.   else  
167.   {/* reallocate */  
168.     pointer new_start(NULL), new_finish(NULL);  
169.     size_type old_type = end_of_storage - start;   
170.     size_type new_size = old_type + std::max(old_type, n);  
171.     new_start = alloc.allocate(new_size);  
172.   
173.     // copy old vector to new vector  
174.     new_finish = std::uninitialized_copy(start, position, new_start);  
175.     std::uninitialized_fill_n(new_finish, n, value);  
176.     new_finish += n;  
177.     new_finish = std::uninitialized_copy(position, finish, new_finish);  
178.   
179.     alloc.deallocate(start, end_of_storage - start);  
180.   
181.     start = new_start;  
182.     finish = new_finish;  
183.     end_of_storage = new_start + new_size;  
184.   }  
185. }  
186.   
187. template<class T>  
188. void MyVector<T>::push_back(const T &value)  
189. {  
190.   insert(end(), 1, value);  
191. }  
192.   
193. template<class T>  
194. void MyVector<T>::pop_back()  
195. {  
196.   alloc.destroy(--finish);  
197. }  
198.   
199. template<class T>  
200. void MyVector<T>::erase(iterator first, iterator last)  
201. {   
202.   iterator old_finish = finish;  
203.   finish = std::copy(last, finish, first);  
204.   ::destroy(finish, old_finish);  
205. }  
206.   
207. template<class T>  
208. void MyVector<T>::clear()  
209. {  
210.   erase(start, finish);  
211. }  
212.   
213. template<class T>  
214. void MyVector<T>::reserve(size_type n)  
215. {  
216.   if(capacity() < n)  
217.   {  
218.     iterator new_start = alloc.allocate(n);  
219.     std::uninitialized_copy(start, finish, new_start);  
220.   
221.     ::destroy(start, finish);  
222.     alloc.deallocate(start, size());  
223.   
224.     const size_type old_size = finish - start;  
225.     start = new_start;  
226.     finish = new_start + old_size;  
227.     end_of_storage = new_start + n;  
228.   }  
229. }  
230.   
231.   
232.   
233.   
234. #endif  /*MY_VECTOR_H*/