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