Jonathan S | 03609e5 | 2014-04-21 04:59:12 | [diff] [blame] | 1 | // Copyright 2012-2014 The Rust Project Developers. See the COPYRIGHT |
Graydon Hoare | 00c856c | 2012-12-04 00:48:01 | [diff] [blame] | 2 | // file at the top-level directory of this distribution and at |
| 3 | // http://rust-lang.org/COPYRIGHT. |
| 4 | // |
| 5 | // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or |
| 6 | // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license |
| 7 | // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your |
| 8 | // option. This file may not be copied, modified, or distributed |
| 9 | // except according to those terms. |
| 10 | |
Steve Klabnik | 84030fd | 2014-08-30 21:11:22 | [diff] [blame] | 11 | //! This crate implements a double-ended queue with `O(1)` amortized inserts and removals from both |
| 12 | //! ends of the container. It also has `O(1)` indexing like a vector. The contained elements are |
| 13 | //! not required to be copyable, and the queue will be sendable if the contained type is sendable. |
| 14 | //! Its interface `Deque` is defined in `collections`. |
Patrick Walton | f3723cf | 2013-05-17 22:28:44 | [diff] [blame] | 15 | |
Alex Crichton | 6a58537 | 2014-05-30 01:50:12 | [diff] [blame] | 16 | use core::prelude::*; |
| 17 | |
| 18 | use core::cmp; |
Tom Jakubowski | d6a3941 | 2014-06-09 07:30:04 | [diff] [blame] | 19 | use core::default::Default; |
Alex Crichton | 6a58537 | 2014-05-30 01:50:12 | [diff] [blame] | 20 | use core::fmt; |
nham | 6361577 | 2014-07-27 03:18:56 | [diff] [blame] | 21 | use core::iter; |
Alex Crichton | 9d5d97b | 2014-10-15 06:05:01 | [diff] [blame^] | 22 | use core::slice; |
nham | 1cfa656 | 2014-07-27 02:33:47 | [diff] [blame] | 23 | use std::hash::{Writer, Hash}; |
Alex Crichton | 998fece | 2013-05-06 04:42:54 | [diff] [blame] | 24 | |
Patrick Walton | 7f928d1 | 2014-08-13 03:31:30 | [diff] [blame] | 25 | use {Deque, Mutable, MutableSeq}; |
Alex Crichton | 6a58537 | 2014-05-30 01:50:12 | [diff] [blame] | 26 | use vec::Vec; |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 27 | |
blake2-ppc | 0ff5c17 | 2013-07-06 03:42:45 | [diff] [blame] | 28 | static INITIAL_CAPACITY: uint = 8u; // 2^3 |
| 29 | static MINIMUM_CAPACITY: uint = 2u; |
Daniel Micay | b47e1e9 | 2013-02-16 22:55:55 | [diff] [blame] | 30 | |
P1start | f2aa88c | 2014-08-04 10:48:39 | [diff] [blame] | 31 | /// `RingBuf` is a circular buffer that implements `Deque`. |
blake2-ppc | 10c7698 | 2013-07-06 13:27:32 | [diff] [blame] | 32 | #[deriving(Clone)] |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 33 | pub struct RingBuf<T> { |
Alex Crichton | 8ad7e54 | 2014-03-27 22:10:04 | [diff] [blame] | 34 | nelts: uint, |
| 35 | lo: uint, |
Huon Wilson | 4b9a7a2 | 2014-04-05 05:45:42 | [diff] [blame] | 36 | elts: Vec<Option<T>> |
Marijn Haverbeke | 26610db | 2012-01-11 11:49:33 | [diff] [blame] | 37 | } |
Roy Frostig | 9c81889 | 2010-07-21 01:03:09 | [diff] [blame] | 38 | |
Brian Anderson | 50942c7 | 2014-05-19 18:32:09 | [diff] [blame] | 39 | impl<T> Collection for RingBuf<T> { |
P1start | f2aa88c | 2014-08-04 10:48:39 | [diff] [blame] | 40 | /// Returns the number of elements in the `RingBuf`. |
Alex Crichton | b29c368 | 2013-06-24 03:44:11 | [diff] [blame] | 41 | fn len(&self) -> uint { self.nelts } |
Daniel Micay | b47e1e9 | 2013-02-16 22:55:55 | [diff] [blame] | 42 | } |
Roy Frostig | 9c81889 | 2010-07-21 01:03:09 | [diff] [blame] | 43 | |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 44 | impl<T> Mutable for RingBuf<T> { |
P1start | f2aa88c | 2014-08-04 10:48:39 | [diff] [blame] | 45 | /// Clears the `RingBuf`, removing all values. |
Daniel Micay | ed7c9c4 | 2013-02-16 23:55:25 | [diff] [blame] | 46 | fn clear(&mut self) { |
Aaron Turon | fc525ee | 2014-09-15 03:27:36 | [diff] [blame] | 47 | for x in self.elts.iter_mut() { *x = None } |
Daniel Micay | ed7c9c4 | 2013-02-16 23:55:25 | [diff] [blame] | 48 | self.nelts = 0; |
| 49 | self.lo = 0; |
Daniel Micay | ed7c9c4 | 2013-02-16 23:55:25 | [diff] [blame] | 50 | } |
| 51 | } |
| 52 | |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 53 | impl<T> Deque<T> for RingBuf<T> { |
P1start | f2aa88c | 2014-08-04 10:48:39 | [diff] [blame] | 54 | /// Returns a reference to the first element in the `RingBuf`. |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 55 | fn front<'a>(&'a self) -> Option<&'a T> { |
Aaron Turon | f77cabe | 2014-08-11 23:47:46 | [diff] [blame] | 56 | if self.nelts > 0 { Some(&self[0]) } else { None } |
blake2-ppc | 0ff5c17 | 2013-07-06 03:42:45 | [diff] [blame] | 57 | } |
| 58 | |
P1start | f2aa88c | 2014-08-04 10:48:39 | [diff] [blame] | 59 | /// Returns a mutable reference to the first element in the `RingBuf`. |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 60 | fn front_mut<'a>(&'a mut self) -> Option<&'a mut T> { |
| 61 | if self.nelts > 0 { Some(self.get_mut(0)) } else { None } |
Niko Matsakis | 0339647 | 2013-04-10 20:14:06 | [diff] [blame] | 62 | } |
| 63 | |
P1start | f2aa88c | 2014-08-04 10:48:39 | [diff] [blame] | 64 | /// Returns a reference to the last element in the `RingBuf`. |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 65 | fn back<'a>(&'a self) -> Option<&'a T> { |
Aaron Turon | f77cabe | 2014-08-11 23:47:46 | [diff] [blame] | 66 | if self.nelts > 0 { Some(&self[self.nelts - 1]) } else { None } |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 67 | } |
Niko Matsakis | 0339647 | 2013-04-10 20:14:06 | [diff] [blame] | 68 | |
P1start | f2aa88c | 2014-08-04 10:48:39 | [diff] [blame] | 69 | /// Returns a mutable reference to the last element in the `RingBuf`. |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 70 | fn back_mut<'a>(&'a mut self) -> Option<&'a mut T> { |
Cameron Zwarich | 159e27a | 2014-06-14 03:48:09 | [diff] [blame] | 71 | let nelts = self.nelts; |
| 72 | if nelts > 0 { Some(self.get_mut(nelts - 1)) } else { None } |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 73 | } |
| 74 | |
P1start | f2aa88c | 2014-08-04 10:48:39 | [diff] [blame] | 75 | /// Removes and returns the first element in the `RingBuf`, or `None` if it |
| 76 | /// is empty. |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 77 | fn pop_front(&mut self) -> Option<T> { |
Huon Wilson | 4b9a7a2 | 2014-04-05 05:45:42 | [diff] [blame] | 78 | let result = self.elts.get_mut(self.lo).take(); |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 79 | if result.is_some() { |
| 80 | self.lo = (self.lo + 1u) % self.elts.len(); |
| 81 | self.nelts -= 1u; |
blake2-ppc | 5d72f3f | 2013-07-06 03:42:45 | [diff] [blame] | 82 | } |
Daniel Micay | 6190661 | 2013-02-17 00:43:29 | [diff] [blame] | 83 | result |
| 84 | } |
| 85 | |
P1start | f2aa88c | 2014-08-04 10:48:39 | [diff] [blame] | 86 | /// Prepends an element to the `RingBuf`. |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 87 | fn push_front(&mut self, t: T) { |
blake2-ppc | 40ce0b7 | 2013-07-06 03:42:45 | [diff] [blame] | 88 | if self.nelts == self.elts.len() { |
blake2-ppc | 8a32676 | 2013-07-06 03:42:45 | [diff] [blame] | 89 | grow(self.nelts, &mut self.lo, &mut self.elts); |
blake2-ppc | 40ce0b7 | 2013-07-06 03:42:45 | [diff] [blame] | 90 | } |
Daniel Micay | b47e1e9 | 2013-02-16 22:55:55 | [diff] [blame] | 91 | if self.lo == 0u { |
| 92 | self.lo = self.elts.len() - 1u; |
| 93 | } else { self.lo -= 1u; } |
Huon Wilson | 4b9a7a2 | 2014-04-05 05:45:42 | [diff] [blame] | 94 | *self.elts.get_mut(self.lo) = Some(t); |
Daniel Micay | b47e1e9 | 2013-02-16 22:55:55 | [diff] [blame] | 95 | self.nelts += 1u; |
Erick Tryzelaar | e84576b | 2013-01-22 16:44:24 | [diff] [blame] | 96 | } |
Brian Anderson | 94e42c2 | 2014-07-12 01:08:46 | [diff] [blame] | 97 | } |
Marijn Haverbeke | 26610db | 2012-01-11 11:49:33 | [diff] [blame] | 98 | |
Brian Anderson | 94e42c2 | 2014-07-12 01:08:46 | [diff] [blame] | 99 | impl<T> MutableSeq<T> for RingBuf<T> { |
| 100 | fn push(&mut self, t: T) { |
blake2-ppc | 5d72f3f | 2013-07-06 03:42:45 | [diff] [blame] | 101 | if self.nelts == self.elts.len() { |
blake2-ppc | 8a32676 | 2013-07-06 03:42:45 | [diff] [blame] | 102 | grow(self.nelts, &mut self.lo, &mut self.elts); |
Graydon Hoare | 2880ecd | 2010-09-22 22:44:13 | [diff] [blame] | 103 | } |
blake2-ppc | 5d72f3f | 2013-07-06 03:42:45 | [diff] [blame] | 104 | let hi = self.raw_index(self.nelts); |
Huon Wilson | 4b9a7a2 | 2014-04-05 05:45:42 | [diff] [blame] | 105 | *self.elts.get_mut(hi) = Some(t); |
Daniel Micay | b47e1e9 | 2013-02-16 22:55:55 | [diff] [blame] | 106 | self.nelts += 1u; |
Graydon Hoare | ce72993 | 2011-06-15 18:19:50 | [diff] [blame] | 107 | } |
Brian Anderson | 94e42c2 | 2014-07-12 01:08:46 | [diff] [blame] | 108 | fn pop(&mut self) -> Option<T> { |
| 109 | if self.nelts > 0 { |
| 110 | self.nelts -= 1; |
| 111 | let hi = self.raw_index(self.nelts); |
| 112 | self.elts.get_mut(hi).take() |
| 113 | } else { |
| 114 | None |
| 115 | } |
| 116 | } |
Brian Anderson | d36a8f3 | 2014-07-11 17:12:38 | [diff] [blame] | 117 | } |
| 118 | |
Tom Jakubowski | d6a3941 | 2014-06-09 07:30:04 | [diff] [blame] | 119 | impl<T> Default for RingBuf<T> { |
| 120 | #[inline] |
| 121 | fn default() -> RingBuf<T> { RingBuf::new() } |
| 122 | } |
| 123 | |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 124 | impl<T> RingBuf<T> { |
P1start | f2aa88c | 2014-08-04 10:48:39 | [diff] [blame] | 125 | /// Creates an empty `RingBuf`. |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 126 | pub fn new() -> RingBuf<T> { |
| 127 | RingBuf::with_capacity(INITIAL_CAPACITY) |
| 128 | } |
| 129 | |
P1start | f2aa88c | 2014-08-04 10:48:39 | [diff] [blame] | 130 | /// Creates an empty `RingBuf` with space for at least `n` elements. |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 131 | pub fn with_capacity(n: uint) -> RingBuf<T> { |
| 132 | RingBuf{nelts: 0, lo: 0, |
Huon Wilson | 4b9a7a2 | 2014-04-05 05:45:42 | [diff] [blame] | 133 | elts: Vec::from_fn(cmp::max(MINIMUM_CAPACITY, n), |_| None)} |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 134 | } |
| 135 | |
P1start | f2aa88c | 2014-08-04 10:48:39 | [diff] [blame] | 136 | /// Retrieves an element in the `RingBuf` by index. |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 137 | /// |
P1start | f2aa88c | 2014-08-04 10:48:39 | [diff] [blame] | 138 | /// Fails if there is no element with the given index. |
nham | ebe8097 | 2014-07-17 23:19:51 | [diff] [blame] | 139 | /// |
| 140 | /// # Example |
| 141 | /// |
| 142 | /// ```rust |
| 143 | /// use std::collections::RingBuf; |
| 144 | /// |
| 145 | /// let mut buf = RingBuf::new(); |
| 146 | /// buf.push(3i); |
| 147 | /// buf.push(4); |
| 148 | /// buf.push(5); |
| 149 | /// *buf.get_mut(1) = 7; |
P1start | fd10d20 | 2014-08-02 06:39:39 | [diff] [blame] | 150 | /// assert_eq!(buf[1], 7); |
nham | ebe8097 | 2014-07-17 23:19:51 | [diff] [blame] | 151 | /// ``` |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 152 | pub fn get_mut<'a>(&'a mut self, i: uint) -> &'a mut T { |
| 153 | let idx = self.raw_index(i); |
Huon Wilson | 4b9a7a2 | 2014-04-05 05:45:42 | [diff] [blame] | 154 | match *self.elts.get_mut(idx) { |
Alex Crichton | daf5f5a | 2013-10-21 20:08:31 | [diff] [blame] | 155 | None => fail!(), |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 156 | Some(ref mut v) => v |
| 157 | } |
| 158 | } |
| 159 | |
P1start | f2aa88c | 2014-08-04 10:48:39 | [diff] [blame] | 160 | /// Swaps elements at indices `i` and `j`. |
blake2-ppc | 57757a8 | 2013-09-26 07:19:26 | [diff] [blame] | 161 | /// |
| 162 | /// `i` and `j` may be equal. |
| 163 | /// |
P1start | f2aa88c | 2014-08-04 10:48:39 | [diff] [blame] | 164 | /// Fails if there is no element with either index. |
nham | ebe8097 | 2014-07-17 23:19:51 | [diff] [blame] | 165 | /// |
| 166 | /// # Example |
| 167 | /// |
| 168 | /// ```rust |
| 169 | /// use std::collections::RingBuf; |
| 170 | /// |
| 171 | /// let mut buf = RingBuf::new(); |
| 172 | /// buf.push(3i); |
| 173 | /// buf.push(4); |
| 174 | /// buf.push(5); |
| 175 | /// buf.swap(0, 2); |
P1start | fd10d20 | 2014-08-02 06:39:39 | [diff] [blame] | 176 | /// assert_eq!(buf[0], 5); |
| 177 | /// assert_eq!(buf[2], 3); |
nham | ebe8097 | 2014-07-17 23:19:51 | [diff] [blame] | 178 | /// ``` |
blake2-ppc | 57757a8 | 2013-09-26 07:19:26 | [diff] [blame] | 179 | pub fn swap(&mut self, i: uint, j: uint) { |
| 180 | assert!(i < self.len()); |
| 181 | assert!(j < self.len()); |
| 182 | let ri = self.raw_index(i); |
| 183 | let rj = self.raw_index(j); |
Huon Wilson | 4b9a7a2 | 2014-04-05 05:45:42 | [diff] [blame] | 184 | self.elts.as_mut_slice().swap(ri, rj); |
blake2-ppc | 57757a8 | 2013-09-26 07:19:26 | [diff] [blame] | 185 | } |
| 186 | |
P1start | f2aa88c | 2014-08-04 10:48:39 | [diff] [blame] | 187 | /// Returns the index in the underlying `Vec` for a given logical element |
| 188 | /// index. |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 189 | fn raw_index(&self, idx: uint) -> uint { |
| 190 | raw_index(self.lo, self.elts.len(), idx) |
| 191 | } |
| 192 | |
P1start | f2aa88c | 2014-08-04 10:48:39 | [diff] [blame] | 193 | /// Reserves capacity for exactly `n` elements in the given `RingBuf`, |
Tim Chevalier | 77de84b | 2013-05-27 18:47:38 | [diff] [blame] | 194 | /// doing nothing if `self`'s capacity is already equal to or greater |
P1start | f2aa88c | 2014-08-04 10:48:39 | [diff] [blame] | 195 | /// than the requested capacity. |
David Manescu | 65f3578 | 2014-01-31 13:03:20 | [diff] [blame] | 196 | pub fn reserve_exact(&mut self, n: uint) { |
| 197 | self.elts.reserve_exact(n); |
Tim Chevalier | 77de84b | 2013-05-27 18:47:38 | [diff] [blame] | 198 | } |
| 199 | |
P1start | f2aa88c | 2014-08-04 10:48:39 | [diff] [blame] | 200 | /// Reserves capacity for at least `n` elements in the given `RingBuf`, |
Tim Chevalier | 77de84b | 2013-05-27 18:47:38 | [diff] [blame] | 201 | /// over-allocating in case the caller needs to reserve additional |
| 202 | /// space. |
| 203 | /// |
| 204 | /// Do nothing if `self`'s capacity is already equal to or greater |
| 205 | /// than the requested capacity. |
David Manescu | 65f3578 | 2014-01-31 13:03:20 | [diff] [blame] | 206 | pub fn reserve(&mut self, n: uint) { |
| 207 | self.elts.reserve(n); |
Tim Chevalier | 77de84b | 2013-05-27 18:47:38 | [diff] [blame] | 208 | } |
Jed Estep | 4f7a742 | 2013-06-25 19:08:47 | [diff] [blame] | 209 | |
P1start | f2aa88c | 2014-08-04 10:48:39 | [diff] [blame] | 210 | /// Returns a front-to-back iterator. |
nham | ebe8097 | 2014-07-17 23:19:51 | [diff] [blame] | 211 | /// |
| 212 | /// # Example |
| 213 | /// |
| 214 | /// ```rust |
| 215 | /// use std::collections::RingBuf; |
| 216 | /// |
| 217 | /// let mut buf = RingBuf::new(); |
| 218 | /// buf.push(5i); |
| 219 | /// buf.push(3); |
| 220 | /// buf.push(4); |
Nick Cameron | 52ef462 | 2014-08-06 09:59:40 | [diff] [blame] | 221 | /// let b: &[_] = &[&5, &3, &4]; |
| 222 | /// assert_eq!(buf.iter().collect::<Vec<&int>>().as_slice(), b); |
nham | ebe8097 | 2014-07-17 23:19:51 | [diff] [blame] | 223 | /// ``` |
Palmer Cox | 3fd8c8b | 2014-01-15 03:32:24 | [diff] [blame] | 224 | pub fn iter<'a>(&'a self) -> Items<'a, T> { |
Huon Wilson | 4b9a7a2 | 2014-04-05 05:45:42 | [diff] [blame] | 225 | Items{index: 0, rindex: self.nelts, lo: self.lo, elts: self.elts.as_slice()} |
blake2-ppc | 3385e79 | 2013-07-15 23:13:26 | [diff] [blame] | 226 | } |
| 227 | |
P1start | f2aa88c | 2014-08-04 10:48:39 | [diff] [blame] | 228 | /// Returns a front-to-back iterator which returns mutable references. |
nham | ebe8097 | 2014-07-17 23:19:51 | [diff] [blame] | 229 | /// |
| 230 | /// # Example |
| 231 | /// |
| 232 | /// ```rust |
| 233 | /// use std::collections::RingBuf; |
| 234 | /// |
| 235 | /// let mut buf = RingBuf::new(); |
| 236 | /// buf.push(5i); |
| 237 | /// buf.push(3); |
| 238 | /// buf.push(4); |
Aaron Turon | fc525ee | 2014-09-15 03:27:36 | [diff] [blame] | 239 | /// for num in buf.iter_mut() { |
nham | ebe8097 | 2014-07-17 23:19:51 | [diff] [blame] | 240 | /// *num = *num - 2; |
| 241 | /// } |
Nick Cameron | 52ef462 | 2014-08-06 09:59:40 | [diff] [blame] | 242 | /// let b: &[_] = &[&mut 3, &mut 1, &mut 2]; |
Nick Cameron | 5997694 | 2014-09-24 11:41:09 | [diff] [blame] | 243 | /// assert_eq!(buf.iter_mut().collect::<Vec<&mut int>>()[], b); |
nham | ebe8097 | 2014-07-17 23:19:51 | [diff] [blame] | 244 | /// ``` |
Aaron Turon | d8dfe19 | 2014-09-14 22:57:55 | [diff] [blame] | 245 | pub fn iter_mut<'a>(&'a mut self) -> MutItems<'a, T> { |
Niko Matsakis | bc4164d | 2013-11-16 22:29:39 | [diff] [blame] | 246 | let start_index = raw_index(self.lo, self.elts.len(), 0); |
| 247 | let end_index = raw_index(self.lo, self.elts.len(), self.nelts); |
| 248 | |
| 249 | // Divide up the array |
| 250 | if end_index <= start_index { |
| 251 | // Items to iterate goes from: |
| 252 | // start_index to self.elts.len() |
| 253 | // and then |
| 254 | // 0 to end_index |
Aaron Turon | fc525ee | 2014-09-15 03:27:36 | [diff] [blame] | 255 | let (temp, remaining1) = self.elts.split_at_mut(start_index); |
| 256 | let (remaining2, _) = temp.split_at_mut(end_index); |
Alex Crichton | 9d5d97b | 2014-10-15 06:05:01 | [diff] [blame^] | 257 | MutItems { |
| 258 | remaining1: remaining1.iter_mut(), |
| 259 | remaining2: remaining2.iter_mut(), |
| 260 | nelts: self.nelts, |
| 261 | } |
Niko Matsakis | bc4164d | 2013-11-16 22:29:39 | [diff] [blame] | 262 | } else { |
| 263 | // Items to iterate goes from start_index to end_index: |
Aaron Turon | fc525ee | 2014-09-15 03:27:36 | [diff] [blame] | 264 | let (empty, elts) = self.elts.split_at_mut(0); |
Nick Cameron | 5997694 | 2014-09-24 11:41:09 | [diff] [blame] | 265 | let remaining1 = elts[mut start_index..end_index]; |
Alex Crichton | 9d5d97b | 2014-10-15 06:05:01 | [diff] [blame^] | 266 | MutItems { |
| 267 | remaining1: remaining1.iter_mut(), |
| 268 | remaining2: empty.iter_mut(), |
| 269 | nelts: self.nelts, |
| 270 | } |
Niko Matsakis | bc4164d | 2013-11-16 22:29:39 | [diff] [blame] | 271 | } |
Jed Estep | 4f7a742 | 2013-06-25 19:08:47 | [diff] [blame] | 272 | } |
Jed Estep | 4f7a742 | 2013-06-25 19:08:47 | [diff] [blame] | 273 | } |
| 274 | |
Niko Matsakis | 1b487a8 | 2014-08-28 01:46:52 | [diff] [blame] | 275 | /// `RingBuf` iterator. |
Niko Matsakis | 1b487a8 | 2014-08-28 01:46:52 | [diff] [blame] | 276 | pub struct Items<'a, T:'a> { |
| 277 | lo: uint, |
| 278 | index: uint, |
| 279 | rindex: uint, |
| 280 | elts: &'a [Option<T>], |
| 281 | } |
| 282 | |
Palmer Cox | 3fd8c8b | 2014-01-15 03:32:24 | [diff] [blame] | 283 | impl<'a, T> Iterator<&'a T> for Items<'a, T> { |
Niko Matsakis | bc4164d | 2013-11-16 22:29:39 | [diff] [blame] | 284 | #[inline] |
Erik Price | 5731ca3 | 2013-12-10 07:16:18 | [diff] [blame] | 285 | fn next(&mut self) -> Option<&'a T> { |
Niko Matsakis | bc4164d | 2013-11-16 22:29:39 | [diff] [blame] | 286 | if self.index == self.rindex { |
| 287 | return None; |
| 288 | } |
| 289 | let raw_index = raw_index(self.lo, self.elts.len(), self.index); |
| 290 | self.index += 1; |
Aaron Turon | 276b8b1 | 2014-08-19 00:52:38 | [diff] [blame] | 291 | Some(self.elts[raw_index].as_ref().unwrap()) |
Niko Matsakis | bc4164d | 2013-11-16 22:29:39 | [diff] [blame] | 292 | } |
| 293 | |
| 294 | #[inline] |
| 295 | fn size_hint(&self) -> (uint, Option<uint>) { |
| 296 | let len = self.rindex - self.index; |
| 297 | (len, Some(len)) |
| 298 | } |
| 299 | } |
| 300 | |
Palmer Cox | 3fd8c8b | 2014-01-15 03:32:24 | [diff] [blame] | 301 | impl<'a, T> DoubleEndedIterator<&'a T> for Items<'a, T> { |
Niko Matsakis | bc4164d | 2013-11-16 22:29:39 | [diff] [blame] | 302 | #[inline] |
Erik Price | 5731ca3 | 2013-12-10 07:16:18 | [diff] [blame] | 303 | fn next_back(&mut self) -> Option<&'a T> { |
Niko Matsakis | bc4164d | 2013-11-16 22:29:39 | [diff] [blame] | 304 | if self.index == self.rindex { |
| 305 | return None; |
| 306 | } |
| 307 | self.rindex -= 1; |
| 308 | let raw_index = raw_index(self.lo, self.elts.len(), self.rindex); |
Aaron Turon | 276b8b1 | 2014-08-19 00:52:38 | [diff] [blame] | 309 | Some(self.elts[raw_index].as_ref().unwrap()) |
Niko Matsakis | bc4164d | 2013-11-16 22:29:39 | [diff] [blame] | 310 | } |
| 311 | } |
Jed Estep | 35314c9 | 2013-06-26 15:38:29 | [diff] [blame] | 312 | |
Palmer Cox | 3fd8c8b | 2014-01-15 03:32:24 | [diff] [blame] | 313 | impl<'a, T> ExactSize<&'a T> for Items<'a, T> {} |
blake2-ppc | 7c369ee7 | 2013-09-01 16:20:24 | [diff] [blame] | 314 | |
Palmer Cox | 3fd8c8b | 2014-01-15 03:32:24 | [diff] [blame] | 315 | impl<'a, T> RandomAccessIterator<&'a T> for Items<'a, T> { |
blake2-ppc | f686213 | 2013-07-29 18:16:26 | [diff] [blame] | 316 | #[inline] |
| 317 | fn indexable(&self) -> uint { self.rindex - self.index } |
| 318 | |
| 319 | #[inline] |
Alex Crichton | f4083a2 | 2014-04-22 05:15:42 | [diff] [blame] | 320 | fn idx(&mut self, j: uint) -> Option<&'a T> { |
blake2-ppc | f686213 | 2013-07-29 18:16:26 | [diff] [blame] | 321 | if j >= self.indexable() { |
| 322 | None |
| 323 | } else { |
| 324 | let raw_index = raw_index(self.lo, self.elts.len(), self.index + j); |
Aaron Turon | 276b8b1 | 2014-08-19 00:52:38 | [diff] [blame] | 325 | Some(self.elts[raw_index].as_ref().unwrap()) |
blake2-ppc | f686213 | 2013-07-29 18:16:26 | [diff] [blame] | 326 | } |
| 327 | } |
| 328 | } |
| 329 | |
Niko Matsakis | 1b487a8 | 2014-08-28 01:46:52 | [diff] [blame] | 330 | /// `RingBuf` mutable iterator. |
Niko Matsakis | 1b487a8 | 2014-08-28 01:46:52 | [diff] [blame] | 331 | pub struct MutItems<'a, T:'a> { |
Alex Crichton | 9d5d97b | 2014-10-15 06:05:01 | [diff] [blame^] | 332 | remaining1: slice::MutItems<'a, Option<T>>, |
| 333 | remaining2: slice::MutItems<'a, Option<T>>, |
Niko Matsakis | 1b487a8 | 2014-08-28 01:46:52 | [diff] [blame] | 334 | nelts: uint, |
| 335 | } |
| 336 | |
Palmer Cox | 3fd8c8b | 2014-01-15 03:32:24 | [diff] [blame] | 337 | impl<'a, T> Iterator<&'a mut T> for MutItems<'a, T> { |
Niko Matsakis | bc4164d | 2013-11-16 22:29:39 | [diff] [blame] | 338 | #[inline] |
Erik Price | 5731ca3 | 2013-12-10 07:16:18 | [diff] [blame] | 339 | fn next(&mut self) -> Option<&'a mut T> { |
Niko Matsakis | bc4164d | 2013-11-16 22:29:39 | [diff] [blame] | 340 | if self.nelts == 0 { |
| 341 | return None; |
| 342 | } |
Niko Matsakis | bc4164d | 2013-11-16 22:29:39 | [diff] [blame] | 343 | self.nelts -= 1; |
Alex Crichton | 9d5d97b | 2014-10-15 06:05:01 | [diff] [blame^] | 344 | match self.remaining1.next() { |
| 345 | Some(ptr) => return Some(ptr.as_mut().unwrap()), |
| 346 | None => {} |
| 347 | } |
| 348 | match self.remaining2.next() { |
| 349 | Some(ptr) => return Some(ptr.as_mut().unwrap()), |
| 350 | None => unreachable!(), |
| 351 | } |
Niko Matsakis | bc4164d | 2013-11-16 22:29:39 | [diff] [blame] | 352 | } |
| 353 | |
| 354 | #[inline] |
| 355 | fn size_hint(&self) -> (uint, Option<uint>) { |
| 356 | (self.nelts, Some(self.nelts)) |
| 357 | } |
| 358 | } |
| 359 | |
Palmer Cox | 3fd8c8b | 2014-01-15 03:32:24 | [diff] [blame] | 360 | impl<'a, T> DoubleEndedIterator<&'a mut T> for MutItems<'a, T> { |
Niko Matsakis | bc4164d | 2013-11-16 22:29:39 | [diff] [blame] | 361 | #[inline] |
Erik Price | 5731ca3 | 2013-12-10 07:16:18 | [diff] [blame] | 362 | fn next_back(&mut self) -> Option<&'a mut T> { |
Niko Matsakis | bc4164d | 2013-11-16 22:29:39 | [diff] [blame] | 363 | if self.nelts == 0 { |
| 364 | return None; |
| 365 | } |
Niko Matsakis | bc4164d | 2013-11-16 22:29:39 | [diff] [blame] | 366 | self.nelts -= 1; |
Alex Crichton | 9d5d97b | 2014-10-15 06:05:01 | [diff] [blame^] | 367 | match self.remaining2.next_back() { |
| 368 | Some(ptr) => return Some(ptr.as_mut().unwrap()), |
| 369 | None => {} |
| 370 | } |
| 371 | match self.remaining1.next_back() { |
| 372 | Some(ptr) => return Some(ptr.as_mut().unwrap()), |
| 373 | None => unreachable!(), |
| 374 | } |
Niko Matsakis | bc4164d | 2013-11-16 22:29:39 | [diff] [blame] | 375 | } |
| 376 | } |
Daniel Micay | b47e1e9 | 2013-02-16 22:55:55 | [diff] [blame] | 377 | |
Palmer Cox | 3fd8c8b | 2014-01-15 03:32:24 | [diff] [blame] | 378 | impl<'a, T> ExactSize<&'a mut T> for MutItems<'a, T> {} |
blake2-ppc | 7c369ee7 | 2013-09-01 16:20:24 | [diff] [blame] | 379 | |
Daniel Micay | b47e1e9 | 2013-02-16 22:55:55 | [diff] [blame] | 380 | /// Grow is only called on full elts, so nelts is also len(elts), unlike |
| 381 | /// elsewhere. |
Huon Wilson | 4b9a7a2 | 2014-04-05 05:45:42 | [diff] [blame] | 382 | fn grow<T>(nelts: uint, loptr: &mut uint, elts: &mut Vec<Option<T>>) { |
Corey Richardson | cc57ca0 | 2013-05-19 02:02:45 | [diff] [blame] | 383 | assert_eq!(nelts, elts.len()); |
blake2-ppc | 8a32676 | 2013-07-06 03:42:45 | [diff] [blame] | 384 | let lo = *loptr; |
Kevin Butler | 64896d6 | 2014-08-07 01:11:13 | [diff] [blame] | 385 | elts.reserve(nelts * 2); |
| 386 | let newlen = elts.capacity(); |
Daniel Micay | b47e1e9 | 2013-02-16 22:55:55 | [diff] [blame] | 387 | |
blake2-ppc | 40ce0b7 | 2013-07-06 03:42:45 | [diff] [blame] | 388 | /* fill with None */ |
Kevin Butler | 64896d6 | 2014-08-07 01:11:13 | [diff] [blame] | 389 | for _ in range(elts.len(), newlen) { |
blake2-ppc | 40ce0b7 | 2013-07-06 03:42:45 | [diff] [blame] | 390 | elts.push(None); |
Daniel Micay | b47e1e9 | 2013-02-16 22:55:55 | [diff] [blame] | 391 | } |
blake2-ppc | 8a32676 | 2013-07-06 03:42:45 | [diff] [blame] | 392 | |
| 393 | /* |
| 394 | Move the shortest half into the newly reserved area. |
| 395 | lo ---->| |
| 396 | nelts ----------->| |
| 397 | [o o o|o o o o o] |
| 398 | A [. . .|o o o o o o o o|. . . . .] |
| 399 | B [o o o|. . . . . . . .|o o o o o] |
| 400 | */ |
| 401 | |
| 402 | assert!(newlen - nelts/2 >= nelts); |
| 403 | if lo <= (nelts - lo) { // A |
Daniel Micay | 10089455 | 2013-08-03 16:45:23 | [diff] [blame] | 404 | for i in range(0u, lo) { |
Huon Wilson | 4b9a7a2 | 2014-04-05 05:45:42 | [diff] [blame] | 405 | elts.as_mut_slice().swap(i, nelts + i); |
blake2-ppc | 8a32676 | 2013-07-06 03:42:45 | [diff] [blame] | 406 | } |
| 407 | } else { // B |
Daniel Micay | 10089455 | 2013-08-03 16:45:23 | [diff] [blame] | 408 | for i in range(lo, nelts) { |
Huon Wilson | 4b9a7a2 | 2014-04-05 05:45:42 | [diff] [blame] | 409 | elts.as_mut_slice().swap(i, newlen - nelts + i); |
blake2-ppc | 8a32676 | 2013-07-06 03:42:45 | [diff] [blame] | 410 | } |
| 411 | *loptr += newlen - nelts; |
blake2-ppc | 40ce0b7 | 2013-07-06 03:42:45 | [diff] [blame] | 412 | } |
Daniel Micay | b47e1e9 | 2013-02-16 22:55:55 | [diff] [blame] | 413 | } |
| 414 | |
P1start | f2aa88c | 2014-08-04 10:48:39 | [diff] [blame] | 415 | /// Returns the index in the underlying `Vec` for a given logical element index. |
blake2-ppc | 75015c3 | 2013-07-06 03:42:45 | [diff] [blame] | 416 | fn raw_index(lo: uint, len: uint, index: uint) -> uint { |
| 417 | if lo >= len - index { |
| 418 | lo + index - len |
| 419 | } else { |
| 420 | lo + index |
| 421 | } |
| 422 | } |
| 423 | |
Alex Crichton | 748bc3c | 2014-05-30 00:45:07 | [diff] [blame] | 424 | impl<A: PartialEq> PartialEq for RingBuf<A> { |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 425 | fn eq(&self, other: &RingBuf<A>) -> bool { |
blake2-ppc | 10c7698 | 2013-07-06 13:27:32 | [diff] [blame] | 426 | self.nelts == other.nelts && |
| 427 | self.iter().zip(other.iter()).all(|(a, b)| a.eq(b)) |
| 428 | } |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 429 | fn ne(&self, other: &RingBuf<A>) -> bool { |
blake2-ppc | 10c7698 | 2013-07-06 13:27:32 | [diff] [blame] | 430 | !self.eq(other) |
| 431 | } |
| 432 | } |
| 433 | |
nham | 25acfde | 2014-08-01 20:05:03 | [diff] [blame] | 434 | impl<A: Eq> Eq for RingBuf<A> {} |
| 435 | |
nham | 6361577 | 2014-07-27 03:18:56 | [diff] [blame] | 436 | impl<A: PartialOrd> PartialOrd for RingBuf<A> { |
| 437 | fn partial_cmp(&self, other: &RingBuf<A>) -> Option<Ordering> { |
| 438 | iter::order::partial_cmp(self.iter(), other.iter()) |
| 439 | } |
| 440 | } |
| 441 | |
nham | 3737c53 | 2014-08-01 20:22:48 | [diff] [blame] | 442 | impl<A: Ord> Ord for RingBuf<A> { |
| 443 | #[inline] |
| 444 | fn cmp(&self, other: &RingBuf<A>) -> Ordering { |
| 445 | iter::order::cmp(self.iter(), other.iter()) |
| 446 | } |
| 447 | } |
| 448 | |
nham | 1cfa656 | 2014-07-27 02:33:47 | [diff] [blame] | 449 | impl<S: Writer, A: Hash<S>> Hash<S> for RingBuf<A> { |
| 450 | fn hash(&self, state: &mut S) { |
nham | 9fa4424 | 2014-07-27 16:37:32 | [diff] [blame] | 451 | self.len().hash(state); |
nham | 1cfa656 | 2014-07-27 02:33:47 | [diff] [blame] | 452 | for elt in self.iter() { |
| 453 | elt.hash(state); |
| 454 | } |
| 455 | } |
| 456 | } |
| 457 | |
P1start | fd10d20 | 2014-08-02 06:39:39 | [diff] [blame] | 458 | impl<A> Index<uint, A> for RingBuf<A> { |
| 459 | #[inline] |
| 460 | fn index<'a>(&'a self, i: &uint) -> &'a A { |
Alex Crichton | 9d5d97b | 2014-10-15 06:05:01 | [diff] [blame^] | 461 | let idx = self.raw_index(*i); |
| 462 | match self.elts[idx] { |
| 463 | None => fail!(), |
| 464 | Some(ref v) => v, |
| 465 | } |
P1start | fd10d20 | 2014-08-02 06:39:39 | [diff] [blame] | 466 | } |
| 467 | } |
| 468 | |
| 469 | // FIXME(#12825) Indexing will always try IndexMut first and that causes issues. |
| 470 | /*impl<A> IndexMut<uint, A> for RingBuf<A> { |
| 471 | #[inline] |
| 472 | fn index_mut<'a>(&'a mut self, index: &uint) -> &'a mut A { |
| 473 | self.get_mut(*index) |
| 474 | } |
| 475 | }*/ |
| 476 | |
Huon Wilson | 53487a0 | 2013-08-13 13:08:14 | [diff] [blame] | 477 | impl<A> FromIterator<A> for RingBuf<A> { |
Brian Anderson | ee05219 | 2014-03-31 04:45:55 | [diff] [blame] | 478 | fn from_iter<T: Iterator<A>>(iterator: T) -> RingBuf<A> { |
blake2-ppc | f8ae526 | 2013-07-30 00:06:49 | [diff] [blame] | 479 | let (lower, _) = iterator.size_hint(); |
| 480 | let mut deq = RingBuf::with_capacity(lower); |
| 481 | deq.extend(iterator); |
blake2-ppc | 08dc72f | 2013-07-06 03:42:45 | [diff] [blame] | 482 | deq |
| 483 | } |
| 484 | } |
| 485 | |
Huon Wilson | 53487a0 | 2013-08-13 13:08:14 | [diff] [blame] | 486 | impl<A> Extendable<A> for RingBuf<A> { |
Marvin Löbel | 6200e76 | 2014-03-20 13:12:56 | [diff] [blame] | 487 | fn extend<T: Iterator<A>>(&mut self, mut iterator: T) { |
| 488 | for elt in iterator { |
Aaron Turon | f77cabe | 2014-08-11 23:47:46 | [diff] [blame] | 489 | self.push(elt); |
blake2-ppc | f8ae526 | 2013-07-30 00:06:49 | [diff] [blame] | 490 | } |
| 491 | } |
| 492 | } |
| 493 | |
Alex Crichton | 6a58537 | 2014-05-30 01:50:12 | [diff] [blame] | 494 | impl<T: fmt::Show> fmt::Show for RingBuf<T> { |
Adolfo Ochagavía | 8e4e3ab | 2014-06-04 14:15:04 | [diff] [blame] | 495 | fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { |
| 496 | try!(write!(f, "[")); |
| 497 | |
| 498 | for (i, e) in self.iter().enumerate() { |
| 499 | if i != 0 { try!(write!(f, ", ")); } |
| 500 | try!(write!(f, "{}", *e)); |
| 501 | } |
| 502 | |
| 503 | write!(f, "]") |
| 504 | } |
| 505 | } |
| 506 | |
Brian Anderson | 6e27b27 | 2012-01-18 03:05:07 | [diff] [blame] | 507 | #[cfg(test)] |
| 508 | mod tests { |
Alex Crichton | 02882fb | 2014-02-28 09:23:06 | [diff] [blame] | 509 | use std::fmt::Show; |
Alex Crichton | 760b93a | 2014-05-30 02:03:06 | [diff] [blame] | 510 | use std::prelude::*; |
nham | 1cfa656 | 2014-07-27 02:33:47 | [diff] [blame] | 511 | use std::hash; |
Alex Crichton | 760b93a | 2014-05-30 02:03:06 | [diff] [blame] | 512 | use test::Bencher; |
| 513 | use test; |
| 514 | |
Brian Anderson | 054b1ff | 2014-07-14 21:45:10 | [diff] [blame] | 515 | use {Deque, Mutable, MutableSeq}; |
Alex Crichton | f47e4b2 | 2014-01-07 06:33:50 | [diff] [blame] | 516 | use super::RingBuf; |
Alex Crichton | 760b93a | 2014-05-30 02:03:06 | [diff] [blame] | 517 | use vec::Vec; |
Patrick Walton | fa5ee93 | 2012-12-28 02:24:18 | [diff] [blame] | 518 | |
Brian Anderson | 6e27b27 | 2012-01-18 03:05:07 | [diff] [blame] | 519 | #[test] |
Victor Berger | 52ea83d | 2014-09-22 17:30:06 | [diff] [blame] | 520 | #[allow(deprecated)] |
Brian Anderson | 6e27b27 | 2012-01-18 03:05:07 | [diff] [blame] | 521 | fn test_simple() { |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 522 | let mut d = RingBuf::new(); |
Corey Richardson | cc57ca0 | 2013-05-19 02:02:45 | [diff] [blame] | 523 | assert_eq!(d.len(), 0u); |
Niko Matsakis | 9e3d0b0 | 2014-04-21 21:58:52 | [diff] [blame] | 524 | d.push_front(17i); |
| 525 | d.push_front(42i); |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 526 | d.push(137); |
Corey Richardson | cc57ca0 | 2013-05-19 02:02:45 | [diff] [blame] | 527 | assert_eq!(d.len(), 3u); |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 528 | d.push(137); |
Corey Richardson | cc57ca0 | 2013-05-19 02:02:45 | [diff] [blame] | 529 | assert_eq!(d.len(), 4u); |
Luqman Aden | 3ef9aa0 | 2014-10-15 07:22:55 | [diff] [blame] | 530 | debug!("{}", d.front()); |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 531 | assert_eq!(*d.front().unwrap(), 42); |
Luqman Aden | 3ef9aa0 | 2014-10-15 07:22:55 | [diff] [blame] | 532 | debug!("{}", d.back()); |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 533 | assert_eq!(*d.back().unwrap(), 137); |
| 534 | let mut i = d.pop_front(); |
Luqman Aden | 3ef9aa0 | 2014-10-15 07:22:55 | [diff] [blame] | 535 | debug!("{}", i); |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 536 | assert_eq!(i, Some(42)); |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 537 | i = d.pop(); |
Luqman Aden | 3ef9aa0 | 2014-10-15 07:22:55 | [diff] [blame] | 538 | debug!("{}", i); |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 539 | assert_eq!(i, Some(137)); |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 540 | i = d.pop(); |
Luqman Aden | 3ef9aa0 | 2014-10-15 07:22:55 | [diff] [blame] | 541 | debug!("{}", i); |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 542 | assert_eq!(i, Some(137)); |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 543 | i = d.pop(); |
Luqman Aden | 3ef9aa0 | 2014-10-15 07:22:55 | [diff] [blame] | 544 | debug!("{}", i); |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 545 | assert_eq!(i, Some(17)); |
Corey Richardson | cc57ca0 | 2013-05-19 02:02:45 | [diff] [blame] | 546 | assert_eq!(d.len(), 0u); |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 547 | d.push(3); |
Corey Richardson | cc57ca0 | 2013-05-19 02:02:45 | [diff] [blame] | 548 | assert_eq!(d.len(), 1u); |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 549 | d.push_front(2); |
Corey Richardson | cc57ca0 | 2013-05-19 02:02:45 | [diff] [blame] | 550 | assert_eq!(d.len(), 2u); |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 551 | d.push(4); |
Corey Richardson | cc57ca0 | 2013-05-19 02:02:45 | [diff] [blame] | 552 | assert_eq!(d.len(), 3u); |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 553 | d.push_front(1); |
Corey Richardson | cc57ca0 | 2013-05-19 02:02:45 | [diff] [blame] | 554 | assert_eq!(d.len(), 4u); |
Alex Crichton | 9d5d97b | 2014-10-15 06:05:01 | [diff] [blame^] | 555 | debug!("{}", d[0]); |
| 556 | debug!("{}", d[1]); |
| 557 | debug!("{}", d[2]); |
| 558 | debug!("{}", d[3]); |
| 559 | assert_eq!(d[0], 1); |
| 560 | assert_eq!(d[1], 2); |
| 561 | assert_eq!(d[2], 3); |
| 562 | assert_eq!(d[3], 4); |
Brian Anderson | 6e27b27 | 2012-01-18 03:05:07 | [diff] [blame] | 563 | } |
| 564 | |
Felix S. Klock II | a636f51 | 2013-05-01 23:32:37 | [diff] [blame] | 565 | #[cfg(test)] |
Alex Crichton | 748bc3c | 2014-05-30 00:45:07 | [diff] [blame] | 566 | fn test_parameterized<T:Clone + PartialEq + Show>(a: T, b: T, c: T, d: T) { |
Patrick Walton | dc4bf17 | 2013-07-13 04:05:59 | [diff] [blame] | 567 | let mut deq = RingBuf::new(); |
Corey Richardson | cc57ca0 | 2013-05-19 02:02:45 | [diff] [blame] | 568 | assert_eq!(deq.len(), 0); |
Patrick Walton | dc4bf17 | 2013-07-13 04:05:59 | [diff] [blame] | 569 | deq.push_front(a.clone()); |
| 570 | deq.push_front(b.clone()); |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 571 | deq.push(c.clone()); |
Corey Richardson | cc57ca0 | 2013-05-19 02:02:45 | [diff] [blame] | 572 | assert_eq!(deq.len(), 3); |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 573 | deq.push(d.clone()); |
Corey Richardson | cc57ca0 | 2013-05-19 02:02:45 | [diff] [blame] | 574 | assert_eq!(deq.len(), 4); |
Marvin Löbel | 0ac7a21 | 2013-08-03 23:59:24 | [diff] [blame] | 575 | assert_eq!((*deq.front().unwrap()).clone(), b.clone()); |
| 576 | assert_eq!((*deq.back().unwrap()).clone(), d.clone()); |
| 577 | assert_eq!(deq.pop_front().unwrap(), b.clone()); |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 578 | assert_eq!(deq.pop().unwrap(), d.clone()); |
| 579 | assert_eq!(deq.pop().unwrap(), c.clone()); |
| 580 | assert_eq!(deq.pop().unwrap(), a.clone()); |
Corey Richardson | cc57ca0 | 2013-05-19 02:02:45 | [diff] [blame] | 581 | assert_eq!(deq.len(), 0); |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 582 | deq.push(c.clone()); |
Corey Richardson | cc57ca0 | 2013-05-19 02:02:45 | [diff] [blame] | 583 | assert_eq!(deq.len(), 1); |
Patrick Walton | dc4bf17 | 2013-07-13 04:05:59 | [diff] [blame] | 584 | deq.push_front(b.clone()); |
Corey Richardson | cc57ca0 | 2013-05-19 02:02:45 | [diff] [blame] | 585 | assert_eq!(deq.len(), 2); |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 586 | deq.push(d.clone()); |
Corey Richardson | cc57ca0 | 2013-05-19 02:02:45 | [diff] [blame] | 587 | assert_eq!(deq.len(), 3); |
Patrick Walton | dc4bf17 | 2013-07-13 04:05:59 | [diff] [blame] | 588 | deq.push_front(a.clone()); |
Corey Richardson | cc57ca0 | 2013-05-19 02:02:45 | [diff] [blame] | 589 | assert_eq!(deq.len(), 4); |
NODA, Kai | f27ad3d | 2014-10-05 10:11:17 | [diff] [blame] | 590 | assert_eq!(deq[0].clone(), a.clone()); |
| 591 | assert_eq!(deq[1].clone(), b.clone()); |
| 592 | assert_eq!(deq[2].clone(), c.clone()); |
| 593 | assert_eq!(deq[3].clone(), d.clone()); |
Brian Anderson | 6e27b27 | 2012-01-18 03:05:07 | [diff] [blame] | 594 | } |
| 595 | |
blake2-ppc | 81933ed | 2013-07-06 03:42:45 | [diff] [blame] | 596 | #[test] |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 597 | fn test_push_front_grow() { |
| 598 | let mut deq = RingBuf::new(); |
Daniel Micay | 10089455 | 2013-08-03 16:45:23 | [diff] [blame] | 599 | for i in range(0u, 66) { |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 600 | deq.push_front(i); |
blake2-ppc | 81933ed | 2013-07-06 03:42:45 | [diff] [blame] | 601 | } |
| 602 | assert_eq!(deq.len(), 66); |
| 603 | |
Daniel Micay | 10089455 | 2013-08-03 16:45:23 | [diff] [blame] | 604 | for i in range(0u, 66) { |
NODA, Kai | f27ad3d | 2014-10-05 10:11:17 | [diff] [blame] | 605 | assert_eq!(deq[i], 65 - i); |
blake2-ppc | 81933ed | 2013-07-06 03:42:45 | [diff] [blame] | 606 | } |
| 607 | |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 608 | let mut deq = RingBuf::new(); |
Daniel Micay | 10089455 | 2013-08-03 16:45:23 | [diff] [blame] | 609 | for i in range(0u, 66) { |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 610 | deq.push(i); |
blake2-ppc | 81933ed | 2013-07-06 03:42:45 | [diff] [blame] | 611 | } |
| 612 | |
Daniel Micay | 10089455 | 2013-08-03 16:45:23 | [diff] [blame] | 613 | for i in range(0u, 66) { |
NODA, Kai | f27ad3d | 2014-10-05 10:11:17 | [diff] [blame] | 614 | assert_eq!(deq[i], i); |
blake2-ppc | 81933ed | 2013-07-06 03:42:45 | [diff] [blame] | 615 | } |
| 616 | } |
| 617 | |
P1start | fd10d20 | 2014-08-02 06:39:39 | [diff] [blame] | 618 | #[test] |
| 619 | fn test_index() { |
| 620 | let mut deq = RingBuf::new(); |
| 621 | for i in range(1u, 4) { |
| 622 | deq.push_front(i); |
| 623 | } |
| 624 | assert_eq!(deq[1], 2); |
| 625 | } |
| 626 | |
| 627 | #[test] |
| 628 | #[should_fail] |
| 629 | fn test_index_out_of_bounds() { |
| 630 | let mut deq = RingBuf::new(); |
| 631 | for i in range(1u, 4) { |
| 632 | deq.push_front(i); |
| 633 | } |
| 634 | deq[3]; |
| 635 | } |
| 636 | |
blake2-ppc | 81933ed | 2013-07-06 03:42:45 | [diff] [blame] | 637 | #[bench] |
Liigo Zhuang | 408f484 | 2014-04-01 01:16:35 | [diff] [blame] | 638 | fn bench_new(b: &mut test::Bencher) { |
Patrick Walton | 38efa17 | 2013-11-22 03:20:48 | [diff] [blame] | 639 | b.iter(|| { |
Patrick Walton | 8693943 | 2013-08-08 18:38:10 | [diff] [blame] | 640 | let _: RingBuf<u64> = RingBuf::new(); |
Patrick Walton | 38efa17 | 2013-11-22 03:20:48 | [diff] [blame] | 641 | }) |
blake2-ppc | 81933ed | 2013-07-06 03:42:45 | [diff] [blame] | 642 | } |
| 643 | |
| 644 | #[bench] |
Liigo Zhuang | 408f484 | 2014-04-01 01:16:35 | [diff] [blame] | 645 | fn bench_push_back(b: &mut test::Bencher) { |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 646 | let mut deq = RingBuf::new(); |
Patrick Walton | 38efa17 | 2013-11-22 03:20:48 | [diff] [blame] | 647 | b.iter(|| { |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 648 | deq.push(0i); |
Patrick Walton | 38efa17 | 2013-11-22 03:20:48 | [diff] [blame] | 649 | }) |
blake2-ppc | 81933ed | 2013-07-06 03:42:45 | [diff] [blame] | 650 | } |
| 651 | |
| 652 | #[bench] |
Liigo Zhuang | 408f484 | 2014-04-01 01:16:35 | [diff] [blame] | 653 | fn bench_push_front(b: &mut test::Bencher) { |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 654 | let mut deq = RingBuf::new(); |
Patrick Walton | 38efa17 | 2013-11-22 03:20:48 | [diff] [blame] | 655 | b.iter(|| { |
Patrick Walton | a5bb0a3 | 2014-06-27 19:30:25 | [diff] [blame] | 656 | deq.push_front(0i); |
Patrick Walton | 38efa17 | 2013-11-22 03:20:48 | [diff] [blame] | 657 | }) |
blake2-ppc | 81933ed | 2013-07-06 03:42:45 | [diff] [blame] | 658 | } |
| 659 | |
| 660 | #[bench] |
Liigo Zhuang | 408f484 | 2014-04-01 01:16:35 | [diff] [blame] | 661 | fn bench_grow(b: &mut test::Bencher) { |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 662 | let mut deq = RingBuf::new(); |
Patrick Walton | 38efa17 | 2013-11-22 03:20:48 | [diff] [blame] | 663 | b.iter(|| { |
Niko Matsakis | 9e3d0b0 | 2014-04-21 21:58:52 | [diff] [blame] | 664 | for _ in range(0i, 65) { |
Patrick Walton | a5bb0a3 | 2014-06-27 19:30:25 | [diff] [blame] | 665 | deq.push_front(1i); |
Brendan Zabarauskas | 729060d | 2014-01-30 00:20:34 | [diff] [blame] | 666 | } |
Patrick Walton | 38efa17 | 2013-11-22 03:20:48 | [diff] [blame] | 667 | }) |
blake2-ppc | 81933ed | 2013-07-06 03:42:45 | [diff] [blame] | 668 | } |
| 669 | |
Alex Crichton | 748bc3c | 2014-05-30 00:45:07 | [diff] [blame] | 670 | #[deriving(Clone, PartialEq, Show)] |
Patrick Walton | 99b33f7 | 2013-07-02 19:47:32 | [diff] [blame] | 671 | enum Taggy { |
| 672 | One(int), |
| 673 | Two(int, int), |
| 674 | Three(int, int, int), |
Brian Anderson | 6e27b27 | 2012-01-18 03:05:07 | [diff] [blame] | 675 | } |
| 676 | |
Alex Crichton | 748bc3c | 2014-05-30 00:45:07 | [diff] [blame] | 677 | #[deriving(Clone, PartialEq, Show)] |
Patrick Walton | 99b33f7 | 2013-07-02 19:47:32 | [diff] [blame] | 678 | enum Taggypar<T> { |
| 679 | Onepar(int), |
| 680 | Twopar(int, int), |
| 681 | Threepar(int, int, int), |
| 682 | } |
| 683 | |
Alex Crichton | 748bc3c | 2014-05-30 00:45:07 | [diff] [blame] | 684 | #[deriving(Clone, PartialEq, Show)] |
Erick Tryzelaar | e84576b | 2013-01-22 16:44:24 | [diff] [blame] | 685 | struct RecCy { |
| 686 | x: int, |
| 687 | y: int, |
Patrick Walton | eb4d39e | 2013-01-26 00:57:39 | [diff] [blame] | 688 | t: Taggy |
Patrick Walton | 9117dcb | 2012-09-20 01:00:26 | [diff] [blame] | 689 | } |
Kevin Cantu | c43426e | 2012-09-13 05:09:55 | [diff] [blame] | 690 | |
| 691 | #[test] |
| 692 | fn test_param_int() { |
| 693 | test_parameterized::<int>(5, 72, 64, 175); |
| 694 | } |
| 695 | |
| 696 | #[test] |
Kevin Cantu | c43426e | 2012-09-13 05:09:55 | [diff] [blame] | 697 | fn test_param_taggy() { |
Corey Richardson | f8ae9b0 | 2013-06-26 22:14:35 | [diff] [blame] | 698 | test_parameterized::<Taggy>(One(1), Two(1, 2), Three(1, 2, 3), Two(17, 42)); |
Kevin Cantu | c43426e | 2012-09-13 05:09:55 | [diff] [blame] | 699 | } |
| 700 | |
| 701 | #[test] |
| 702 | fn test_param_taggypar() { |
| 703 | test_parameterized::<Taggypar<int>>(Onepar::<int>(1), |
Ben Striegel | a605fd0 | 2012-08-11 14:08:42 | [diff] [blame] | 704 | Twopar::<int>(1, 2), |
| 705 | Threepar::<int>(1, 2, 3), |
| 706 | Twopar::<int>(17, 42)); |
Kevin Cantu | c43426e | 2012-09-13 05:09:55 | [diff] [blame] | 707 | } |
Brian Anderson | 6e27b27 | 2012-01-18 03:05:07 | [diff] [blame] | 708 | |
Kevin Cantu | c43426e | 2012-09-13 05:09:55 | [diff] [blame] | 709 | #[test] |
| 710 | fn test_param_reccy() { |
Erick Tryzelaar | e84576b | 2013-01-22 16:44:24 | [diff] [blame] | 711 | let reccy1 = RecCy { x: 1, y: 2, t: One(1) }; |
| 712 | let reccy2 = RecCy { x: 345, y: 2, t: Two(1, 2) }; |
| 713 | let reccy3 = RecCy { x: 1, y: 777, t: Three(1, 2, 3) }; |
| 714 | let reccy4 = RecCy { x: 19, y: 252, t: Two(17, 42) }; |
Kevin Cantu | c43426e | 2012-09-13 05:09:55 | [diff] [blame] | 715 | test_parameterized::<RecCy>(reccy1, reccy2, reccy3, reccy4); |
Brian Anderson | 6e27b27 | 2012-01-18 03:05:07 | [diff] [blame] | 716 | } |
Erick Tryzelaar | 909d8f0 | 2013-03-30 01:02:44 | [diff] [blame] | 717 | |
| 718 | #[test] |
blake2-ppc | 0ff5c17 | 2013-07-06 03:42:45 | [diff] [blame] | 719 | fn test_with_capacity() { |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 720 | let mut d = RingBuf::with_capacity(0); |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 721 | d.push(1i); |
blake2-ppc | 0ff5c17 | 2013-07-06 03:42:45 | [diff] [blame] | 722 | assert_eq!(d.len(), 1); |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 723 | let mut d = RingBuf::with_capacity(50); |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 724 | d.push(1i); |
blake2-ppc | 0ff5c17 | 2013-07-06 03:42:45 | [diff] [blame] | 725 | assert_eq!(d.len(), 1); |
| 726 | } |
| 727 | |
| 728 | #[test] |
Kevin Butler | 64896d6 | 2014-08-07 01:11:13 | [diff] [blame] | 729 | fn test_with_capacity_non_power_two() { |
| 730 | let mut d3 = RingBuf::with_capacity(3); |
| 731 | d3.push(1i); |
| 732 | |
| 733 | // X = None, | = lo |
| 734 | // [|1, X, X] |
| 735 | assert_eq!(d3.pop_front(), Some(1)); |
| 736 | // [X, |X, X] |
| 737 | assert_eq!(d3.front(), None); |
| 738 | |
| 739 | // [X, |3, X] |
| 740 | d3.push(3); |
| 741 | // [X, |3, 6] |
| 742 | d3.push(6); |
| 743 | // [X, X, |6] |
| 744 | assert_eq!(d3.pop_front(), Some(3)); |
| 745 | |
| 746 | // Pushing the lo past half way point to trigger |
| 747 | // the 'B' scenario for growth |
| 748 | // [9, X, |6] |
| 749 | d3.push(9); |
| 750 | // [9, 12, |6] |
| 751 | d3.push(12); |
| 752 | |
| 753 | d3.push(15); |
| 754 | // There used to be a bug here about how the |
| 755 | // RingBuf made growth assumptions about the |
| 756 | // underlying Vec which didn't hold and lead |
| 757 | // to corruption. |
| 758 | // (Vec grows to next power of two) |
| 759 | //good- [9, 12, 15, X, X, X, X, |6] |
| 760 | //bug- [15, 12, X, X, X, |6, X, X] |
| 761 | assert_eq!(d3.pop_front(), Some(6)); |
| 762 | |
| 763 | // Which leads us to the following state which |
| 764 | // would be a failure case. |
| 765 | //bug- [15, 12, X, X, X, X, |X, X] |
| 766 | assert_eq!(d3.front(), Some(&9)); |
| 767 | } |
| 768 | |
| 769 | #[test] |
David Manescu | 65f3578 | 2014-01-31 13:03:20 | [diff] [blame] | 770 | fn test_reserve_exact() { |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 771 | let mut d = RingBuf::new(); |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 772 | d.push(0u64); |
David Manescu | 65f3578 | 2014-01-31 13:03:20 | [diff] [blame] | 773 | d.reserve_exact(50); |
Huon Wilson | 32d6559 | 2013-06-27 14:40:47 | [diff] [blame] | 774 | assert_eq!(d.elts.capacity(), 50); |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 775 | let mut d = RingBuf::new(); |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 776 | d.push(0u32); |
David Manescu | 65f3578 | 2014-01-31 13:03:20 | [diff] [blame] | 777 | d.reserve_exact(50); |
Huon Wilson | 32d6559 | 2013-06-27 14:40:47 | [diff] [blame] | 778 | assert_eq!(d.elts.capacity(), 50); |
Tim Chevalier | 77de84b | 2013-05-27 18:47:38 | [diff] [blame] | 779 | } |
| 780 | |
| 781 | #[test] |
David Manescu | 65f3578 | 2014-01-31 13:03:20 | [diff] [blame] | 782 | fn test_reserve() { |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 783 | let mut d = RingBuf::new(); |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 784 | d.push(0u64); |
David Manescu | 65f3578 | 2014-01-31 13:03:20 | [diff] [blame] | 785 | d.reserve(50); |
Huon Wilson | 32d6559 | 2013-06-27 14:40:47 | [diff] [blame] | 786 | assert_eq!(d.elts.capacity(), 64); |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 787 | let mut d = RingBuf::new(); |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 788 | d.push(0u32); |
David Manescu | 65f3578 | 2014-01-31 13:03:20 | [diff] [blame] | 789 | d.reserve(50); |
Huon Wilson | 32d6559 | 2013-06-27 14:40:47 | [diff] [blame] | 790 | assert_eq!(d.elts.capacity(), 64); |
Tim Chevalier | 77de84b | 2013-05-27 18:47:38 | [diff] [blame] | 791 | } |
| 792 | |
Jed Estep | 096fb79 | 2013-06-26 14:04:44 | [diff] [blame] | 793 | #[test] |
blake2-ppc | 57757a8 | 2013-09-26 07:19:26 | [diff] [blame] | 794 | fn test_swap() { |
Niko Matsakis | 9e3d0b0 | 2014-04-21 21:58:52 | [diff] [blame] | 795 | let mut d: RingBuf<int> = range(0i, 5).collect(); |
blake2-ppc | 57757a8 | 2013-09-26 07:19:26 | [diff] [blame] | 796 | d.pop_front(); |
| 797 | d.swap(0, 3); |
Huon Wilson | 4b9a7a2 | 2014-04-05 05:45:42 | [diff] [blame] | 798 | assert_eq!(d.iter().map(|&x|x).collect::<Vec<int>>(), vec!(4, 2, 3, 1)); |
blake2-ppc | 57757a8 | 2013-09-26 07:19:26 | [diff] [blame] | 799 | } |
| 800 | |
| 801 | #[test] |
Jed Estep | 096fb79 | 2013-06-26 14:04:44 | [diff] [blame] | 802 | fn test_iter() { |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 803 | let mut d = RingBuf::new(); |
blake2-ppc | f88d532 | 2013-07-06 03:42:45 | [diff] [blame] | 804 | assert_eq!(d.iter().next(), None); |
blake2-ppc | 9ccf443 | 2013-07-14 20:30:22 | [diff] [blame] | 805 | assert_eq!(d.iter().size_hint(), (0, Some(0))); |
blake2-ppc | f88d532 | 2013-07-06 03:42:45 | [diff] [blame] | 806 | |
Niko Matsakis | 9e3d0b0 | 2014-04-21 21:58:52 | [diff] [blame] | 807 | for i in range(0i, 5) { |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 808 | d.push(i); |
Jed Estep | 096fb79 | 2013-06-26 14:04:44 | [diff] [blame] | 809 | } |
Nick Cameron | 37a94b8 | 2014-08-04 12:19:02 | [diff] [blame] | 810 | { |
| 811 | let b: &[_] = &[&0,&1,&2,&3,&4]; |
| 812 | assert_eq!(d.iter().collect::<Vec<&int>>().as_slice(), b); |
| 813 | } |
Corey Richardson | f8ae9b0 | 2013-06-26 22:14:35 | [diff] [blame] | 814 | |
Niko Matsakis | 9e3d0b0 | 2014-04-21 21:58:52 | [diff] [blame] | 815 | for i in range(6i, 9) { |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 816 | d.push_front(i); |
Jed Estep | 096fb79 | 2013-06-26 14:04:44 | [diff] [blame] | 817 | } |
Nick Cameron | 37a94b8 | 2014-08-04 12:19:02 | [diff] [blame] | 818 | { |
| 819 | let b: &[_] = &[&8,&7,&6,&0,&1,&2,&3,&4]; |
| 820 | assert_eq!(d.iter().collect::<Vec<&int>>().as_slice(), b); |
| 821 | } |
blake2-ppc | 9ccf443 | 2013-07-14 20:30:22 | [diff] [blame] | 822 | |
| 823 | let mut it = d.iter(); |
| 824 | let mut len = d.len(); |
| 825 | loop { |
| 826 | match it.next() { |
| 827 | None => break, |
| 828 | _ => { len -= 1; assert_eq!(it.size_hint(), (len, Some(len))) } |
| 829 | } |
| 830 | } |
Jed Estep | 096fb79 | 2013-06-26 14:04:44 | [diff] [blame] | 831 | } |
| 832 | |
| 833 | #[test] |
| 834 | fn test_rev_iter() { |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 835 | let mut d = RingBuf::new(); |
Jonathan S | 03609e5 | 2014-04-21 04:59:12 | [diff] [blame] | 836 | assert_eq!(d.iter().rev().next(), None); |
blake2-ppc | f88d532 | 2013-07-06 03:42:45 | [diff] [blame] | 837 | |
Niko Matsakis | 9e3d0b0 | 2014-04-21 21:58:52 | [diff] [blame] | 838 | for i in range(0i, 5) { |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 839 | d.push(i); |
Jed Estep | 096fb79 | 2013-06-26 14:04:44 | [diff] [blame] | 840 | } |
Nick Cameron | 37a94b8 | 2014-08-04 12:19:02 | [diff] [blame] | 841 | { |
| 842 | let b: &[_] = &[&4,&3,&2,&1,&0]; |
| 843 | assert_eq!(d.iter().rev().collect::<Vec<&int>>().as_slice(), b); |
| 844 | } |
Corey Richardson | f8ae9b0 | 2013-06-26 22:14:35 | [diff] [blame] | 845 | |
Niko Matsakis | 9e3d0b0 | 2014-04-21 21:58:52 | [diff] [blame] | 846 | for i in range(6i, 9) { |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 847 | d.push_front(i); |
Jed Estep | 096fb79 | 2013-06-26 14:04:44 | [diff] [blame] | 848 | } |
Nick Cameron | 37a94b8 | 2014-08-04 12:19:02 | [diff] [blame] | 849 | let b: &[_] = &[&4,&3,&2,&1,&0,&6,&7,&8]; |
| 850 | assert_eq!(d.iter().rev().collect::<Vec<&int>>().as_slice(), b); |
Jed Estep | 096fb79 | 2013-06-26 14:04:44 | [diff] [blame] | 851 | } |
blake2-ppc | 08dc72f | 2013-07-06 03:42:45 | [diff] [blame] | 852 | |
| 853 | #[test] |
Niko Matsakis | bc4164d | 2013-11-16 22:29:39 | [diff] [blame] | 854 | fn test_mut_rev_iter_wrap() { |
| 855 | let mut d = RingBuf::with_capacity(3); |
Aaron Turon | fc525ee | 2014-09-15 03:27:36 | [diff] [blame] | 856 | assert!(d.iter_mut().rev().next().is_none()); |
Niko Matsakis | bc4164d | 2013-11-16 22:29:39 | [diff] [blame] | 857 | |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 858 | d.push(1i); |
| 859 | d.push(2); |
| 860 | d.push(3); |
Niko Matsakis | bc4164d | 2013-11-16 22:29:39 | [diff] [blame] | 861 | assert_eq!(d.pop_front(), Some(1)); |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 862 | d.push(4); |
Niko Matsakis | bc4164d | 2013-11-16 22:29:39 | [diff] [blame] | 863 | |
Aaron Turon | fc525ee | 2014-09-15 03:27:36 | [diff] [blame] | 864 | assert_eq!(d.iter_mut().rev().map(|x| *x).collect::<Vec<int>>(), |
Huon Wilson | 4b9a7a2 | 2014-04-05 05:45:42 | [diff] [blame] | 865 | vec!(4, 3, 2)); |
Niko Matsakis | bc4164d | 2013-11-16 22:29:39 | [diff] [blame] | 866 | } |
| 867 | |
| 868 | #[test] |
blake2-ppc | f88d532 | 2013-07-06 03:42:45 | [diff] [blame] | 869 | fn test_mut_iter() { |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 870 | let mut d = RingBuf::new(); |
Aaron Turon | fc525ee | 2014-09-15 03:27:36 | [diff] [blame] | 871 | assert!(d.iter_mut().next().is_none()); |
blake2-ppc | f88d532 | 2013-07-06 03:42:45 | [diff] [blame] | 872 | |
Daniel Micay | 10089455 | 2013-08-03 16:45:23 | [diff] [blame] | 873 | for i in range(0u, 3) { |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 874 | d.push_front(i); |
blake2-ppc | f88d532 | 2013-07-06 03:42:45 | [diff] [blame] | 875 | } |
| 876 | |
Aaron Turon | fc525ee | 2014-09-15 03:27:36 | [diff] [blame] | 877 | for (i, elt) in d.iter_mut().enumerate() { |
blake2-ppc | f88d532 | 2013-07-06 03:42:45 | [diff] [blame] | 878 | assert_eq!(*elt, 2 - i); |
| 879 | *elt = i; |
| 880 | } |
| 881 | |
| 882 | { |
Aaron Turon | fc525ee | 2014-09-15 03:27:36 | [diff] [blame] | 883 | let mut it = d.iter_mut(); |
blake2-ppc | f88d532 | 2013-07-06 03:42:45 | [diff] [blame] | 884 | assert_eq!(*it.next().unwrap(), 0); |
| 885 | assert_eq!(*it.next().unwrap(), 1); |
| 886 | assert_eq!(*it.next().unwrap(), 2); |
| 887 | assert!(it.next().is_none()); |
| 888 | } |
| 889 | } |
| 890 | |
| 891 | #[test] |
| 892 | fn test_mut_rev_iter() { |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 893 | let mut d = RingBuf::new(); |
Aaron Turon | fc525ee | 2014-09-15 03:27:36 | [diff] [blame] | 894 | assert!(d.iter_mut().rev().next().is_none()); |
blake2-ppc | f88d532 | 2013-07-06 03:42:45 | [diff] [blame] | 895 | |
Daniel Micay | 10089455 | 2013-08-03 16:45:23 | [diff] [blame] | 896 | for i in range(0u, 3) { |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 897 | d.push_front(i); |
blake2-ppc | f88d532 | 2013-07-06 03:42:45 | [diff] [blame] | 898 | } |
| 899 | |
Aaron Turon | fc525ee | 2014-09-15 03:27:36 | [diff] [blame] | 900 | for (i, elt) in d.iter_mut().rev().enumerate() { |
blake2-ppc | f88d532 | 2013-07-06 03:42:45 | [diff] [blame] | 901 | assert_eq!(*elt, i); |
| 902 | *elt = i; |
| 903 | } |
| 904 | |
| 905 | { |
Aaron Turon | fc525ee | 2014-09-15 03:27:36 | [diff] [blame] | 906 | let mut it = d.iter_mut().rev(); |
blake2-ppc | f88d532 | 2013-07-06 03:42:45 | [diff] [blame] | 907 | assert_eq!(*it.next().unwrap(), 0); |
| 908 | assert_eq!(*it.next().unwrap(), 1); |
| 909 | assert_eq!(*it.next().unwrap(), 2); |
| 910 | assert!(it.next().is_none()); |
| 911 | } |
| 912 | } |
| 913 | |
| 914 | #[test] |
Brian Anderson | ee05219 | 2014-03-31 04:45:55 | [diff] [blame] | 915 | fn test_from_iter() { |
Daniel Micay | 6919cf5 | 2013-09-08 15:01:16 | [diff] [blame] | 916 | use std::iter; |
Niko Matsakis | 9e3d0b0 | 2014-04-21 21:58:52 | [diff] [blame] | 917 | let v = vec!(1i,2,3,4,5,6,7); |
Erick Tryzelaar | 68f40d2 | 2013-08-10 03:09:47 | [diff] [blame] | 918 | let deq: RingBuf<int> = v.iter().map(|&x| x).collect(); |
Huon Wilson | 4b9a7a2 | 2014-04-05 05:45:42 | [diff] [blame] | 919 | let u: Vec<int> = deq.iter().map(|&x| x).collect(); |
blake2-ppc | 08dc72f | 2013-07-06 03:42:45 | [diff] [blame] | 920 | assert_eq!(u, v); |
| 921 | |
Daniel Micay | 6919cf5 | 2013-09-08 15:01:16 | [diff] [blame] | 922 | let mut seq = iter::count(0u, 2).take(256); |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 923 | let deq: RingBuf<uint> = seq.collect(); |
Daniel Micay | 10089455 | 2013-08-03 16:45:23 | [diff] [blame] | 924 | for (i, &x) in deq.iter().enumerate() { |
blake2-ppc | 08dc72f | 2013-07-06 03:42:45 | [diff] [blame] | 925 | assert_eq!(2*i, x); |
| 926 | } |
| 927 | assert_eq!(deq.len(), 256); |
| 928 | } |
blake2-ppc | 10c7698 | 2013-07-06 13:27:32 | [diff] [blame] | 929 | |
| 930 | #[test] |
| 931 | fn test_clone() { |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 932 | let mut d = RingBuf::new(); |
Niko Matsakis | 9e3d0b0 | 2014-04-21 21:58:52 | [diff] [blame] | 933 | d.push_front(17i); |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 934 | d.push_front(42); |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 935 | d.push(137); |
| 936 | d.push(137); |
blake2-ppc | 10c7698 | 2013-07-06 13:27:32 | [diff] [blame] | 937 | assert_eq!(d.len(), 4u); |
| 938 | let mut e = d.clone(); |
| 939 | assert_eq!(e.len(), 4u); |
| 940 | while !d.is_empty() { |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 941 | assert_eq!(d.pop(), e.pop()); |
blake2-ppc | 10c7698 | 2013-07-06 13:27:32 | [diff] [blame] | 942 | } |
| 943 | assert_eq!(d.len(), 0u); |
| 944 | assert_eq!(e.len(), 0u); |
| 945 | } |
| 946 | |
| 947 | #[test] |
| 948 | fn test_eq() { |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 949 | let mut d = RingBuf::new(); |
Alex Crichton | 02882fb | 2014-02-28 09:23:06 | [diff] [blame] | 950 | assert!(d == RingBuf::with_capacity(0)); |
Niko Matsakis | 9e3d0b0 | 2014-04-21 21:58:52 | [diff] [blame] | 951 | d.push_front(137i); |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 952 | d.push_front(17); |
| 953 | d.push_front(42); |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 954 | d.push(137); |
blake2-ppc | 7052371 | 2013-07-10 13:27:14 | [diff] [blame] | 955 | let mut e = RingBuf::with_capacity(0); |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 956 | e.push(42); |
| 957 | e.push(17); |
| 958 | e.push(137); |
| 959 | e.push(137); |
Alex Crichton | 02882fb | 2014-02-28 09:23:06 | [diff] [blame] | 960 | assert!(&e == &d); |
nham | 7b31058 | 2014-08-26 19:45:55 | [diff] [blame] | 961 | e.pop(); |
| 962 | e.push(0); |
blake2-ppc | 10c7698 | 2013-07-06 13:27:32 | [diff] [blame] | 963 | assert!(e != d); |
| 964 | e.clear(); |
Alex Crichton | 02882fb | 2014-02-28 09:23:06 | [diff] [blame] | 965 | assert!(e == RingBuf::new()); |
blake2-ppc | 10c7698 | 2013-07-06 13:27:32 | [diff] [blame] | 966 | } |
Adolfo Ochagavía | 8e4e3ab | 2014-06-04 14:15:04 | [diff] [blame] | 967 | |
| 968 | #[test] |
nham | 1cfa656 | 2014-07-27 02:33:47 | [diff] [blame] | 969 | fn test_hash() { |
| 970 | let mut x = RingBuf::new(); |
| 971 | let mut y = RingBuf::new(); |
| 972 | |
| 973 | x.push(1i); |
| 974 | x.push(2); |
| 975 | x.push(3); |
| 976 | |
| 977 | y.push(0i); |
| 978 | y.push(1i); |
| 979 | y.pop_front(); |
| 980 | y.push(2); |
| 981 | y.push(3); |
| 982 | |
| 983 | assert!(hash::hash(&x) == hash::hash(&y)); |
| 984 | } |
| 985 | |
| 986 | #[test] |
nham | 6361577 | 2014-07-27 03:18:56 | [diff] [blame] | 987 | fn test_ord() { |
| 988 | let x = RingBuf::new(); |
| 989 | let mut y = RingBuf::new(); |
| 990 | y.push(1i); |
| 991 | y.push(2); |
| 992 | y.push(3); |
| 993 | assert!(x < y); |
| 994 | assert!(y > x); |
| 995 | assert!(x <= x); |
| 996 | assert!(x >= x); |
| 997 | } |
| 998 | |
| 999 | #[test] |
Adolfo Ochagavía | 8e4e3ab | 2014-06-04 14:15:04 | [diff] [blame] | 1000 | fn test_show() { |
Niko Matsakis | 9e3d0b0 | 2014-04-21 21:58:52 | [diff] [blame] | 1001 | let ringbuf: RingBuf<int> = range(0i, 10).collect(); |
Adolfo Ochagavía | 8e4e3ab | 2014-06-04 14:15:04 | [diff] [blame] | 1002 | assert!(format!("{}", ringbuf).as_slice() == "[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]"); |
| 1003 | |
| 1004 | let ringbuf: RingBuf<&str> = vec!["just", "one", "test", "more"].iter() |
| 1005 | .map(|&s| s) |
| 1006 | .collect(); |
| 1007 | assert!(format!("{}", ringbuf).as_slice() == "[just, one, test, more]"); |
| 1008 | } |
Michael Sullivan | c854d6e | 2012-07-03 17:52:32 | [diff] [blame] | 1009 | } |