RingQueueManualMutex.hpp 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548
  1. #ifndef _RINGQUEUE_MANUAL_MUTEX_HPP_
  2. #define _RINGQUEUE_MANUAL_MUTEX_HPP_
  3. /**
  4. * @brief 这里采用零公摊的方式,设置多大的空间,就有多大的空间可以使用
  5. * 1、m_rear指向最新入队的元素的下一个位置,就是下个将要入队的元素位置
  6. * 2、m_front指向需要出队的第一个元素
  7. * 3、环形队列自带互斥锁,但是不会自动加锁,需要外部手动上锁
  8. *
  9. * 使用说明:
  10. * 因为是外部手动上锁,所以这里所有的函数都是非阻塞函数
  11. * 1、入队时如果队列满,则会自动出队一个元素,入读函数的返回值则是出队的元素,
  12. * 如果队列中是指针,需要手动释放
  13. * 2、出队时如果队列为空,则会返回默认构建的元素值,尽量设置一个默认元素,会返
  14. * 回这个默认元素
  15. *
  16. * 判断队列满:
  17. * m_rear == m_front,并且此时都不等于 -1
  18. *
  19. * 判断队列空:
  20. * m_rear == m_front,并且都等于 -1
  21. *
  22. * 获取队列大小:
  23. * 基本原则就是m_rear后面跟着的是有效值,m_front后面跟着的是已经出队的大小
  24. * m_rear > m_front,返回 m_rear - m_front
  25. * m_front > m_rear,返回 m_capacity - (m_front - m_rear)
  26. * m_rear == m_front,且不等于-1,返回 m_capacity
  27. * m_rear == m_front,且等于-1,返回 0
  28. *
  29. * @tparam T 模版类型
  30. */
  31. #include <atomic>
  32. #include <mutex>
  33. #include <iostream>
  34. #define _DefaultValue (m_isUseDefaultValue.load() ? m_defaultValue : T{})
  35. template<typename T>
  36. class RingQueueManualMutex
  37. {
  38. RingQueueManualMutex(RingQueueManualMutex<T>&& queue) = delete;
  39. RingQueueManualMutex<T>& operator=(RingQueueManualMutex<T>&& queue) = delete;
  40. public:
  41. RingQueueManualMutex();
  42. RingQueueManualMutex(long size);
  43. RingQueueManualMutex(long size, T defaultValue);
  44. /* 拷贝和赋值构造函数内部都不会自动上锁,需要在外部手动上锁
  45. * 如果存储的是指针,需要在外部手动拷贝,否则拷贝的是指针而已 */
  46. RingQueueManualMutex(const RingQueueManualMutex<T>& queue);
  47. RingQueueManualMutex<T> operator=(const RingQueueManualMutex<T>& queue);
  48. ~RingQueueManualMutex();
  49. /* 入队 */
  50. T push(const T& value);
  51. T push(T&& value);
  52. /* 获取队列中第一个值,但是不出队,
  53. * 非阻塞的方式获取,如果队列为空,会返回一个默认值 */
  54. T front();
  55. /* 获取对立第一个数据,获取完立刻出队
  56. * 如果删除了拷贝构造函数,使用会报错 */
  57. T front_pop();
  58. /* 获取最后一个值,最后一个值不会出队 */
  59. T back();
  60. bool back(T& value);
  61. /* 根据下标获取某个位置的元素,下标0就是下一个要出队的位置
  62. * 这里获取元素不会出队 */
  63. T operator[](long index);
  64. T at(long index) const;
  65. /* 设置队列大小 */
  66. void setQueueCapacity(long size);
  67. /* 设置默认值,给指针类型使用,如果是非阻塞获取,空的时候可以返回为设置的默认值(如nullptr) */
  68. void setDefaultValue(T defaultValue);
  69. /* 获取队列大小,队列中有效值的大小 */
  70. long QueueSize() const;
  71. /* 获取队列容量 */
  72. long QueueCapacity() const;
  73. /* 判断队列是否为空 */
  74. bool isEmpty() const;
  75. /* 判断队列是否已满 */
  76. bool isFull() const;
  77. /* 清空队列 */
  78. void clearQueue();
  79. public:
  80. std::mutex mutex; /* 互斥锁 */
  81. private:
  82. /* 判断是否空 */
  83. inline bool _isEmpty() const;
  84. /* 判断是否满 */
  85. inline bool _isFull() const;
  86. private:
  87. T m_defaultValue; /* 默认值 */
  88. std::atomic_bool m_isUseDefaultValue = false; /* 是否使用默认值 */
  89. T* m_queue = nullptr; /* 队列 */
  90. long m_capacity = 0; /* 队列容量 */
  91. long m_front = -1; /* 队头 */
  92. long m_rear = -1; /* 队尾 */
  93. // std::condition_variable m_cond_NoFull; /* 非满条件变量 */
  94. // std::condition_variable m_cond_NoEmpty; /* 非空条件变量 */
  95. public:
  96. /* 定义迭代器 */
  97. class Iterator
  98. {
  99. public:
  100. Iterator(RingQueueManualMutex<T>* queue) : m_ptr(queue), m_index(m_ptr->m_front) {}
  101. Iterator(RingQueueManualMutex<T>* queue, long index) : m_ptr(queue), m_index(index) {}
  102. T& operator*() {
  103. if(m_index == -1)
  104. {
  105. throw std::out_of_range("Iterator out of range");
  106. }
  107. return m_ptr->m_queue[m_index];
  108. }
  109. T* operator->() {
  110. if(m_index == -1)
  111. {
  112. throw std::out_of_range("Iterator out of range");
  113. }
  114. return &m_ptr->m_queue[m_index];
  115. }
  116. Iterator& operator++()
  117. {
  118. m_index = (m_index + 1) % m_ptr->m_capacity;
  119. if(m_index == m_ptr->m_rear)
  120. {
  121. m_index = -1; // 到达末尾
  122. }
  123. return *this;
  124. }
  125. bool operator!=(const Iterator& other) const
  126. {
  127. if(m_ptr != other.m_ptr)
  128. return true;
  129. if(m_index == other.m_index)
  130. return false;
  131. return true;
  132. }
  133. bool operator==(const Iterator& other) const
  134. {
  135. if(m_ptr != other.m_ptr)
  136. return false;
  137. if(m_index != other.m_index)
  138. return false;
  139. return true;
  140. }
  141. private:
  142. RingQueueManualMutex<T>* m_ptr = nullptr;
  143. long m_index = -1;
  144. };
  145. Iterator begin() { return Iterator(this); }
  146. Iterator end() { return Iterator(this, -1); }
  147. };
  148. /* =====================================================================
  149. * ***************************** 函数实现 *****************************
  150. * ===================================================================== */
  151. /* 这个构造函数需要调用 setQueueSize 设置环形队列的大小 */
  152. template<typename T>
  153. RingQueueManualMutex<T>::RingQueueManualMutex()
  154. {
  155. }
  156. template<typename T>
  157. RingQueueManualMutex<T>::RingQueueManualMutex(long capacity)
  158. {
  159. m_capacity = capacity;
  160. m_queue = new T[m_capacity] {};
  161. }
  162. /* 添加默认值 */
  163. template<typename T>
  164. RingQueueManualMutex<T>::RingQueueManualMutex(long capacity, T defaultValue)
  165. {
  166. m_capacity = capacity;
  167. m_queue = new T[m_capacity] {};
  168. for(long i = 0; i < m_capacity; i++)
  169. {
  170. m_queue[i] = defaultValue;
  171. }
  172. m_defaultValue = defaultValue;
  173. m_isUseDefaultValue.store(true); // 设置使用默认值
  174. }
  175. template<typename T>
  176. RingQueueManualMutex<T>::RingQueueManualMutex(const RingQueueManualMutex<T>& queue)
  177. {
  178. m_capacity = queue.m_capacity;
  179. m_front = queue.m_front;
  180. m_rear = queue.m_rear;
  181. m_defaultValue = queue.m_defaultValue;
  182. m_isUseDefaultValue.store(queue.m_isUseDefaultValue.load());
  183. if(m_queue != nullptr)
  184. {
  185. delete[] m_queue;
  186. m_queue = nullptr;
  187. }
  188. if(m_capacity > 0)
  189. {
  190. m_queue = new T[m_capacity];
  191. for(long i = 0; i < m_capacity; i++)
  192. {
  193. m_queue[i] = queue.m_queue[i];
  194. }
  195. }
  196. }
  197. template<typename T>
  198. RingQueueManualMutex<T> RingQueueManualMutex<T>::operator=(const RingQueueManualMutex<T>& queue)
  199. {
  200. if(this == &queue)
  201. {
  202. return *this; // 防止自赋值
  203. }
  204. m_capacity = queue.m_capacity;
  205. m_front = queue.m_front;
  206. m_rear = queue.m_rear;
  207. m_defaultValue = queue.m_defaultValue;
  208. m_isUseDefaultValue.store(queue.m_isUseDefaultValue.load());
  209. if(m_queue != nullptr)
  210. {
  211. delete[] m_queue;
  212. m_queue = nullptr;
  213. }
  214. if(m_capacity > 0)
  215. {
  216. m_queue = new T[m_capacity];
  217. for(long i = 0; i < m_capacity; i++)
  218. {
  219. m_queue[i] = queue.m_queue[i];
  220. }
  221. }
  222. return *this;
  223. }
  224. template<typename T>
  225. RingQueueManualMutex<T>::~RingQueueManualMutex()
  226. {
  227. if(m_queue != nullptr)
  228. {
  229. delete[] m_queue;
  230. m_queue = nullptr;
  231. }
  232. }
  233. /*************** 入队 *******************/
  234. template<typename T>
  235. T RingQueueManualMutex<T>::push(const T& value)
  236. {
  237. T ret = _DefaultValue;
  238. if(_isFull())
  239. {
  240. /* 队列已满,先出队一个元素 */
  241. ret = std::move(m_queue[m_front]);
  242. /* 出队后,前进一个位置 */
  243. m_front = (m_front + 1) % m_capacity;
  244. }
  245. // std::cout << "m_front: " << m_front << " m_rear: " << m_rear << std::endl;
  246. if(m_rear == -1)
  247. {
  248. m_front = 0;
  249. m_rear = 0;
  250. }
  251. m_queue[m_rear] = value;
  252. m_rear = (m_rear + 1) % m_capacity;
  253. return std::move(ret);
  254. }
  255. template<typename T>
  256. T RingQueueManualMutex<T>::push(T&& value)
  257. {
  258. T ret = _DefaultValue; // 默认值
  259. if(_isFull())
  260. {
  261. /* 队列已满,先出队一个元素 */
  262. ret = std::move(m_queue[m_front]);
  263. /* 出队后,前进一个位置 */
  264. m_front = (m_front + 1) % m_capacity;
  265. }
  266. if(m_rear == -1)
  267. {
  268. m_front = 0;
  269. m_rear = 0;
  270. }
  271. m_queue[m_rear] = std::move(value);
  272. m_rear = (m_rear + 1) % m_capacity;
  273. return std::move(ret);
  274. }
  275. /* 获取队列中第一个值,但是不出队
  276. * 阻塞的方式获取,如果队列为空,会一直阻塞住,直到获取到数据为止 */
  277. template<typename T>
  278. T RingQueueManualMutex<T>::front()
  279. {
  280. if(_isEmpty())
  281. {
  282. return _DefaultValue; // 如果队列为空,返回默认值
  283. }
  284. return m_queue[m_front];
  285. }
  286. /* 获取对立第一个数据,获取完立刻出队 */
  287. template<typename T>
  288. T RingQueueManualMutex<T>::front_pop()
  289. {
  290. if(_isEmpty())
  291. {
  292. return _DefaultValue; // 如果队列为空,返回默认值
  293. }
  294. // int ret = m_front;
  295. T ret = std::move(m_queue[m_front]);
  296. /* 临时记录索引 */
  297. m_front = (m_front + 1) % m_capacity;
  298. if(m_front == m_rear)
  299. {
  300. m_front = -1;
  301. m_rear = -1;
  302. }
  303. return std::move(ret);
  304. }
  305. /* 获取最后一个值,最后一个值不会出队 */
  306. template<typename T>
  307. T RingQueueManualMutex<T>::back()
  308. {
  309. if(_isEmpty())
  310. {
  311. return _DefaultValue; // 如果队列为空,返回默认值
  312. }
  313. return m_queue[(m_rear - 1 + m_capacity) % m_capacity];
  314. }
  315. template<typename T>
  316. bool RingQueueManualMutex<T>::back(T& value)
  317. {
  318. if(_isEmpty())
  319. {
  320. return false;
  321. }
  322. value = m_queue[(m_rear - 1 + m_capacity) % m_capacity];
  323. return true;
  324. }
  325. /* 根据下标获取某个位置的元素,下标0就是下一个要出队的位置
  326. * 这里获取元素不会出队 */
  327. template<typename T>
  328. T RingQueueManualMutex<T>::operator[](long index)
  329. {
  330. if(_isEmpty())
  331. {
  332. return _DefaultValue; // 如果队列为空,返回默认值
  333. }
  334. if(index >= QueueSize() || index < -QueueSize())
  335. {
  336. return _DefaultValue;
  337. }
  338. if(index < 0)
  339. {
  340. index += m_capacity; // 处理负数索引
  341. }
  342. long realIndex = (index + m_front) % m_capacity;
  343. return m_queue[realIndex];
  344. }
  345. template<typename T>
  346. T RingQueueManualMutex<T>::at(long index) const
  347. {
  348. if(_isEmpty())
  349. {
  350. return _DefaultValue; // 如果队列为空,返回默认值
  351. }
  352. if(index >= QueueSize() || index < -QueueSize())
  353. {
  354. return _DefaultValue;
  355. }
  356. if(index < 0)
  357. {
  358. index += m_capacity; // 处理负数索引
  359. }
  360. long realIndex = (index + m_front) % m_capacity;
  361. return m_queue[realIndex];
  362. }
  363. /**
  364. * @brief 设置队列大小
  365. * 注意:使用这个设置,如果队列中存储的是指针,指针的内存区域需要在调用这个函数之前释放,不然可能会造成
  366. * 内存泄漏
  367. *
  368. * @tparam T
  369. * @param size
  370. */
  371. template<typename T>
  372. void RingQueueManualMutex<T>::setQueueCapacity(long size)
  373. {
  374. if(m_queue != nullptr)
  375. {
  376. delete[] m_queue;
  377. m_queue = nullptr;
  378. }
  379. m_capacity = size;
  380. m_front = -1;
  381. m_rear = -1;
  382. m_queue = new T[m_capacity];
  383. }
  384. /* 设置默认值,给指针类型使用,如果是非阻塞获取,空的时候可以返回为设置的默认值(如nullptr) */
  385. template<typename T>
  386. void RingQueueManualMutex<T>::setDefaultValue(T defaultValue)
  387. {
  388. m_defaultValue = defaultValue;
  389. m_isUseDefaultValue.store(true); // 设置使用默认值
  390. }
  391. /* 获取队列中有效值的大小 */
  392. template<typename T>
  393. long RingQueueManualMutex<T>::QueueSize() const
  394. {
  395. if(m_rear == -1)
  396. {
  397. return 0;
  398. }
  399. else if(m_rear > m_front)
  400. {
  401. return m_rear - m_front;
  402. }
  403. else if(m_rear < m_front)
  404. {
  405. return m_capacity - ( m_front - m_rear );
  406. }
  407. /* 这时候是队列满 */
  408. return m_capacity;
  409. }
  410. /* 获取队列容量 */
  411. template<typename T>
  412. long RingQueueManualMutex<T>::QueueCapacity() const
  413. {
  414. return m_capacity;
  415. }
  416. /**
  417. * @brief 判断队列是否为空
  418. *
  419. * @tparam T
  420. * @return true
  421. * @return false
  422. */
  423. template<typename T>
  424. bool RingQueueManualMutex<T>::isEmpty() const
  425. {
  426. return _isEmpty();
  427. }
  428. /**
  429. * @brief 判断队列是否已满,这里判断依赖入队和出队后的队头和队尾指针的位置
  430. * 1、队头和队尾指针相等,但是队尾指针不等于-1,表示队列已满
  431. *
  432. * @tparam T
  433. * @return true
  434. * @return false
  435. */
  436. template<typename T>
  437. bool RingQueueManualMutex<T>::isFull() const
  438. {
  439. return _isFull();
  440. }
  441. /* 清空队列 */
  442. template<typename T>
  443. void RingQueueManualMutex<T>::clearQueue()
  444. {
  445. if(m_queue != nullptr)
  446. {
  447. delete[] m_queue;
  448. m_queue = nullptr;
  449. }
  450. m_front = -1;
  451. m_rear = -1;
  452. }
  453. /* 判断是否空 */
  454. template<typename T>
  455. bool RingQueueManualMutex<T>::_isEmpty() const
  456. {
  457. if((m_front == m_rear) && (m_front == -1))
  458. {
  459. return true;
  460. }
  461. return false;
  462. }
  463. /* 判断是否满 */
  464. template<typename T>
  465. inline bool RingQueueManualMutex<T>::_isFull() const
  466. {
  467. /* 如果m_rear或者m_front不等于-1,说明此时里面有内容
  468. * 同时m_front == m_rear,队列就满了 */
  469. if(m_front == m_rear && m_rear != -1)
  470. {
  471. return true;
  472. }
  473. return false;
  474. }
  475. #endif /* _RINGQUEUE_MANUAL_MUTEX_HPP_ */