vector.hpp 6.9 KB

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