RingQueueManualMutex.hpp 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582
  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. m_index = (m_index + 1) % m_ptr->m_capacity;
  118. if(m_index == m_ptr->m_rear)
  119. {
  120. m_index = -1; // 到达末尾
  121. }
  122. return *this;
  123. }
  124. Iterator operator++(int) {
  125. Iterator tmp = *this; // 先保存旧值
  126. ++(*this); // 复用前置 ++
  127. return tmp; // 返回修改前的迭代器副本
  128. }
  129. /* 自减比较复杂,迭代器使用 -1 表示 end(),如果 end() 自减,则需要判断是空还是满
  130. */
  131. Iterator& operator--() {
  132. /* 等于 -1 说明是结尾,判断是空还是满 */
  133. if(m_index == -1)
  134. {
  135. if(m_ptr->isEmpty())
  136. {
  137. /* 是空,返回自身 */
  138. return *this;
  139. }
  140. else if(m_ptr->isFull())
  141. {
  142. m_index = (m_ptr->m_rear - 1 + m_ptr->m_capacity) % m_ptr->m_capacity;
  143. }
  144. }else
  145. {
  146. if(m_ptr->m_front == m_index)
  147. {
  148. m_index = -1; // 到达开头前面
  149. } else
  150. {
  151. m_index = (m_index - 1 + m_ptr->m_capacity) % m_ptr->m_capacity;
  152. }
  153. }
  154. return *this;
  155. }
  156. Iterator operator--(int) {
  157. Iterator tmp = *this; // 先保存旧值
  158. --(*this); // 复用前置 --
  159. return tmp; // 返回修改前的迭代器副本
  160. }
  161. bool operator!=(const Iterator& other) const {
  162. if(m_ptr != other.m_ptr)
  163. return true;
  164. if(m_index == other.m_index)
  165. return false;
  166. return true;
  167. }
  168. bool operator==(const Iterator& other) const {
  169. if(m_ptr != other.m_ptr)
  170. return false;
  171. if(m_index != other.m_index)
  172. return false;
  173. return true;
  174. }
  175. private:
  176. RingQueueManualMutex<T>* m_ptr = nullptr;
  177. long m_index = -1;
  178. };
  179. Iterator begin() { return Iterator(this, m_front); }
  180. Iterator end() { return Iterator(this, -1); }
  181. };
  182. /* =====================================================================
  183. * ***************************** 函数实现 *****************************
  184. * ===================================================================== */
  185. /* 这个构造函数需要调用 setQueueSize 设置环形队列的大小 */
  186. template<typename T>
  187. RingQueueManualMutex<T>::RingQueueManualMutex()
  188. {
  189. }
  190. template<typename T>
  191. RingQueueManualMutex<T>::RingQueueManualMutex(long capacity)
  192. {
  193. m_capacity = capacity;
  194. m_queue = new T[m_capacity] {};
  195. }
  196. /* 添加默认值 */
  197. template<typename T>
  198. RingQueueManualMutex<T>::RingQueueManualMutex(long capacity, T defaultValue)
  199. {
  200. m_capacity = capacity;
  201. m_queue = new T[m_capacity] {};
  202. for(long i = 0; i < m_capacity; i++)
  203. {
  204. m_queue[i] = defaultValue;
  205. }
  206. m_defaultValue = defaultValue;
  207. m_isUseDefaultValue.store(true); // 设置使用默认值
  208. }
  209. template<typename T>
  210. RingQueueManualMutex<T>::RingQueueManualMutex(const RingQueueManualMutex<T>& queue)
  211. {
  212. m_capacity = queue.m_capacity;
  213. m_front = queue.m_front;
  214. m_rear = queue.m_rear;
  215. m_defaultValue = queue.m_defaultValue;
  216. m_isUseDefaultValue.store(queue.m_isUseDefaultValue.load());
  217. if(m_queue != nullptr)
  218. {
  219. delete[] m_queue;
  220. m_queue = nullptr;
  221. }
  222. if(m_capacity > 0)
  223. {
  224. m_queue = new T[m_capacity];
  225. for(long i = 0; i < m_capacity; i++)
  226. {
  227. m_queue[i] = queue.m_queue[i];
  228. }
  229. }
  230. }
  231. template<typename T>
  232. RingQueueManualMutex<T> RingQueueManualMutex<T>::operator=(const RingQueueManualMutex<T>& queue)
  233. {
  234. if(this == &queue)
  235. {
  236. return *this; // 防止自赋值
  237. }
  238. m_capacity = queue.m_capacity;
  239. m_front = queue.m_front;
  240. m_rear = queue.m_rear;
  241. m_defaultValue = queue.m_defaultValue;
  242. m_isUseDefaultValue.store(queue.m_isUseDefaultValue.load());
  243. if(m_queue != nullptr)
  244. {
  245. delete[] m_queue;
  246. m_queue = nullptr;
  247. }
  248. if(m_capacity > 0)
  249. {
  250. m_queue = new T[m_capacity];
  251. for(long i = 0; i < m_capacity; i++)
  252. {
  253. m_queue[i] = queue.m_queue[i];
  254. }
  255. }
  256. return *this;
  257. }
  258. template<typename T>
  259. RingQueueManualMutex<T>::~RingQueueManualMutex()
  260. {
  261. if(m_queue != nullptr)
  262. {
  263. delete[] m_queue;
  264. m_queue = nullptr;
  265. }
  266. }
  267. /*************** 入队 *******************/
  268. template<typename T>
  269. T RingQueueManualMutex<T>::push(const T& value)
  270. {
  271. T ret = _DefaultValue;
  272. if(_isFull())
  273. {
  274. /* 队列已满,先出队一个元素 */
  275. ret = std::move(m_queue[m_front]);
  276. /* 出队后,前进一个位置 */
  277. m_front = (m_front + 1) % m_capacity;
  278. }
  279. // std::cout << "m_front: " << m_front << " m_rear: " << m_rear << std::endl;
  280. if(m_rear == -1)
  281. {
  282. m_front = 0;
  283. m_rear = 0;
  284. }
  285. m_queue[m_rear] = value;
  286. m_rear = (m_rear + 1) % m_capacity;
  287. return std::move(ret);
  288. }
  289. template<typename T>
  290. T RingQueueManualMutex<T>::push(T&& value)
  291. {
  292. T ret = _DefaultValue; // 默认值
  293. if(_isFull())
  294. {
  295. /* 队列已满,先出队一个元素 */
  296. ret = std::move(m_queue[m_front]);
  297. /* 出队后,前进一个位置 */
  298. m_front = (m_front + 1) % m_capacity;
  299. }
  300. if(m_rear == -1)
  301. {
  302. m_front = 0;
  303. m_rear = 0;
  304. }
  305. m_queue[m_rear] = std::move(value);
  306. m_rear = (m_rear + 1) % m_capacity;
  307. return std::move(ret);
  308. }
  309. /* 获取队列中第一个值,但是不出队
  310. * 阻塞的方式获取,如果队列为空,会一直阻塞住,直到获取到数据为止 */
  311. template<typename T>
  312. T RingQueueManualMutex<T>::front()
  313. {
  314. if(_isEmpty())
  315. {
  316. return _DefaultValue; // 如果队列为空,返回默认值
  317. }
  318. return m_queue[m_front];
  319. }
  320. /* 获取对立第一个数据,获取完立刻出队 */
  321. template<typename T>
  322. T RingQueueManualMutex<T>::front_pop()
  323. {
  324. if(_isEmpty())
  325. {
  326. return _DefaultValue; // 如果队列为空,返回默认值
  327. }
  328. // int ret = m_front;
  329. T ret = std::move(m_queue[m_front]);
  330. /* 临时记录索引 */
  331. m_front = (m_front + 1) % m_capacity;
  332. if(m_front == m_rear)
  333. {
  334. m_front = -1;
  335. m_rear = -1;
  336. }
  337. return std::move(ret);
  338. }
  339. /* 获取最后一个值,最后一个值不会出队 */
  340. template<typename T>
  341. T RingQueueManualMutex<T>::back()
  342. {
  343. if(_isEmpty())
  344. {
  345. return _DefaultValue; // 如果队列为空,返回默认值
  346. }
  347. return m_queue[(m_rear - 1 + m_capacity) % m_capacity];
  348. }
  349. template<typename T>
  350. bool RingQueueManualMutex<T>::back(T& value)
  351. {
  352. if(_isEmpty())
  353. {
  354. return false;
  355. }
  356. value = m_queue[(m_rear - 1 + m_capacity) % m_capacity];
  357. return true;
  358. }
  359. /* 根据下标获取某个位置的元素,下标0就是下一个要出队的位置
  360. * 这里获取元素不会出队 */
  361. template<typename T>
  362. T RingQueueManualMutex<T>::operator[](long index)
  363. {
  364. if(_isEmpty())
  365. {
  366. return _DefaultValue; // 如果队列为空,返回默认值
  367. }
  368. if(index >= QueueSize() || index < -QueueSize())
  369. {
  370. return _DefaultValue;
  371. }
  372. if(index < 0)
  373. {
  374. index += m_capacity; // 处理负数索引
  375. }
  376. long realIndex = (index + m_front) % m_capacity;
  377. return m_queue[realIndex];
  378. }
  379. template<typename T>
  380. T RingQueueManualMutex<T>::at(long index) const
  381. {
  382. if(_isEmpty())
  383. {
  384. return _DefaultValue; // 如果队列为空,返回默认值
  385. }
  386. if(index >= QueueSize() || index < -QueueSize())
  387. {
  388. return _DefaultValue;
  389. }
  390. if(index < 0)
  391. {
  392. index += m_capacity; // 处理负数索引
  393. }
  394. long realIndex = (index + m_front) % m_capacity;
  395. return m_queue[realIndex];
  396. }
  397. /**
  398. * @brief 设置队列大小
  399. * 注意:使用这个设置,如果队列中存储的是指针,指针的内存区域需要在调用这个函数之前释放,不然可能会造成
  400. * 内存泄漏
  401. *
  402. * @tparam T
  403. * @param size
  404. */
  405. template<typename T>
  406. void RingQueueManualMutex<T>::setQueueCapacity(long size)
  407. {
  408. if(m_queue != nullptr)
  409. {
  410. delete[] m_queue;
  411. m_queue = nullptr;
  412. }
  413. m_capacity = size;
  414. m_front = -1;
  415. m_rear = -1;
  416. m_queue = new T[m_capacity];
  417. }
  418. /* 设置默认值,给指针类型使用,如果是非阻塞获取,空的时候可以返回为设置的默认值(如nullptr) */
  419. template<typename T>
  420. void RingQueueManualMutex<T>::setDefaultValue(T defaultValue)
  421. {
  422. m_defaultValue = defaultValue;
  423. m_isUseDefaultValue.store(true); // 设置使用默认值
  424. }
  425. /* 获取队列中有效值的大小 */
  426. template<typename T>
  427. long RingQueueManualMutex<T>::QueueSize() const
  428. {
  429. if(m_rear == -1)
  430. {
  431. return 0;
  432. }
  433. else if(m_rear > m_front)
  434. {
  435. return m_rear - m_front;
  436. }
  437. else if(m_rear < m_front)
  438. {
  439. return m_capacity - ( m_front - m_rear );
  440. }
  441. /* 这时候是队列满 */
  442. return m_capacity;
  443. }
  444. /* 获取队列容量 */
  445. template<typename T>
  446. long RingQueueManualMutex<T>::QueueCapacity() const
  447. {
  448. return m_capacity;
  449. }
  450. /**
  451. * @brief 判断队列是否为空
  452. *
  453. * @tparam T
  454. * @return true
  455. * @return false
  456. */
  457. template<typename T>
  458. bool RingQueueManualMutex<T>::isEmpty() const
  459. {
  460. return _isEmpty();
  461. }
  462. /**
  463. * @brief 判断队列是否已满,这里判断依赖入队和出队后的队头和队尾指针的位置
  464. * 1、队头和队尾指针相等,但是队尾指针不等于-1,表示队列已满
  465. *
  466. * @tparam T
  467. * @return true
  468. * @return false
  469. */
  470. template<typename T>
  471. bool RingQueueManualMutex<T>::isFull() const
  472. {
  473. return _isFull();
  474. }
  475. /* 清空队列 */
  476. template<typename T>
  477. void RingQueueManualMutex<T>::clearQueue()
  478. {
  479. if(m_queue != nullptr)
  480. {
  481. delete[] m_queue;
  482. m_queue = nullptr;
  483. }
  484. m_front = -1;
  485. m_rear = -1;
  486. }
  487. /* 判断是否空 */
  488. template<typename T>
  489. bool RingQueueManualMutex<T>::_isEmpty() const
  490. {
  491. if((m_front == m_rear) && (m_front == -1))
  492. {
  493. return true;
  494. }
  495. return false;
  496. }
  497. /* 判断是否满 */
  498. template<typename T>
  499. inline bool RingQueueManualMutex<T>::_isFull() const
  500. {
  501. /* 如果m_rear或者m_front不等于-1,说明此时里面有内容
  502. * 同时m_front == m_rear,队列就满了 */
  503. if(m_front == m_rear && m_rear != -1)
  504. {
  505. return true;
  506. }
  507. return false;
  508. }
  509. #endif /* _RINGQUEUE_MANUAL_MUTEX_HPP_ */