vector.hpp 6.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319
  1. #pragma once
  2. #include <types/allocator.hpp>
  3. #include <types/cplusplus.hpp>
  4. #include <types/types.h>
  5. namespace types {
  6. template <typename T, template <typename _value_type> class Allocator = kernel_allocator>
  7. class vector {
  8. public:
  9. template <typename Pointer>
  10. class iterator;
  11. using value_type = T;
  12. using pointer_type = value_type*;
  13. using reference_type = value_type&;
  14. using iterator_type = iterator<value_type*>;
  15. using const_iterator_type = iterator<const value_type*>;
  16. using size_type = size_t;
  17. using difference_type = ssize_t;
  18. using index_type = size_type;
  19. using allocator_type = Allocator<value_type>;
  20. public:
  21. template <typename Pointer>
  22. class iterator {
  23. public:
  24. using Value = typename types::traits::remove_pointer<Pointer>::type;
  25. using Reference = typename types::traits::add_reference<Value>::type;
  26. public:
  27. iterator(const iterator& iter) noexcept
  28. : p(iter.p)
  29. {
  30. }
  31. iterator(iterator&& iter) noexcept
  32. : p(iter.p)
  33. {
  34. }
  35. explicit iterator(Pointer p) noexcept
  36. : p(p)
  37. {
  38. }
  39. bool operator==(const iterator& iter) noexcept
  40. {
  41. return this->p == iter.p;
  42. }
  43. bool operator!=(const iterator& iter) noexcept
  44. {
  45. return !(*this == iter);
  46. }
  47. iterator& operator++() noexcept
  48. {
  49. ++p;
  50. return *this;
  51. }
  52. iterator operator++(int) noexcept
  53. {
  54. iterator iter(*this);
  55. ++p;
  56. return iter;
  57. }
  58. iterator& operator--() noexcept
  59. {
  60. --p;
  61. return *this;
  62. }
  63. iterator operator--(int) noexcept
  64. {
  65. iterator iter(*this);
  66. --p;
  67. return iter;
  68. }
  69. iterator operator+(size_type n) noexcept
  70. {
  71. iterator iter(p + n);
  72. return iter;
  73. }
  74. iterator operator-(size_type n) noexcept
  75. {
  76. iterator iter(p - n);
  77. return iter;
  78. }
  79. Reference operator*() const noexcept
  80. {
  81. return *p;
  82. }
  83. Pointer operator->() const noexcept
  84. {
  85. return p;
  86. }
  87. protected:
  88. Pointer p;
  89. };
  90. public:
  91. explicit vector(size_type capacity = 1) noexcept
  92. : m_arr(nullptr)
  93. , m_size(0)
  94. {
  95. resize(capacity);
  96. }
  97. vector(const vector<T, Allocator>& arr) noexcept
  98. : vector(arr.capacity())
  99. {
  100. for (const auto& item : arr)
  101. push_back(item);
  102. }
  103. ~vector() noexcept
  104. {
  105. resize(0);
  106. }
  107. void resize(size_type n)
  108. {
  109. value_type* new_ptr = allocator_traits<allocator_type>::allocate(n);
  110. m_capacity = n;
  111. size_t orig_size = m_size;
  112. if (m_size > m_capacity)
  113. m_size = m_capacity;
  114. for (size_t i = 0; i < m_size; ++i)
  115. allocator_traits<allocator_type>::construct(new_ptr + i, _at(i));
  116. for (size_t i = 0; i < orig_size; ++i)
  117. allocator_traits<allocator_type>::deconstruct(m_arr + i);
  118. if (m_arr)
  119. allocator_traits<allocator_type>::deallocate(m_arr);
  120. m_arr = new_ptr;
  121. }
  122. // TODO: find
  123. // erase the node which iter points to
  124. // void erase(const iterator_type& iter) noexcept
  125. // {
  126. // allocator_traits<allocator_type>::deconstruct(iter.p);
  127. // --m_size;
  128. // }
  129. // insert the value v in front of the given iterator
  130. // void insert(const iterator_type& iter, const value_type& v) noexcept
  131. // {
  132. // node_base_type* new_node = allocator_traits<allocator_type>::allocate(v);
  133. // iter._node()->prev->connect(new_node);
  134. // new_node->connect(iter._node());
  135. // ++_size();
  136. // }
  137. // insert the value v in front of the given iterator
  138. // void insert(const iterator_type& iter, value_type&& v) noexcept
  139. // {
  140. // node_base_type* new_node = allocator_traits<allocator_type>::allocate(v);
  141. // iter._node().prev->connect(new_node);
  142. // new_node->connect(iter._node());
  143. // ++_size();
  144. // }
  145. value_type* data(void) noexcept
  146. {
  147. return m_arr;
  148. }
  149. const value_type* data(void) const noexcept
  150. {
  151. return m_arr;
  152. }
  153. value_type& at(index_type i) noexcept
  154. {
  155. // TODO: boundary check
  156. return _at(i);
  157. }
  158. const value_type& at(index_type i) const noexcept
  159. {
  160. // TODO: boundary check
  161. return _at(i);
  162. }
  163. value_type& operator[](index_type i) noexcept
  164. {
  165. return at(i);
  166. }
  167. const value_type& operator[](index_type i) const noexcept
  168. {
  169. return at(i);
  170. }
  171. void push_back(const value_type& v) noexcept
  172. {
  173. if (m_size == m_capacity)
  174. resize(m_capacity * 2);
  175. allocator_traits<allocator_type>::construct(m_arr + m_size, v);
  176. ++m_size;
  177. }
  178. void push_back(value_type&& v) noexcept
  179. {
  180. if (m_size == m_capacity)
  181. resize(m_capacity * 2);
  182. allocator_traits<allocator_type>::construct(m_arr + m_size, v);
  183. ++m_size;
  184. }
  185. void pop_back(void) noexcept
  186. {
  187. allocator_traits<allocator_type>::deconstruct(&*back());
  188. --m_size;
  189. }
  190. size_type size(void) const noexcept
  191. {
  192. return m_size;
  193. }
  194. size_type capacity(void) const noexcept
  195. {
  196. return m_capacity;
  197. }
  198. const_iterator_type cbegin() const noexcept
  199. {
  200. return const_iterator_type(m_arr);
  201. }
  202. const_iterator_type cend() const noexcept
  203. {
  204. return const_iterator_type(m_arr + m_size);
  205. }
  206. iterator_type begin() noexcept
  207. {
  208. return iterator_type(m_arr);
  209. }
  210. const_iterator_type begin() const noexcept
  211. {
  212. return cbegin();
  213. }
  214. iterator_type end() noexcept
  215. {
  216. return iterator_type(m_arr + m_size);
  217. }
  218. const_iterator_type end() const noexcept
  219. {
  220. return cend();
  221. }
  222. iterator_type back() noexcept
  223. {
  224. return iterator_type(m_arr + m_size - 1);
  225. }
  226. const_iterator_type back() const noexcept
  227. {
  228. return const_iterator_type(m_arr + m_size - 1);
  229. }
  230. bool empty(void) const noexcept
  231. {
  232. return size() == 0;
  233. }
  234. void clear(void)
  235. {
  236. for (size_t i = 0; i < size(); ++i)
  237. allocator_traits<allocator_type>::deconstruct(m_arr + i);
  238. m_size = 0;
  239. }
  240. // TODO
  241. // iterator_type r_start() noexcept;
  242. // iterator_type r_end() noexcept;
  243. // iterator_type cr_start() noexcept;
  244. // iterator_type cr_end() noexcept;
  245. protected:
  246. inline const value_type& _at(index_type i) const
  247. {
  248. return m_arr[i];
  249. }
  250. inline value_type& _at(index_type i)
  251. {
  252. return m_arr[i];
  253. }
  254. protected:
  255. value_type* m_arr;
  256. size_type m_capacity;
  257. size_type m_size;
  258. };
  259. } // namespace types