RingQueueManualMutex.hpp 12 KB

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