DoubleEndedQueue.sol 5.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170
  1. // SPDX-License-Identifier: MIT
  2. // OpenZeppelin Contracts (last updated v4.6.0) (utils/structs/DoubleEndedQueue.sol)
  3. pragma solidity ^0.8.4;
  4. import "../math/SafeCast.sol";
  5. /**
  6. * @dev A sequence of items with the ability to efficiently push and pop items (i.e. insert and remove) on both ends of
  7. * the sequence (called front and back). Among other access patterns, it can be used to implement efficient LIFO and
  8. * FIFO queues. Storage use is optimized, and all operations are O(1) constant time. This includes {clear}, given that
  9. * the existing queue contents are left in storage.
  10. *
  11. * The struct is called `Bytes32Deque`. Other types can be cast to and from `bytes32`. This data structure can only be
  12. * used in storage, and not in memory.
  13. * ```
  14. * DoubleEndedQueue.Bytes32Deque queue;
  15. * ```
  16. *
  17. * _Available since v4.6._
  18. */
  19. library DoubleEndedQueue {
  20. /**
  21. * @dev An operation (e.g. {front}) couldn't be completed due to the queue being empty.
  22. */
  23. error Empty();
  24. /**
  25. * @dev An operation (e.g. {at}) couldn't be completed due to an index being out of bounds.
  26. */
  27. error OutOfBounds();
  28. /**
  29. * @dev Indices are signed integers because the queue can grow in any direction. They are 128 bits so begin and end
  30. * are packed in a single storage slot for efficient access. Since the items are added one at a time we can safely
  31. * assume that these 128-bit indices will not overflow, and use unchecked arithmetic.
  32. *
  33. * Struct members have an underscore prefix indicating that they are "private" and should not be read or written to
  34. * directly. Use the functions provided below instead. Modifying the struct manually may violate assumptions and
  35. * lead to unexpected behavior.
  36. *
  37. * Indices are in the range [begin, end) which means the first item is at data[begin] and the last item is at
  38. * data[end - 1].
  39. */
  40. struct Bytes32Deque {
  41. int128 _begin;
  42. int128 _end;
  43. mapping(int128 => bytes32) _data;
  44. }
  45. /**
  46. * @dev Inserts an item at the end of the queue.
  47. */
  48. function pushBack(Bytes32Deque storage deque, bytes32 value) internal {
  49. int128 backIndex = deque._end;
  50. deque._data[backIndex] = value;
  51. unchecked {
  52. deque._end = backIndex + 1;
  53. }
  54. }
  55. /**
  56. * @dev Removes the item at the end of the queue and returns it.
  57. *
  58. * Reverts with `Empty` if the queue is empty.
  59. */
  60. function popBack(Bytes32Deque storage deque) internal returns (bytes32 value) {
  61. if (empty(deque)) revert Empty();
  62. int128 backIndex;
  63. unchecked {
  64. backIndex = deque._end - 1;
  65. }
  66. value = deque._data[backIndex];
  67. delete deque._data[backIndex];
  68. deque._end = backIndex;
  69. }
  70. /**
  71. * @dev Inserts an item at the beginning of the queue.
  72. */
  73. function pushFront(Bytes32Deque storage deque, bytes32 value) internal {
  74. int128 frontIndex;
  75. unchecked {
  76. frontIndex = deque._begin - 1;
  77. }
  78. deque._data[frontIndex] = value;
  79. deque._begin = frontIndex;
  80. }
  81. /**
  82. * @dev Removes the item at the beginning of the queue and returns it.
  83. *
  84. * Reverts with `Empty` if the queue is empty.
  85. */
  86. function popFront(Bytes32Deque storage deque) internal returns (bytes32 value) {
  87. if (empty(deque)) revert Empty();
  88. int128 frontIndex = deque._begin;
  89. value = deque._data[frontIndex];
  90. delete deque._data[frontIndex];
  91. unchecked {
  92. deque._begin = frontIndex + 1;
  93. }
  94. }
  95. /**
  96. * @dev Returns the item at the beginning of the queue.
  97. *
  98. * Reverts with `Empty` if the queue is empty.
  99. */
  100. function front(Bytes32Deque storage deque) internal view returns (bytes32 value) {
  101. if (empty(deque)) revert Empty();
  102. int128 frontIndex = deque._begin;
  103. return deque._data[frontIndex];
  104. }
  105. /**
  106. * @dev Returns the item at the end of the queue.
  107. *
  108. * Reverts with `Empty` if the queue is empty.
  109. */
  110. function back(Bytes32Deque storage deque) internal view returns (bytes32 value) {
  111. if (empty(deque)) revert Empty();
  112. int128 backIndex;
  113. unchecked {
  114. backIndex = deque._end - 1;
  115. }
  116. return deque._data[backIndex];
  117. }
  118. /**
  119. * @dev Return the item at a position in the queue given by `index`, with the first item at 0 and last item at
  120. * `length(deque) - 1`.
  121. *
  122. * Reverts with `OutOfBounds` if the index is out of bounds.
  123. */
  124. function at(Bytes32Deque storage deque, uint256 index) internal view returns (bytes32 value) {
  125. // int256(deque._begin) is a safe upcast
  126. int128 idx = SafeCast.toInt128(int256(deque._begin) + SafeCast.toInt256(index));
  127. if (idx >= deque._end) revert OutOfBounds();
  128. return deque._data[idx];
  129. }
  130. /**
  131. * @dev Resets the queue back to being empty.
  132. *
  133. * NOTE: The current items are left behind in storage. This does not affect the functioning of the queue, but misses
  134. * out on potential gas refunds.
  135. */
  136. function clear(Bytes32Deque storage deque) internal {
  137. deque._begin = 0;
  138. deque._end = 0;
  139. }
  140. /**
  141. * @dev Returns the number of items in the queue.
  142. */
  143. function length(Bytes32Deque storage deque) internal view returns (uint256) {
  144. // The interface preserves the invariant that begin <= end so we assume this will not overflow.
  145. // We also assume there are at most int256.max items in the queue.
  146. unchecked {
  147. return uint256(int256(deque._end) - int256(deque._begin));
  148. }
  149. }
  150. /**
  151. * @dev Returns true if the queue is empty.
  152. */
  153. function empty(Bytes32Deque storage deque) internal view returns (bool) {
  154. return deque._end <= deque._begin;
  155. }
  156. }