2014-04-30 22:54:25 -07:00
|
|
|
// Copyright 2012-2014 The Rust Project Developers. See the COPYRIGHT
|
|
|
|
// file at the top-level directory of this distribution and at
|
|
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
|
|
|
//! Slice management and manipulation
|
|
|
|
//!
|
|
|
|
//! For more details `std::slice`.
|
|
|
|
|
2015-01-23 21:48:20 -08:00
|
|
|
#![stable(feature = "rust1", since = "1.0.0")]
|
2014-05-28 19:53:37 -07:00
|
|
|
|
2014-06-30 13:58:53 -07:00
|
|
|
// How this module is organized.
|
|
|
|
//
|
|
|
|
// The library infrastructure for slices is fairly messy. There's
|
|
|
|
// a lot of stuff defined here. Let's keep it clean.
|
|
|
|
//
|
|
|
|
// Since slices don't support inherent methods; all operations
|
|
|
|
// on them are defined on traits, which are then reexported from
|
|
|
|
// the prelude for convenience. So there are a lot of traits here.
|
|
|
|
//
|
|
|
|
// The layout of this file is thus:
|
|
|
|
//
|
|
|
|
// * Slice-specific 'extension' traits and their implementations. This
|
|
|
|
// is where most of the slice API resides.
|
|
|
|
// * Implementations of a few common traits with important slice ops.
|
|
|
|
// * Definitions of a bunch of iterators.
|
|
|
|
// * Free functions.
|
|
|
|
// * The `raw` and `bytes` submodules.
|
|
|
|
// * Boilerplate trait implementations.
|
|
|
|
|
2014-04-30 22:54:25 -07:00
|
|
|
use clone::Clone;
|
2015-01-01 23:53:35 -08:00
|
|
|
use cmp::{Ordering, PartialEq, PartialOrd, Eq, Ord};
|
2014-11-28 11:57:41 -05:00
|
|
|
use cmp::Ordering::{Less, Equal, Greater};
|
2014-04-30 22:54:25 -07:00
|
|
|
use cmp;
|
|
|
|
use default::Default;
|
2015-02-02 19:25:44 +01:00
|
|
|
use intrinsics::assume;
|
2014-04-30 22:54:25 -07:00
|
|
|
use iter::*;
|
2015-01-02 13:56:28 +13:00
|
|
|
use ops::{FnMut, self, Index};
|
2015-01-28 17:06:46 +13:00
|
|
|
use ops::RangeFull;
|
2014-11-28 11:57:41 -05:00
|
|
|
use option::Option;
|
|
|
|
use option::Option::{None, Some};
|
2014-12-30 10:51:18 -08:00
|
|
|
use result::Result;
|
|
|
|
use result::Result::{Ok, Err};
|
2014-04-30 22:54:25 -07:00
|
|
|
use ptr;
|
|
|
|
use mem;
|
|
|
|
use mem::size_of;
|
2015-04-17 15:32:42 -07:00
|
|
|
use marker::{Send, Sync, self};
|
2015-08-07 00:10:31 -07:00
|
|
|
use num::wrapping::OverflowingOps;
|
2014-08-07 18:30:03 -07:00
|
|
|
use raw::Repr;
|
2014-08-06 20:03:55 -07:00
|
|
|
// Avoid conflicts with *both* the Slice trait (buggy) and the `slice::raw` module.
|
2014-08-18 08:29:44 -07:00
|
|
|
use raw::Slice as RawSlice;
|
2014-04-30 22:54:25 -07:00
|
|
|
|
2014-08-06 20:48:25 -07:00
|
|
|
|
2014-06-30 13:58:53 -07:00
|
|
|
//
|
|
|
|
// Extension traits
|
|
|
|
//
|
|
|
|
|
2014-11-02 17:04:32 -08:00
|
|
|
/// Extension methods for slices.
|
2014-12-11 09:44:17 -08:00
|
|
|
#[allow(missing_docs)] // docs in libcollections
|
2015-04-07 17:15:58 -07:00
|
|
|
#[doc(hidden)]
|
2015-06-09 11:18:03 -07:00
|
|
|
#[unstable(feature = "core_slice_ext",
|
2015-08-12 17:23:48 -07:00
|
|
|
reason = "stable interface provided by `impl [T]` in later crates",
|
|
|
|
issue = "27701")]
|
2015-01-04 21:39:02 -05:00
|
|
|
pub trait SliceExt {
|
2015-01-02 09:12:27 -05:00
|
|
|
type Item;
|
|
|
|
|
2015-09-03 15:19:08 +05:30
|
|
|
fn split_at(&self, mid: usize) -> (&[Self::Item], &[Self::Item]);
|
|
|
|
fn iter(&self) -> Iter<Self::Item>;
|
|
|
|
fn split<P>(&self, pred: P) -> Split<Self::Item, P>
|
2015-01-02 09:12:27 -05:00
|
|
|
where P: FnMut(&Self::Item) -> bool;
|
2015-09-03 15:19:08 +05:30
|
|
|
fn splitn<P>(&self, n: usize, pred: P) -> SplitN<Self::Item, P>
|
2015-01-02 09:12:27 -05:00
|
|
|
where P: FnMut(&Self::Item) -> bool;
|
2015-09-03 15:19:08 +05:30
|
|
|
fn rsplitn<P>(&self, n: usize, pred: P) -> RSplitN<Self::Item, P>
|
2015-01-02 09:12:27 -05:00
|
|
|
where P: FnMut(&Self::Item) -> bool;
|
2015-09-03 15:19:08 +05:30
|
|
|
fn windows(&self, size: usize) -> Windows<Self::Item>;
|
|
|
|
fn chunks(&self, size: usize) -> Chunks<Self::Item>;
|
|
|
|
fn get(&self, index: usize) -> Option<&Self::Item>;
|
|
|
|
fn first(&self) -> Option<&Self::Item>;
|
|
|
|
fn tail(&self) -> &[Self::Item];
|
|
|
|
fn init(&self) -> &[Self::Item];
|
|
|
|
fn split_first(&self) -> Option<(&Self::Item, &[Self::Item])>;
|
|
|
|
fn split_last(&self) -> Option<(&Self::Item, &[Self::Item])>;
|
|
|
|
fn last(&self) -> Option<&Self::Item>;
|
|
|
|
unsafe fn get_unchecked(&self, index: usize) -> &Self::Item;
|
2015-01-02 09:12:27 -05:00
|
|
|
fn as_ptr(&self) -> *const Self::Item;
|
2015-02-14 16:04:47 -08:00
|
|
|
fn binary_search_by<F>(&self, f: F) -> Result<usize, usize> where
|
2015-01-02 09:12:27 -05:00
|
|
|
F: FnMut(&Self::Item) -> Ordering;
|
2015-02-14 16:04:47 -08:00
|
|
|
fn len(&self) -> usize;
|
2014-10-30 13:43:24 -07:00
|
|
|
fn is_empty(&self) -> bool { self.len() == 0 }
|
2015-09-03 15:19:08 +05:30
|
|
|
fn get_mut(&mut self, index: usize) -> Option<&mut Self::Item>;
|
|
|
|
fn iter_mut(&mut self) -> IterMut<Self::Item>;
|
|
|
|
fn first_mut(&mut self) -> Option<&mut Self::Item>;
|
|
|
|
fn tail_mut(&mut self) -> &mut [Self::Item];
|
|
|
|
fn init_mut(&mut self) -> &mut [Self::Item];
|
|
|
|
fn split_first_mut(&mut self) -> Option<(&mut Self::Item, &mut [Self::Item])>;
|
|
|
|
fn split_last_mut(&mut self) -> Option<(&mut Self::Item, &mut [Self::Item])>;
|
|
|
|
fn last_mut(&mut self) -> Option<&mut Self::Item>;
|
|
|
|
fn split_mut<P>(&mut self, pred: P) -> SplitMut<Self::Item, P>
|
2015-01-02 09:12:27 -05:00
|
|
|
where P: FnMut(&Self::Item) -> bool;
|
2015-02-14 16:04:47 -08:00
|
|
|
fn splitn_mut<P>(&mut self, n: usize, pred: P) -> SplitNMut<Self::Item, P>
|
2015-01-02 09:12:27 -05:00
|
|
|
where P: FnMut(&Self::Item) -> bool;
|
2015-02-14 16:04:47 -08:00
|
|
|
fn rsplitn_mut<P>(&mut self, n: usize, pred: P) -> RSplitNMut<Self::Item, P>
|
2015-01-02 09:12:27 -05:00
|
|
|
where P: FnMut(&Self::Item) -> bool;
|
2015-09-03 15:19:08 +05:30
|
|
|
fn chunks_mut(&mut self, chunk_size: usize) -> ChunksMut<Self::Item>;
|
2015-02-14 16:04:47 -08:00
|
|
|
fn swap(&mut self, a: usize, b: usize);
|
2015-09-03 15:19:08 +05:30
|
|
|
fn split_at_mut(&mut self, mid: usize) -> (&mut [Self::Item], &mut [Self::Item]);
|
2014-10-23 10:43:18 -05:00
|
|
|
fn reverse(&mut self);
|
2015-09-03 15:19:08 +05:30
|
|
|
unsafe fn get_unchecked_mut(&mut self, index: usize) -> &mut Self::Item;
|
2015-01-02 09:12:27 -05:00
|
|
|
fn as_mut_ptr(&mut self) -> *mut Self::Item;
|
|
|
|
|
2015-02-14 16:04:47 -08:00
|
|
|
fn position_elem(&self, t: &Self::Item) -> Option<usize> where Self::Item: PartialEq;
|
2015-01-02 09:12:27 -05:00
|
|
|
|
2015-02-14 16:04:47 -08:00
|
|
|
fn rposition_elem(&self, t: &Self::Item) -> Option<usize> where Self::Item: PartialEq;
|
2015-01-02 09:12:27 -05:00
|
|
|
|
|
|
|
fn contains(&self, x: &Self::Item) -> bool where Self::Item: PartialEq;
|
|
|
|
|
|
|
|
fn starts_with(&self, needle: &[Self::Item]) -> bool where Self::Item: PartialEq;
|
|
|
|
|
|
|
|
fn ends_with(&self, needle: &[Self::Item]) -> bool where Self::Item: PartialEq;
|
|
|
|
|
2015-02-14 16:04:47 -08:00
|
|
|
fn binary_search(&self, x: &Self::Item) -> Result<usize, usize> where Self::Item: Ord;
|
2015-01-02 09:12:27 -05:00
|
|
|
fn next_permutation(&mut self) -> bool where Self::Item: Ord;
|
|
|
|
fn prev_permutation(&mut self) -> bool where Self::Item: Ord;
|
|
|
|
|
2015-02-14 16:04:47 -08:00
|
|
|
fn clone_from_slice(&mut self, &[Self::Item]) -> usize where Self::Item: Clone;
|
2014-06-30 13:58:53 -07:00
|
|
|
}
|
2014-04-30 22:54:25 -07:00
|
|
|
|
2015-05-15 15:20:42 +02:00
|
|
|
// Use macros to be generic over const/mut
|
|
|
|
macro_rules! slice_offset {
|
|
|
|
($ptr:expr, $by:expr) => {{
|
|
|
|
let ptr = $ptr;
|
|
|
|
if size_from_ptr(ptr) == 0 {
|
|
|
|
::intrinsics::arith_offset(ptr as *mut i8, $by) as *mut _
|
|
|
|
} else {
|
|
|
|
ptr.offset($by)
|
|
|
|
}
|
|
|
|
}};
|
|
|
|
}
|
|
|
|
|
|
|
|
macro_rules! slice_ref {
|
|
|
|
($ptr:expr) => {{
|
|
|
|
let ptr = $ptr;
|
|
|
|
if size_from_ptr(ptr) == 0 {
|
|
|
|
// Use a non-null pointer value
|
|
|
|
&mut *(1 as *mut _)
|
|
|
|
} else {
|
2015-07-24 03:04:55 +02:00
|
|
|
mem::transmute(ptr)
|
2015-05-15 15:20:42 +02:00
|
|
|
}
|
|
|
|
}};
|
|
|
|
}
|
|
|
|
|
2015-11-16 19:54:28 +03:00
|
|
|
#[unstable(feature = "core_slice_ext",
|
|
|
|
reason = "stable interface provided by `impl [T]` in later crates",
|
|
|
|
issue = "27701")]
|
2015-01-02 09:12:27 -05:00
|
|
|
impl<T> SliceExt for [T] {
|
|
|
|
type Item = T;
|
|
|
|
|
2014-11-02 17:04:32 -08:00
|
|
|
#[inline]
|
2015-02-14 16:04:47 -08:00
|
|
|
fn split_at(&self, mid: usize) -> (&[T], &[T]) {
|
2015-01-12 16:59:18 -05:00
|
|
|
(&self[..mid], &self[mid..])
|
2014-11-02 17:04:32 -08:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-09-03 15:19:08 +05:30
|
|
|
fn iter(&self) -> Iter<T> {
|
2014-11-02 17:04:32 -08:00
|
|
|
unsafe {
|
2015-05-15 15:20:42 +02:00
|
|
|
let p = if mem::size_of::<T>() == 0 {
|
|
|
|
1 as *const _
|
2014-11-02 17:04:32 -08:00
|
|
|
} else {
|
2015-05-15 15:20:42 +02:00
|
|
|
let p = self.as_ptr();
|
|
|
|
assume(!p.is_null());
|
|
|
|
p
|
|
|
|
};
|
|
|
|
|
|
|
|
Iter {
|
|
|
|
ptr: p,
|
|
|
|
end: slice_offset!(p, self.len() as isize),
|
|
|
|
_marker: marker::PhantomData
|
2014-11-02 17:04:32 -08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-09-03 15:19:08 +05:30
|
|
|
fn split<P>(&self, pred: P) -> Split<T, P> where P: FnMut(&T) -> bool {
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
Split {
|
2014-11-02 17:04:32 -08:00
|
|
|
v: self,
|
|
|
|
pred: pred,
|
|
|
|
finished: false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-09-03 15:19:08 +05:30
|
|
|
fn splitn<P>(&self, n: usize, pred: P) -> SplitN<T, P> where
|
2014-12-04 23:47:40 -05:00
|
|
|
P: FnMut(&T) -> bool,
|
|
|
|
{
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
SplitN {
|
|
|
|
inner: GenericSplitN {
|
|
|
|
iter: self.split(pred),
|
|
|
|
count: n,
|
|
|
|
invert: false
|
|
|
|
}
|
2014-11-02 17:04:32 -08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-09-03 15:19:08 +05:30
|
|
|
fn rsplitn<P>(&self, n: usize, pred: P) -> RSplitN<T, P> where
|
2014-12-04 23:47:40 -05:00
|
|
|
P: FnMut(&T) -> bool,
|
|
|
|
{
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
RSplitN {
|
|
|
|
inner: GenericSplitN {
|
|
|
|
iter: self.split(pred),
|
|
|
|
count: n,
|
|
|
|
invert: true
|
|
|
|
}
|
2014-11-02 17:04:32 -08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-02-14 16:04:47 -08:00
|
|
|
fn windows(&self, size: usize) -> Windows<T> {
|
2014-11-02 17:04:32 -08:00
|
|
|
assert!(size != 0);
|
|
|
|
Windows { v: self, size: size }
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-02-14 16:04:47 -08:00
|
|
|
fn chunks(&self, size: usize) -> Chunks<T> {
|
2014-11-02 17:04:32 -08:00
|
|
|
assert!(size != 0);
|
|
|
|
Chunks { v: self, size: size }
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-02-14 16:04:47 -08:00
|
|
|
fn get(&self, index: usize) -> Option<&T> {
|
2014-11-02 17:04:32 -08:00
|
|
|
if index < self.len() { Some(&self[index]) } else { None }
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
fn first(&self) -> Option<&T> {
|
2015-03-24 16:53:34 -07:00
|
|
|
if self.is_empty() { None } else { Some(&self[0]) }
|
2014-11-02 17:04:32 -08:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-01-07 11:58:31 -05:00
|
|
|
fn tail(&self) -> &[T] { &self[1..] }
|
2014-11-02 17:04:32 -08:00
|
|
|
|
|
|
|
#[inline]
|
2015-07-11 14:34:57 +03:00
|
|
|
fn split_first(&self) -> Option<(&T, &[T])> {
|
|
|
|
if self.is_empty() { None } else { Some((&self[0], &self[1..])) }
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn init(&self) -> &[T] { &self[..self.len() - 1] }
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn split_last(&self) -> Option<(&T, &[T])> {
|
|
|
|
let len = self.len();
|
|
|
|
if len == 0 { None } else { Some((&self[len - 1], &self[..(len - 1)])) }
|
2014-11-02 17:04:32 -08:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn last(&self) -> Option<&T> {
|
2015-03-24 16:53:34 -07:00
|
|
|
if self.is_empty() { None } else { Some(&self[self.len() - 1]) }
|
2014-11-02 17:04:32 -08:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-02-14 16:04:47 -08:00
|
|
|
unsafe fn get_unchecked(&self, index: usize) -> &T {
|
2015-07-24 03:04:55 +02:00
|
|
|
&*(self.repr().data.offset(index as isize))
|
2014-11-02 17:04:32 -08:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn as_ptr(&self) -> *const T {
|
|
|
|
self.repr().data
|
|
|
|
}
|
|
|
|
|
2015-02-14 16:04:47 -08:00
|
|
|
fn binary_search_by<F>(&self, mut f: F) -> Result<usize, usize> where
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
F: FnMut(&T) -> Ordering
|
|
|
|
{
|
2015-02-14 16:04:47 -08:00
|
|
|
let mut base : usize = 0;
|
|
|
|
let mut lim : usize = self.len();
|
2014-11-02 17:04:32 -08:00
|
|
|
|
|
|
|
while lim != 0 {
|
|
|
|
let ix = base + (lim >> 1);
|
|
|
|
match f(&self[ix]) {
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
Equal => return Ok(ix),
|
2014-11-02 17:04:32 -08:00
|
|
|
Less => {
|
|
|
|
base = ix + 1;
|
|
|
|
lim -= 1;
|
|
|
|
}
|
|
|
|
Greater => ()
|
|
|
|
}
|
|
|
|
lim >>= 1;
|
|
|
|
}
|
2014-12-30 10:51:18 -08:00
|
|
|
Err(base)
|
2014-11-02 17:04:32 -08:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-02-14 16:04:47 -08:00
|
|
|
fn len(&self) -> usize { self.repr().len }
|
2014-11-02 17:04:32 -08:00
|
|
|
|
2014-04-30 22:54:25 -07:00
|
|
|
#[inline]
|
2015-02-14 16:04:47 -08:00
|
|
|
fn get_mut(&mut self, index: usize) -> Option<&mut T> {
|
2014-06-30 13:58:53 -07:00
|
|
|
if index < self.len() { Some(&mut self[index]) } else { None }
|
2014-04-30 22:54:25 -07:00
|
|
|
}
|
|
|
|
|
2015-03-21 19:33:27 -04:00
|
|
|
#[inline]
|
|
|
|
fn split_at_mut(&mut self, mid: usize) -> (&mut [T], &mut [T]) {
|
2015-07-28 19:54:13 +02:00
|
|
|
let len = self.len();
|
|
|
|
let ptr = self.as_mut_ptr();
|
2015-09-07 10:16:57 -04:00
|
|
|
|
2015-03-21 19:33:27 -04:00
|
|
|
unsafe {
|
2015-09-07 10:16:57 -04:00
|
|
|
assert!(mid <= len);
|
|
|
|
|
2015-07-28 19:54:13 +02:00
|
|
|
(from_raw_parts_mut(ptr, mid),
|
|
|
|
from_raw_parts_mut(ptr.offset(mid as isize), len - mid))
|
2015-03-21 19:33:27 -04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-04-30 22:54:25 -07:00
|
|
|
#[inline]
|
2015-09-03 15:19:08 +05:30
|
|
|
fn iter_mut(&mut self) -> IterMut<T> {
|
2014-06-30 13:58:53 -07:00
|
|
|
unsafe {
|
2015-05-15 15:20:42 +02:00
|
|
|
let p = if mem::size_of::<T>() == 0 {
|
|
|
|
1 as *mut _
|
2014-06-30 13:58:53 -07:00
|
|
|
} else {
|
2015-05-15 15:20:42 +02:00
|
|
|
let p = self.as_mut_ptr();
|
|
|
|
assume(!p.is_null());
|
|
|
|
p
|
|
|
|
};
|
|
|
|
|
|
|
|
IterMut {
|
|
|
|
ptr: p,
|
|
|
|
end: slice_offset!(p, self.len() as isize),
|
|
|
|
_marker: marker::PhantomData
|
2014-06-30 13:58:53 -07:00
|
|
|
}
|
|
|
|
}
|
2014-04-30 22:54:25 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2014-10-23 10:43:18 -05:00
|
|
|
fn last_mut(&mut self) -> Option<&mut T> {
|
2014-06-30 13:58:53 -07:00
|
|
|
let len = self.len();
|
|
|
|
if len == 0 { return None; }
|
|
|
|
Some(&mut self[len - 1])
|
2014-04-30 22:54:25 -07:00
|
|
|
}
|
|
|
|
|
2014-09-22 16:23:00 -07:00
|
|
|
#[inline]
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
fn first_mut(&mut self) -> Option<&mut T> {
|
2015-03-24 16:53:34 -07:00
|
|
|
if self.is_empty() { None } else { Some(&mut self[0]) }
|
2014-09-22 16:23:00 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-07-11 14:34:57 +03:00
|
|
|
fn tail_mut(&mut self) -> &mut [T] { &mut self[1 ..] }
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn split_first_mut(&mut self) -> Option<(&mut T, &mut [T])> {
|
|
|
|
if self.is_empty() { None } else {
|
|
|
|
let split = self.split_at_mut(1);
|
|
|
|
Some((&mut split.0[0], split.1))
|
|
|
|
}
|
2014-09-22 16:23:00 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2014-10-23 10:43:18 -05:00
|
|
|
fn init_mut(&mut self) -> &mut [T] {
|
2014-09-22 16:23:00 -07:00
|
|
|
let len = self.len();
|
2015-01-17 16:15:47 -08:00
|
|
|
&mut self[.. (len - 1)]
|
2014-09-22 16:23:00 -07:00
|
|
|
}
|
|
|
|
|
2015-07-11 14:34:57 +03:00
|
|
|
#[inline]
|
|
|
|
fn split_last_mut(&mut self) -> Option<(&mut T, &mut [T])> {
|
|
|
|
let len = self.len();
|
|
|
|
if len == 0 { None } else {
|
|
|
|
let split = self.split_at_mut(len - 1);
|
|
|
|
Some((&mut split.1[0], split.0))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-04-30 22:54:25 -07:00
|
|
|
#[inline]
|
2015-09-03 15:19:08 +05:30
|
|
|
fn split_mut<P>(&mut self, pred: P) -> SplitMut<T, P> where P: FnMut(&T) -> bool {
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
SplitMut { v: self, pred: pred, finished: false }
|
2014-04-30 22:54:25 -07:00
|
|
|
}
|
|
|
|
|
2014-09-22 16:23:00 -07:00
|
|
|
#[inline]
|
2015-09-03 15:19:08 +05:30
|
|
|
fn splitn_mut<P>(&mut self, n: usize, pred: P) -> SplitNMut<T, P> where
|
2014-12-05 01:00:50 -05:00
|
|
|
P: FnMut(&T) -> bool
|
|
|
|
{
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
SplitNMut {
|
|
|
|
inner: GenericSplitN {
|
|
|
|
iter: self.split_mut(pred),
|
|
|
|
count: n,
|
|
|
|
invert: false
|
|
|
|
}
|
2014-09-22 16:23:00 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-09-03 15:19:08 +05:30
|
|
|
fn rsplitn_mut<P>(&mut self, n: usize, pred: P) -> RSplitNMut<T, P> where
|
2014-12-05 01:00:50 -05:00
|
|
|
P: FnMut(&T) -> bool,
|
|
|
|
{
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
RSplitNMut {
|
|
|
|
inner: GenericSplitN {
|
|
|
|
iter: self.split_mut(pred),
|
|
|
|
count: n,
|
|
|
|
invert: true
|
|
|
|
}
|
2014-09-22 16:23:00 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-06-30 13:58:53 -07:00
|
|
|
#[inline]
|
2015-02-14 16:04:47 -08:00
|
|
|
fn chunks_mut(&mut self, chunk_size: usize) -> ChunksMut<T> {
|
2014-06-30 13:58:53 -07:00
|
|
|
assert!(chunk_size > 0);
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
ChunksMut { v: self, chunk_size: chunk_size }
|
2014-04-30 22:54:25 -07:00
|
|
|
}
|
|
|
|
|
2015-03-02 22:06:51 -06:00
|
|
|
#[inline]
|
2015-02-14 16:04:47 -08:00
|
|
|
fn swap(&mut self, a: usize, b: usize) {
|
2014-06-30 13:58:53 -07:00
|
|
|
unsafe {
|
|
|
|
// Can't take two mutable loans from one vector, so instead just cast
|
|
|
|
// them to their raw pointers to do the swap
|
|
|
|
let pa: *mut T = &mut self[a];
|
|
|
|
let pb: *mut T = &mut self[b];
|
|
|
|
ptr::swap(pa, pb);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-10-23 10:43:18 -05:00
|
|
|
fn reverse(&mut self) {
|
2015-02-14 16:04:47 -08:00
|
|
|
let mut i: usize = 0;
|
2014-06-30 13:58:53 -07:00
|
|
|
let ln = self.len();
|
|
|
|
while i < ln / 2 {
|
2014-09-04 19:54:41 -07:00
|
|
|
// Unsafe swap to avoid the bounds check in safe swap.
|
|
|
|
unsafe {
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
let pa: *mut T = self.get_unchecked_mut(i);
|
|
|
|
let pb: *mut T = self.get_unchecked_mut(ln - i - 1);
|
2014-09-04 19:54:41 -07:00
|
|
|
ptr::swap(pa, pb);
|
|
|
|
}
|
2014-06-30 13:58:53 -07:00
|
|
|
i += 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-02-14 16:04:47 -08:00
|
|
|
unsafe fn get_unchecked_mut(&mut self, index: usize) -> &mut T {
|
2015-07-24 03:04:55 +02:00
|
|
|
&mut *(self.repr().data as *mut T).offset(index as isize)
|
2014-06-30 13:58:53 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2014-10-23 10:43:18 -05:00
|
|
|
fn as_mut_ptr(&mut self) -> *mut T {
|
2014-06-30 13:58:53 -07:00
|
|
|
self.repr().data as *mut T
|
|
|
|
}
|
2014-11-02 17:04:32 -08:00
|
|
|
|
|
|
|
#[inline]
|
2015-02-14 16:04:47 -08:00
|
|
|
fn position_elem(&self, x: &T) -> Option<usize> where T: PartialEq {
|
2014-04-30 22:54:25 -07:00
|
|
|
self.iter().position(|y| *x == *y)
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-02-14 16:04:47 -08:00
|
|
|
fn rposition_elem(&self, t: &T) -> Option<usize> where T: PartialEq {
|
2014-04-30 22:54:25 -07:00
|
|
|
self.iter().rposition(|x| *x == *t)
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-01-02 09:12:27 -05:00
|
|
|
fn contains(&self, x: &T) -> bool where T: PartialEq {
|
2014-04-30 22:54:25 -07:00
|
|
|
self.iter().any(|elt| *x == *elt)
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-01-02 09:12:27 -05:00
|
|
|
fn starts_with(&self, needle: &[T]) -> bool where T: PartialEq {
|
2014-04-30 22:54:25 -07:00
|
|
|
let n = needle.len();
|
2015-01-12 16:59:18 -05:00
|
|
|
self.len() >= n && needle == &self[..n]
|
2014-04-30 22:54:25 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-01-02 09:12:27 -05:00
|
|
|
fn ends_with(&self, needle: &[T]) -> bool where T: PartialEq {
|
2014-04-30 22:54:25 -07:00
|
|
|
let (m, n) = (self.len(), needle.len());
|
2015-01-19 11:07:13 -05:00
|
|
|
m >= n && needle == &self[m-n..]
|
2014-04-30 22:54:25 -07:00
|
|
|
}
|
|
|
|
|
2015-02-14 16:04:47 -08:00
|
|
|
fn binary_search(&self, x: &T) -> Result<usize, usize> where T: Ord {
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
self.binary_search_by(|p| p.cmp(x))
|
2014-08-06 20:48:25 -07:00
|
|
|
}
|
2014-11-02 17:04:32 -08:00
|
|
|
|
2015-01-02 09:12:27 -05:00
|
|
|
fn next_permutation(&mut self) -> bool where T: Ord {
|
2014-11-02 17:04:32 -08:00
|
|
|
// These cases only have 1 permutation each, so we can't do anything.
|
|
|
|
if self.len() < 2 { return false; }
|
|
|
|
|
|
|
|
// Step 1: Identify the longest, rightmost weakly decreasing part of the vector
|
|
|
|
let mut i = self.len() - 1;
|
|
|
|
while i > 0 && self[i-1] >= self[i] {
|
|
|
|
i -= 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
// If that is the entire vector, this is the last-ordered permutation.
|
|
|
|
if i == 0 {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Step 2: Find the rightmost element larger than the pivot (i-1)
|
|
|
|
let mut j = self.len() - 1;
|
|
|
|
while j >= i && self[j] <= self[i-1] {
|
|
|
|
j -= 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Step 3: Swap that element with the pivot
|
|
|
|
self.swap(j, i-1);
|
|
|
|
|
|
|
|
// Step 4: Reverse the (previously) weakly decreasing part
|
2015-01-17 16:15:47 -08:00
|
|
|
self[i..].reverse();
|
2014-11-02 17:04:32 -08:00
|
|
|
|
|
|
|
true
|
|
|
|
}
|
|
|
|
|
2015-01-02 09:12:27 -05:00
|
|
|
fn prev_permutation(&mut self) -> bool where T: Ord {
|
2014-11-02 17:04:32 -08:00
|
|
|
// These cases only have 1 permutation each, so we can't do anything.
|
|
|
|
if self.len() < 2 { return false; }
|
|
|
|
|
|
|
|
// Step 1: Identify the longest, rightmost weakly increasing part of the vector
|
|
|
|
let mut i = self.len() - 1;
|
|
|
|
while i > 0 && self[i-1] <= self[i] {
|
|
|
|
i -= 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
// If that is the entire vector, this is the first-ordered permutation.
|
|
|
|
if i == 0 {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Step 2: Reverse the weakly increasing part
|
2015-01-17 16:15:47 -08:00
|
|
|
self[i..].reverse();
|
2014-11-02 17:04:32 -08:00
|
|
|
|
|
|
|
// Step 3: Find the rightmost element equal to or bigger than the pivot (i-1)
|
|
|
|
let mut j = self.len() - 1;
|
|
|
|
while j >= i && self[j-1] < self[i-1] {
|
|
|
|
j -= 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Step 4: Swap that element with the pivot
|
|
|
|
self.swap(i-1, j);
|
|
|
|
|
|
|
|
true
|
|
|
|
}
|
2014-04-30 22:54:25 -07:00
|
|
|
|
2014-06-30 13:58:53 -07:00
|
|
|
#[inline]
|
2015-02-14 16:04:47 -08:00
|
|
|
fn clone_from_slice(&mut self, src: &[T]) -> usize where T: Clone {
|
2014-10-12 01:17:11 +02:00
|
|
|
let min = cmp::min(self.len(), src.len());
|
2015-01-17 16:15:47 -08:00
|
|
|
let dst = &mut self[.. min];
|
|
|
|
let src = &src[.. min];
|
2015-01-26 15:46:12 -05:00
|
|
|
for i in 0..min {
|
2014-10-12 01:17:11 +02:00
|
|
|
dst[i].clone_from(&src[i]);
|
2014-06-30 13:58:53 -07:00
|
|
|
}
|
2014-10-12 01:17:11 +02:00
|
|
|
min
|
2014-06-30 13:58:53 -07:00
|
|
|
}
|
|
|
|
}
|
2014-04-30 22:54:25 -07:00
|
|
|
|
2015-01-24 09:15:42 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-14 16:04:47 -08:00
|
|
|
impl<T> ops::Index<usize> for [T] {
|
2015-01-03 09:46:29 -05:00
|
|
|
type Output = T;
|
|
|
|
|
2015-03-21 19:33:27 -04:00
|
|
|
fn index(&self, index: usize) -> &T {
|
|
|
|
assert!(index < self.len());
|
2015-07-24 03:04:55 +02:00
|
|
|
unsafe { self.get_unchecked(index) }
|
2015-03-21 19:33:27 -04:00
|
|
|
}
|
2015-01-03 09:46:29 -05:00
|
|
|
}
|
|
|
|
|
2015-01-24 09:15:42 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-14 16:04:47 -08:00
|
|
|
impl<T> ops::IndexMut<usize> for [T] {
|
2015-03-21 19:33:27 -04:00
|
|
|
#[inline]
|
|
|
|
fn index_mut(&mut self, index: usize) -> &mut T {
|
|
|
|
assert!(index < self.len());
|
2015-07-24 03:04:55 +02:00
|
|
|
unsafe { self.get_unchecked_mut(index) }
|
2015-03-21 19:33:27 -04:00
|
|
|
}
|
2015-01-03 09:46:29 -05:00
|
|
|
}
|
|
|
|
|
2015-01-24 09:15:42 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-14 16:04:47 -08:00
|
|
|
impl<T> ops::Index<ops::Range<usize>> for [T] {
|
2015-01-04 17:43:24 +13:00
|
|
|
type Output = [T];
|
2015-03-21 19:33:27 -04:00
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn index(&self, index: ops::Range<usize>) -> &[T] {
|
|
|
|
assert!(index.start <= index.end);
|
|
|
|
assert!(index.end <= self.len());
|
|
|
|
unsafe {
|
|
|
|
from_raw_parts (
|
|
|
|
self.as_ptr().offset(index.start as isize),
|
|
|
|
index.end - index.start
|
|
|
|
)
|
|
|
|
}
|
|
|
|
}
|
2014-12-31 20:20:40 +13:00
|
|
|
}
|
2015-01-24 09:15:42 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-14 16:04:47 -08:00
|
|
|
impl<T> ops::Index<ops::RangeTo<usize>> for [T] {
|
2015-01-04 17:43:24 +13:00
|
|
|
type Output = [T];
|
2015-03-21 19:33:27 -04:00
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn index(&self, index: ops::RangeTo<usize>) -> &[T] {
|
|
|
|
self.index(ops::Range{ start: 0, end: index.end })
|
|
|
|
}
|
2014-12-31 20:20:40 +13:00
|
|
|
}
|
2015-01-24 09:15:42 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-14 16:04:47 -08:00
|
|
|
impl<T> ops::Index<ops::RangeFrom<usize>> for [T] {
|
2015-01-04 17:43:24 +13:00
|
|
|
type Output = [T];
|
2015-03-21 19:33:27 -04:00
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn index(&self, index: ops::RangeFrom<usize>) -> &[T] {
|
|
|
|
self.index(ops::Range{ start: index.start, end: self.len() })
|
|
|
|
}
|
2014-12-31 20:20:40 +13:00
|
|
|
}
|
2015-01-24 09:15:42 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-01-28 17:06:46 +13:00
|
|
|
impl<T> ops::Index<RangeFull> for [T] {
|
2015-01-04 17:43:24 +13:00
|
|
|
type Output = [T];
|
2015-03-21 19:33:27 -04:00
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn index(&self, _index: RangeFull) -> &[T] {
|
|
|
|
self
|
|
|
|
}
|
2014-12-31 20:20:40 +13:00
|
|
|
}
|
|
|
|
|
2015-01-24 09:15:42 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-14 16:04:47 -08:00
|
|
|
impl<T> ops::IndexMut<ops::Range<usize>> for [T] {
|
2015-03-21 19:33:27 -04:00
|
|
|
#[inline]
|
|
|
|
fn index_mut(&mut self, index: ops::Range<usize>) -> &mut [T] {
|
|
|
|
assert!(index.start <= index.end);
|
|
|
|
assert!(index.end <= self.len());
|
|
|
|
unsafe {
|
|
|
|
from_raw_parts_mut(
|
|
|
|
self.as_mut_ptr().offset(index.start as isize),
|
|
|
|
index.end - index.start
|
|
|
|
)
|
|
|
|
}
|
|
|
|
}
|
2015-01-02 09:12:27 -05:00
|
|
|
}
|
2015-01-24 09:15:42 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-14 16:04:47 -08:00
|
|
|
impl<T> ops::IndexMut<ops::RangeTo<usize>> for [T] {
|
2015-03-21 19:33:27 -04:00
|
|
|
#[inline]
|
|
|
|
fn index_mut(&mut self, index: ops::RangeTo<usize>) -> &mut [T] {
|
|
|
|
self.index_mut(ops::Range{ start: 0, end: index.end })
|
|
|
|
}
|
2014-12-31 20:20:40 +13:00
|
|
|
}
|
2015-01-24 09:15:42 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-14 16:04:47 -08:00
|
|
|
impl<T> ops::IndexMut<ops::RangeFrom<usize>> for [T] {
|
2015-03-21 19:33:27 -04:00
|
|
|
#[inline]
|
|
|
|
fn index_mut(&mut self, index: ops::RangeFrom<usize>) -> &mut [T] {
|
|
|
|
let len = self.len();
|
|
|
|
self.index_mut(ops::Range{ start: index.start, end: len })
|
|
|
|
}
|
2014-12-31 20:20:40 +13:00
|
|
|
}
|
2015-01-24 09:15:42 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-01-28 17:06:46 +13:00
|
|
|
impl<T> ops::IndexMut<RangeFull> for [T] {
|
2015-03-21 19:33:27 -04:00
|
|
|
#[inline]
|
|
|
|
fn index_mut(&mut self, _index: RangeFull) -> &mut [T] {
|
|
|
|
self
|
|
|
|
}
|
2015-01-02 09:12:27 -05:00
|
|
|
}
|
|
|
|
|
2014-12-31 20:20:40 +13:00
|
|
|
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
////////////////////////////////////////////////////////////////////////////////
|
2014-06-30 13:58:53 -07:00
|
|
|
// Common traits
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
////////////////////////////////////////////////////////////////////////////////
|
2014-04-30 22:54:25 -07:00
|
|
|
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-06-30 13:58:53 -07:00
|
|
|
impl<'a, T> Default for &'a [T] {
|
|
|
|
fn default() -> &'a [T] { &[] }
|
|
|
|
}
|
|
|
|
|
2015-10-23 14:39:50 +11:00
|
|
|
#[stable(feature = "mut_slice_default", since = "1.5.0")]
|
|
|
|
impl<'a, T> Default for &'a mut [T] {
|
|
|
|
fn default() -> &'a mut [T] { &mut [] }
|
|
|
|
}
|
|
|
|
|
2014-06-30 13:58:53 -07:00
|
|
|
//
|
|
|
|
// Iterators
|
|
|
|
//
|
|
|
|
|
2015-02-17 10:06:24 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-13 17:55:10 -05:00
|
|
|
impl<'a, T> IntoIterator for &'a [T] {
|
|
|
|
type Item = &'a T;
|
|
|
|
type IntoIter = Iter<'a, T>;
|
|
|
|
|
|
|
|
fn into_iter(self) -> Iter<'a, T> {
|
|
|
|
self.iter()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-02-17 10:06:24 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-01-07 22:01:05 -05:00
|
|
|
impl<'a, T> IntoIterator for &'a mut [T] {
|
2015-02-13 17:55:10 -05:00
|
|
|
type Item = &'a mut T;
|
2015-02-06 14:47:55 -08:00
|
|
|
type IntoIter = IterMut<'a, T>;
|
2015-01-07 22:01:05 -05:00
|
|
|
|
|
|
|
fn into_iter(self) -> IterMut<'a, T> {
|
|
|
|
self.iter_mut()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-04-24 12:55:19 -04:00
|
|
|
#[inline(always)]
|
|
|
|
fn size_from_ptr<T>(_: *const T) -> usize {
|
|
|
|
mem::size_of::<T>()
|
|
|
|
}
|
|
|
|
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
// The shared definition of the `Iter` and `IterMut` iterators
|
2014-06-30 13:58:53 -07:00
|
|
|
macro_rules! iterator {
|
|
|
|
(struct $name:ident -> $ptr:ty, $elem:ty) => {
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-12-29 16:18:41 -05:00
|
|
|
impl<'a, T> Iterator for $name<'a, T> {
|
|
|
|
type Item = $elem;
|
|
|
|
|
2014-06-30 13:58:53 -07:00
|
|
|
#[inline]
|
|
|
|
fn next(&mut self) -> Option<$elem> {
|
|
|
|
// could be implemented with slices, but this avoids bounds checks
|
2015-05-15 03:14:16 +02:00
|
|
|
unsafe {
|
|
|
|
if mem::size_of::<T>() != 0 {
|
|
|
|
assume(!self.ptr.is_null());
|
|
|
|
assume(!self.end.is_null());
|
|
|
|
}
|
|
|
|
if self.ptr == self.end {
|
|
|
|
None
|
|
|
|
} else {
|
2015-04-24 12:55:19 -04:00
|
|
|
let old = self.ptr;
|
2015-05-11 00:55:21 -07:00
|
|
|
self.ptr = slice_offset!(self.ptr, 1);
|
2015-04-24 12:55:19 -04:00
|
|
|
Some(slice_ref!(old))
|
2014-06-30 13:58:53 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-02-14 16:04:47 -08:00
|
|
|
fn size_hint(&self) -> (usize, Option<usize>) {
|
2015-05-11 00:55:21 -07:00
|
|
|
let diff = (self.end as usize).wrapping_sub(self.ptr as usize);
|
2014-06-30 13:58:53 -07:00
|
|
|
let size = mem::size_of::<T>();
|
|
|
|
let exact = diff / (if size == 0 {1} else {size});
|
|
|
|
(exact, Some(exact))
|
|
|
|
}
|
2015-04-22 16:03:56 -04:00
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn count(self) -> usize {
|
|
|
|
self.size_hint().0
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn nth(&mut self, n: usize) -> Option<$elem> {
|
2015-04-22 18:44:17 -04:00
|
|
|
// Call helper method. Can't put the definition here because mut versus const.
|
|
|
|
self.iter_nth(n)
|
2015-04-22 16:03:56 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-04-22 18:44:17 -04:00
|
|
|
fn last(mut self) -> Option<$elem> {
|
|
|
|
self.next_back()
|
2015-04-22 16:03:56 -04:00
|
|
|
}
|
2014-06-30 13:58:53 -07:00
|
|
|
}
|
|
|
|
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-12-29 16:18:41 -05:00
|
|
|
impl<'a, T> DoubleEndedIterator for $name<'a, T> {
|
2014-06-30 13:58:53 -07:00
|
|
|
#[inline]
|
|
|
|
fn next_back(&mut self) -> Option<$elem> {
|
|
|
|
// could be implemented with slices, but this avoids bounds checks
|
2015-05-15 03:14:16 +02:00
|
|
|
unsafe {
|
|
|
|
if mem::size_of::<T>() != 0 {
|
|
|
|
assume(!self.ptr.is_null());
|
|
|
|
assume(!self.end.is_null());
|
|
|
|
}
|
|
|
|
if self.end == self.ptr {
|
|
|
|
None
|
|
|
|
} else {
|
2015-05-11 00:55:21 -07:00
|
|
|
self.end = slice_offset!(self.end, -1);
|
2015-04-24 12:55:19 -04:00
|
|
|
Some(slice_ref!(self.end))
|
2014-06-30 13:58:53 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-11-15 14:44:55 +11:00
|
|
|
macro_rules! make_slice {
|
2015-05-11 12:37:31 -07:00
|
|
|
($start: expr, $end: expr) => {{
|
|
|
|
let start = $start;
|
|
|
|
let diff = ($end as usize).wrapping_sub(start as usize);
|
|
|
|
if size_from_ptr(start) == 0 {
|
|
|
|
// use a non-null pointer value
|
|
|
|
unsafe { from_raw_parts(1 as *const _, diff) }
|
2014-11-15 14:44:55 +11:00
|
|
|
} else {
|
2015-05-11 12:37:31 -07:00
|
|
|
let len = diff / size_from_ptr(start);
|
|
|
|
unsafe { from_raw_parts(start, len) }
|
2015-03-13 09:56:18 +01:00
|
|
|
}
|
|
|
|
}}
|
|
|
|
}
|
|
|
|
|
|
|
|
macro_rules! make_mut_slice {
|
2015-05-11 12:37:31 -07:00
|
|
|
($start: expr, $end: expr) => {{
|
|
|
|
let start = $start;
|
|
|
|
let diff = ($end as usize).wrapping_sub(start as usize);
|
|
|
|
if size_from_ptr(start) == 0 {
|
|
|
|
// use a non-null pointer value
|
|
|
|
unsafe { from_raw_parts_mut(1 as *mut _, diff) }
|
2015-03-13 09:56:18 +01:00
|
|
|
} else {
|
2015-05-11 12:37:31 -07:00
|
|
|
let len = diff / size_from_ptr(start);
|
|
|
|
unsafe { from_raw_parts_mut(start, len) }
|
2014-11-15 14:44:55 +11:00
|
|
|
}
|
|
|
|
}}
|
|
|
|
}
|
|
|
|
|
2014-06-30 13:58:53 -07:00
|
|
|
/// Immutable slice iterator
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-12-19 21:52:10 +01:00
|
|
|
pub struct Iter<'a, T: 'a> {
|
2014-06-30 13:58:53 -07:00
|
|
|
ptr: *const T,
|
|
|
|
end: *const T,
|
2015-02-12 12:34:04 -05:00
|
|
|
_marker: marker::PhantomData<&'a T>,
|
2014-06-30 13:58:53 -07:00
|
|
|
}
|
|
|
|
|
2015-11-16 19:54:28 +03:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-25 20:52:18 +08:00
|
|
|
unsafe impl<'a, T: Sync> Sync for Iter<'a, T> {}
|
2015-11-16 19:54:28 +03:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-25 20:52:18 +08:00
|
|
|
unsafe impl<'a, T: Sync> Send for Iter<'a, T> {}
|
|
|
|
|
2014-12-19 21:52:10 +01:00
|
|
|
impl<'a, T> Iter<'a, T> {
|
2014-11-15 14:44:55 +11:00
|
|
|
/// View the underlying data as a subslice of the original data.
|
|
|
|
///
|
|
|
|
/// This has the same lifetime as the original slice, and so the
|
|
|
|
/// iterator can continue to be used while this exists.
|
2015-09-10 13:26:44 -07:00
|
|
|
#[stable(feature = "iter_to_slice", since = "1.4.0")]
|
2014-11-15 14:44:55 +11:00
|
|
|
pub fn as_slice(&self) -> &'a [T] {
|
2015-05-11 12:37:31 -07:00
|
|
|
make_slice!(self.ptr, self.end)
|
2014-11-15 14:44:55 +11:00
|
|
|
}
|
2015-04-22 18:44:17 -04:00
|
|
|
|
|
|
|
// Helper function for Iter::nth
|
|
|
|
fn iter_nth(&mut self, n: usize) -> Option<&'a T> {
|
|
|
|
match self.as_slice().get(n) {
|
2015-04-24 12:55:19 -04:00
|
|
|
Some(elem_ref) => unsafe {
|
2015-05-11 00:55:21 -07:00
|
|
|
self.ptr = slice_offset!(self.ptr, (n as isize).wrapping_add(1));
|
2015-05-15 15:20:42 +02:00
|
|
|
Some(elem_ref)
|
2015-04-22 18:44:17 -04:00
|
|
|
},
|
|
|
|
None => {
|
|
|
|
self.ptr = self.end;
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2014-11-15 14:44:55 +11:00
|
|
|
}
|
|
|
|
|
2014-12-19 21:52:10 +01:00
|
|
|
iterator!{struct Iter -> *const T, &'a T}
|
2014-06-30 13:58:53 -07:00
|
|
|
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-12-29 16:18:41 -05:00
|
|
|
impl<'a, T> ExactSizeIterator for Iter<'a, T> {}
|
2014-06-30 13:58:53 -07:00
|
|
|
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-12-19 21:52:10 +01:00
|
|
|
impl<'a, T> Clone for Iter<'a, T> {
|
2015-02-12 12:34:04 -05:00
|
|
|
fn clone(&self) -> Iter<'a, T> { Iter { ptr: self.ptr, end: self.end, _marker: self._marker } }
|
2014-06-30 13:58:53 -07:00
|
|
|
}
|
|
|
|
|
2014-09-22 16:23:00 -07:00
|
|
|
/// Mutable slice iterator.
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-12-19 21:52:10 +01:00
|
|
|
pub struct IterMut<'a, T: 'a> {
|
2014-06-30 13:58:53 -07:00
|
|
|
ptr: *mut T,
|
|
|
|
end: *mut T,
|
2015-02-12 12:34:04 -05:00
|
|
|
_marker: marker::PhantomData<&'a mut T>,
|
2014-06-30 13:58:53 -07:00
|
|
|
}
|
|
|
|
|
2015-11-16 19:54:28 +03:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-25 20:52:18 +08:00
|
|
|
unsafe impl<'a, T: Sync> Sync for IterMut<'a, T> {}
|
2015-11-16 19:54:28 +03:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-25 20:52:18 +08:00
|
|
|
unsafe impl<'a, T: Send> Send for IterMut<'a, T> {}
|
2015-01-04 17:43:24 +13:00
|
|
|
|
2014-12-19 21:52:10 +01:00
|
|
|
impl<'a, T> IterMut<'a, T> {
|
2014-11-15 14:44:55 +11:00
|
|
|
/// View the underlying data as a subslice of the original data.
|
|
|
|
///
|
|
|
|
/// To avoid creating `&mut` references that alias, this is forced
|
|
|
|
/// to consume the iterator. Consider using the `Slice` and
|
|
|
|
/// `SliceMut` implementations for obtaining slices with more
|
|
|
|
/// restricted lifetimes that do not consume the iterator.
|
2015-09-10 13:26:44 -07:00
|
|
|
#[stable(feature = "iter_to_slice", since = "1.4.0")]
|
2014-11-15 14:44:55 +11:00
|
|
|
pub fn into_slice(self) -> &'a mut [T] {
|
2015-05-11 12:37:31 -07:00
|
|
|
make_mut_slice!(self.ptr, self.end)
|
2014-11-15 14:44:55 +11:00
|
|
|
}
|
2015-04-22 18:44:17 -04:00
|
|
|
|
|
|
|
// Helper function for IterMut::nth
|
|
|
|
fn iter_nth(&mut self, n: usize) -> Option<&'a mut T> {
|
2015-05-11 12:37:31 -07:00
|
|
|
match make_mut_slice!(self.ptr, self.end).get_mut(n) {
|
2015-04-24 12:55:19 -04:00
|
|
|
Some(elem_ref) => unsafe {
|
2015-05-11 00:55:21 -07:00
|
|
|
self.ptr = slice_offset!(self.ptr, (n as isize).wrapping_add(1));
|
2015-05-15 15:20:42 +02:00
|
|
|
Some(elem_ref)
|
2015-04-22 18:44:17 -04:00
|
|
|
},
|
|
|
|
None => {
|
|
|
|
self.ptr = self.end;
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2014-11-15 14:44:55 +11:00
|
|
|
}
|
|
|
|
|
2014-12-19 21:52:10 +01:00
|
|
|
iterator!{struct IterMut -> *mut T, &'a mut T}
|
2014-06-30 13:58:53 -07:00
|
|
|
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-12-29 16:18:41 -05:00
|
|
|
impl<'a, T> ExactSizeIterator for IterMut<'a, T> {}
|
2014-06-30 13:58:53 -07:00
|
|
|
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
/// An internal abstraction over the splitting iterators, so that
|
|
|
|
/// splitn, splitn_mut etc can be implemented once.
|
2014-12-29 16:18:41 -05:00
|
|
|
trait SplitIter: DoubleEndedIterator {
|
2014-09-22 16:23:00 -07:00
|
|
|
/// Mark the underlying iterator as complete, extracting the remaining
|
|
|
|
/// portion of the slice.
|
2015-01-05 20:47:21 -05:00
|
|
|
fn finish(&mut self) -> Option<Self::Item>;
|
2014-09-22 16:23:00 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
/// An iterator over subslices separated by elements that match a predicate
|
|
|
|
/// function.
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
pub struct Split<'a, T:'a, P> where P: FnMut(&T) -> bool {
|
2014-08-27 21:46:52 -04:00
|
|
|
v: &'a [T],
|
2014-12-04 23:47:40 -05:00
|
|
|
pred: P,
|
2014-08-27 21:46:52 -04:00
|
|
|
finished: bool
|
|
|
|
}
|
|
|
|
|
2015-01-03 22:54:18 -05:00
|
|
|
// FIXME(#19839) Remove in favor of `#[derive(Clone)]`
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
impl<'a, T, P> Clone for Split<'a, T, P> where P: Clone + FnMut(&T) -> bool {
|
|
|
|
fn clone(&self) -> Split<'a, T, P> {
|
|
|
|
Split {
|
2014-12-13 22:04:23 -05:00
|
|
|
v: self.v,
|
|
|
|
pred: self.pred.clone(),
|
|
|
|
finished: self.finished,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-12-29 16:18:41 -05:00
|
|
|
impl<'a, T, P> Iterator for Split<'a, T, P> where P: FnMut(&T) -> bool {
|
|
|
|
type Item = &'a [T];
|
|
|
|
|
2014-06-30 13:58:53 -07:00
|
|
|
#[inline]
|
|
|
|
fn next(&mut self) -> Option<&'a [T]> {
|
|
|
|
if self.finished { return None; }
|
|
|
|
|
|
|
|
match self.v.iter().position(|x| (self.pred)(x)) {
|
2014-09-22 16:23:00 -07:00
|
|
|
None => self.finish(),
|
2014-06-30 13:58:53 -07:00
|
|
|
Some(idx) => {
|
2015-01-12 16:59:18 -05:00
|
|
|
let ret = Some(&self.v[..idx]);
|
2015-01-19 11:07:13 -05:00
|
|
|
self.v = &self.v[idx + 1..];
|
2014-06-30 13:58:53 -07:00
|
|
|
ret
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-02-14 16:04:47 -08:00
|
|
|
fn size_hint(&self) -> (usize, Option<usize>) {
|
2014-06-30 13:58:53 -07:00
|
|
|
if self.finished {
|
|
|
|
(0, Some(0))
|
|
|
|
} else {
|
|
|
|
(1, Some(self.v.len() + 1))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-12-29 16:18:41 -05:00
|
|
|
impl<'a, T, P> DoubleEndedIterator for Split<'a, T, P> where P: FnMut(&T) -> bool {
|
2014-06-30 13:58:53 -07:00
|
|
|
#[inline]
|
|
|
|
fn next_back(&mut self) -> Option<&'a [T]> {
|
|
|
|
if self.finished { return None; }
|
|
|
|
|
|
|
|
match self.v.iter().rposition(|x| (self.pred)(x)) {
|
2014-09-22 16:23:00 -07:00
|
|
|
None => self.finish(),
|
2014-06-30 13:58:53 -07:00
|
|
|
Some(idx) => {
|
2015-01-19 11:07:13 -05:00
|
|
|
let ret = Some(&self.v[idx + 1..]);
|
2015-01-12 16:59:18 -05:00
|
|
|
self.v = &self.v[..idx];
|
2014-06-30 13:58:53 -07:00
|
|
|
ret
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-12-29 16:18:41 -05:00
|
|
|
impl<'a, T, P> SplitIter for Split<'a, T, P> where P: FnMut(&T) -> bool {
|
2014-09-22 16:23:00 -07:00
|
|
|
#[inline]
|
|
|
|
fn finish(&mut self) -> Option<&'a [T]> {
|
|
|
|
if self.finished { None } else { self.finished = true; Some(self.v) }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-06-30 13:58:53 -07:00
|
|
|
/// An iterator over the subslices of the vector which are separated
|
|
|
|
/// by elements that match `pred`.
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
pub struct SplitMut<'a, T:'a, P> where P: FnMut(&T) -> bool {
|
2014-08-27 21:46:52 -04:00
|
|
|
v: &'a mut [T],
|
2014-12-05 01:00:50 -05:00
|
|
|
pred: P,
|
2014-08-27 21:46:52 -04:00
|
|
|
finished: bool
|
|
|
|
}
|
|
|
|
|
2014-12-29 16:18:41 -05:00
|
|
|
impl<'a, T, P> SplitIter for SplitMut<'a, T, P> where P: FnMut(&T) -> bool {
|
2014-09-22 16:23:00 -07:00
|
|
|
#[inline]
|
|
|
|
fn finish(&mut self) -> Option<&'a mut [T]> {
|
|
|
|
if self.finished {
|
|
|
|
None
|
|
|
|
} else {
|
|
|
|
self.finished = true;
|
|
|
|
Some(mem::replace(&mut self.v, &mut []))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-12-29 16:18:41 -05:00
|
|
|
impl<'a, T, P> Iterator for SplitMut<'a, T, P> where P: FnMut(&T) -> bool {
|
|
|
|
type Item = &'a mut [T];
|
|
|
|
|
2014-06-30 13:58:53 -07:00
|
|
|
#[inline]
|
|
|
|
fn next(&mut self) -> Option<&'a mut [T]> {
|
|
|
|
if self.finished { return None; }
|
|
|
|
|
2014-09-22 16:23:00 -07:00
|
|
|
let idx_opt = { // work around borrowck limitations
|
|
|
|
let pred = &mut self.pred;
|
|
|
|
self.v.iter().position(|x| (*pred)(x))
|
|
|
|
};
|
|
|
|
match idx_opt {
|
|
|
|
None => self.finish(),
|
2014-06-30 13:58:53 -07:00
|
|
|
Some(idx) => {
|
|
|
|
let tmp = mem::replace(&mut self.v, &mut []);
|
2014-09-14 20:27:36 -07:00
|
|
|
let (head, tail) = tmp.split_at_mut(idx);
|
2015-01-17 16:15:47 -08:00
|
|
|
self.v = &mut tail[1..];
|
2014-06-30 13:58:53 -07:00
|
|
|
Some(head)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-02-14 16:04:47 -08:00
|
|
|
fn size_hint(&self) -> (usize, Option<usize>) {
|
2014-06-30 13:58:53 -07:00
|
|
|
if self.finished {
|
|
|
|
(0, Some(0))
|
|
|
|
} else {
|
|
|
|
// if the predicate doesn't match anything, we yield one slice
|
|
|
|
// if it matches every element, we yield len+1 empty slices.
|
|
|
|
(1, Some(self.v.len() + 1))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-12-29 16:18:41 -05:00
|
|
|
impl<'a, T, P> DoubleEndedIterator for SplitMut<'a, T, P> where
|
2014-12-05 01:00:50 -05:00
|
|
|
P: FnMut(&T) -> bool,
|
|
|
|
{
|
2014-06-30 13:58:53 -07:00
|
|
|
#[inline]
|
|
|
|
fn next_back(&mut self) -> Option<&'a mut [T]> {
|
|
|
|
if self.finished { return None; }
|
|
|
|
|
2014-09-22 16:23:00 -07:00
|
|
|
let idx_opt = { // work around borrowck limitations
|
|
|
|
let pred = &mut self.pred;
|
|
|
|
self.v.iter().rposition(|x| (*pred)(x))
|
|
|
|
};
|
|
|
|
match idx_opt {
|
|
|
|
None => self.finish(),
|
2014-06-30 13:58:53 -07:00
|
|
|
Some(idx) => {
|
|
|
|
let tmp = mem::replace(&mut self.v, &mut []);
|
2014-09-14 20:27:36 -07:00
|
|
|
let (head, tail) = tmp.split_at_mut(idx);
|
2014-06-30 13:58:53 -07:00
|
|
|
self.v = head;
|
2015-01-17 16:15:47 -08:00
|
|
|
Some(&mut tail[1..])
|
2014-06-30 13:58:53 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
/// An private iterator over subslices separated by elements that
|
|
|
|
/// match a predicate function, splitting at most a fixed number of
|
|
|
|
/// times.
|
|
|
|
struct GenericSplitN<I> {
|
2014-09-22 16:23:00 -07:00
|
|
|
iter: I,
|
2015-02-14 16:04:47 -08:00
|
|
|
count: usize,
|
2014-08-27 21:46:52 -04:00
|
|
|
invert: bool
|
|
|
|
}
|
|
|
|
|
2015-01-05 20:47:21 -05:00
|
|
|
impl<T, I: SplitIter<Item=T>> Iterator for GenericSplitN<I> {
|
2014-12-29 16:18:41 -05:00
|
|
|
type Item = T;
|
|
|
|
|
2014-06-30 13:58:53 -07:00
|
|
|
#[inline]
|
2014-12-29 16:18:41 -05:00
|
|
|
fn next(&mut self) -> Option<T> {
|
2015-04-01 11:28:34 -07:00
|
|
|
match self.count {
|
|
|
|
0 => None,
|
|
|
|
1 => { self.count -= 1; self.iter.finish() }
|
|
|
|
_ => {
|
|
|
|
self.count -= 1;
|
|
|
|
if self.invert {self.iter.next_back()} else {self.iter.next()}
|
|
|
|
}
|
2014-04-30 22:54:25 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-02-14 16:04:47 -08:00
|
|
|
fn size_hint(&self) -> (usize, Option<usize>) {
|
2014-09-22 16:23:00 -07:00
|
|
|
let (lower, upper_opt) = self.iter.size_hint();
|
2015-04-01 11:28:34 -07:00
|
|
|
(lower, upper_opt.map(|upper| cmp::min(self.count, upper)))
|
2014-04-30 22:54:25 -07:00
|
|
|
}
|
2014-06-30 13:58:53 -07:00
|
|
|
}
|
|
|
|
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
/// An iterator over subslices separated by elements that match a predicate
|
|
|
|
/// function, limited to a given number of splits.
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
pub struct SplitN<'a, T: 'a, P> where P: FnMut(&T) -> bool {
|
|
|
|
inner: GenericSplitN<Split<'a, T, P>>
|
|
|
|
}
|
|
|
|
|
|
|
|
/// An iterator over subslices separated by elements that match a
|
|
|
|
/// predicate function, limited to a given number of splits, starting
|
|
|
|
/// from the end of the slice.
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
pub struct RSplitN<'a, T: 'a, P> where P: FnMut(&T) -> bool {
|
|
|
|
inner: GenericSplitN<Split<'a, T, P>>
|
|
|
|
}
|
|
|
|
|
|
|
|
/// An iterator over subslices separated by elements that match a predicate
|
|
|
|
/// function, limited to a given number of splits.
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
pub struct SplitNMut<'a, T: 'a, P> where P: FnMut(&T) -> bool {
|
|
|
|
inner: GenericSplitN<SplitMut<'a, T, P>>
|
|
|
|
}
|
|
|
|
|
|
|
|
/// An iterator over subslices separated by elements that match a
|
|
|
|
/// predicate function, limited to a given number of splits, starting
|
|
|
|
/// from the end of the slice.
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
pub struct RSplitNMut<'a, T: 'a, P> where P: FnMut(&T) -> bool {
|
|
|
|
inner: GenericSplitN<SplitMut<'a, T, P>>
|
|
|
|
}
|
|
|
|
|
|
|
|
macro_rules! forward_iterator {
|
|
|
|
($name:ident: $elem:ident, $iter_of:ty) => {
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-12-29 16:18:41 -05:00
|
|
|
impl<'a, $elem, P> Iterator for $name<'a, $elem, P> where
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
P: FnMut(&T) -> bool
|
|
|
|
{
|
2014-12-29 16:18:41 -05:00
|
|
|
type Item = $iter_of;
|
|
|
|
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
#[inline]
|
|
|
|
fn next(&mut self) -> Option<$iter_of> {
|
|
|
|
self.inner.next()
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-02-14 16:04:47 -08:00
|
|
|
fn size_hint(&self) -> (usize, Option<usize>) {
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
self.inner.size_hint()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
forward_iterator! { SplitN: T, &'a [T] }
|
|
|
|
forward_iterator! { RSplitN: T, &'a [T] }
|
|
|
|
forward_iterator! { SplitNMut: T, &'a mut [T] }
|
|
|
|
forward_iterator! { RSplitNMut: T, &'a mut [T] }
|
|
|
|
|
2014-09-22 16:23:00 -07:00
|
|
|
/// An iterator over overlapping subslices of length `size`.
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-08-27 21:46:52 -04:00
|
|
|
pub struct Windows<'a, T:'a> {
|
|
|
|
v: &'a [T],
|
2015-02-14 16:04:47 -08:00
|
|
|
size: usize
|
2014-08-27 21:46:52 -04:00
|
|
|
}
|
|
|
|
|
2015-03-02 17:50:47 +11:00
|
|
|
// FIXME(#19839) Remove in favor of `#[derive(Clone)]`
|
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
|
|
|
impl<'a, T> Clone for Windows<'a, T> {
|
|
|
|
fn clone(&self) -> Windows<'a, T> {
|
|
|
|
Windows {
|
|
|
|
v: self.v,
|
|
|
|
size: self.size,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-12-29 16:18:41 -05:00
|
|
|
impl<'a, T> Iterator for Windows<'a, T> {
|
|
|
|
type Item = &'a [T];
|
|
|
|
|
2014-04-30 22:54:25 -07:00
|
|
|
#[inline]
|
2014-06-30 13:58:53 -07:00
|
|
|
fn next(&mut self) -> Option<&'a [T]> {
|
|
|
|
if self.size > self.v.len() {
|
|
|
|
None
|
|
|
|
} else {
|
2015-01-12 16:59:18 -05:00
|
|
|
let ret = Some(&self.v[..self.size]);
|
2015-01-07 11:58:31 -05:00
|
|
|
self.v = &self.v[1..];
|
2014-06-30 13:58:53 -07:00
|
|
|
ret
|
|
|
|
}
|
2014-04-30 22:54:25 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-02-14 16:04:47 -08:00
|
|
|
fn size_hint(&self) -> (usize, Option<usize>) {
|
2014-06-30 13:58:53 -07:00
|
|
|
if self.size > self.v.len() {
|
|
|
|
(0, Some(0))
|
|
|
|
} else {
|
2015-02-10 21:32:00 -06:00
|
|
|
let size = self.v.len() - self.size + 1;
|
|
|
|
(size, Some(size))
|
|
|
|
}
|
|
|
|
}
|
2015-08-07 00:10:31 -07:00
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn count(self) -> usize {
|
|
|
|
self.size_hint().0
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn nth(&mut self, n: usize) -> Option<Self::Item> {
|
|
|
|
let (end, overflow) = self.size.overflowing_add(n);
|
|
|
|
if end > self.v.len() || overflow {
|
|
|
|
self.v = &[];
|
|
|
|
None
|
|
|
|
} else {
|
|
|
|
let nth = &self.v[n..end];
|
|
|
|
self.v = &self.v[n+1..];
|
|
|
|
Some(nth)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn last(self) -> Option<Self::Item> {
|
|
|
|
if self.size > self.v.len() {
|
|
|
|
None
|
|
|
|
} else {
|
|
|
|
let start = self.v.len() - self.size;
|
|
|
|
Some(&self.v[start..])
|
|
|
|
}
|
|
|
|
}
|
2015-02-10 21:32:00 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
|
|
|
impl<'a, T> DoubleEndedIterator for Windows<'a, T> {
|
|
|
|
#[inline]
|
|
|
|
fn next_back(&mut self) -> Option<&'a [T]> {
|
|
|
|
if self.size > self.v.len() {
|
|
|
|
None
|
|
|
|
} else {
|
|
|
|
let ret = Some(&self.v[self.v.len()-self.size..]);
|
|
|
|
self.v = &self.v[..self.v.len()-1];
|
|
|
|
ret
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
|
|
|
impl<'a, T> ExactSizeIterator for Windows<'a, T> {}
|
|
|
|
|
2014-09-22 16:23:00 -07:00
|
|
|
/// An iterator over a slice in (non-overlapping) chunks (`size` elements at a
|
|
|
|
/// time).
|
2014-06-30 13:58:53 -07:00
|
|
|
///
|
2014-09-22 16:23:00 -07:00
|
|
|
/// When the slice len is not evenly divided by the chunk size, the last slice
|
|
|
|
/// of the iteration will be the remainder.
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-08-27 21:46:52 -04:00
|
|
|
pub struct Chunks<'a, T:'a> {
|
|
|
|
v: &'a [T],
|
2015-02-14 16:04:47 -08:00
|
|
|
size: usize
|
2014-08-27 21:46:52 -04:00
|
|
|
}
|
|
|
|
|
2015-03-02 17:50:47 +11:00
|
|
|
// FIXME(#19839) Remove in favor of `#[derive(Clone)]`
|
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
|
|
|
impl<'a, T> Clone for Chunks<'a, T> {
|
|
|
|
fn clone(&self) -> Chunks<'a, T> {
|
|
|
|
Chunks {
|
|
|
|
v: self.v,
|
|
|
|
size: self.size,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-12-29 16:18:41 -05:00
|
|
|
impl<'a, T> Iterator for Chunks<'a, T> {
|
|
|
|
type Item = &'a [T];
|
|
|
|
|
2014-04-30 22:54:25 -07:00
|
|
|
#[inline]
|
2014-06-30 13:58:53 -07:00
|
|
|
fn next(&mut self) -> Option<&'a [T]> {
|
2015-03-24 16:53:34 -07:00
|
|
|
if self.v.is_empty() {
|
2014-06-30 13:58:53 -07:00
|
|
|
None
|
|
|
|
} else {
|
|
|
|
let chunksz = cmp::min(self.v.len(), self.size);
|
2014-08-01 22:59:54 -04:00
|
|
|
let (fst, snd) = self.v.split_at(chunksz);
|
2014-06-30 13:58:53 -07:00
|
|
|
self.v = snd;
|
|
|
|
Some(fst)
|
2014-04-30 22:54:25 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-02-14 16:04:47 -08:00
|
|
|
fn size_hint(&self) -> (usize, Option<usize>) {
|
2015-03-24 16:53:34 -07:00
|
|
|
if self.v.is_empty() {
|
2014-06-30 13:58:53 -07:00
|
|
|
(0, Some(0))
|
|
|
|
} else {
|
2014-11-18 20:22:13 -08:00
|
|
|
let n = self.v.len() / self.size;
|
|
|
|
let rem = self.v.len() % self.size;
|
2014-06-30 13:58:53 -07:00
|
|
|
let n = if rem > 0 { n+1 } else { n };
|
|
|
|
(n, Some(n))
|
|
|
|
}
|
2014-04-30 22:54:25 -07:00
|
|
|
}
|
2015-08-07 00:10:31 -07:00
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn count(self) -> usize {
|
|
|
|
self.size_hint().0
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn nth(&mut self, n: usize) -> Option<Self::Item> {
|
|
|
|
let (start, overflow) = n.overflowing_mul(self.size);
|
|
|
|
if start >= self.v.len() || overflow {
|
|
|
|
self.v = &[];
|
|
|
|
None
|
|
|
|
} else {
|
|
|
|
let end = match start.checked_add(self.size) {
|
|
|
|
Some(sum) => cmp::min(self.v.len(), sum),
|
|
|
|
None => self.v.len(),
|
|
|
|
};
|
|
|
|
let nth = &self.v[start..end];
|
|
|
|
self.v = &self.v[end..];
|
|
|
|
Some(nth)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn last(self) -> Option<Self::Item> {
|
|
|
|
if self.v.is_empty() {
|
|
|
|
None
|
|
|
|
} else {
|
|
|
|
let start = (self.v.len() - 1) / self.size * self.size;
|
|
|
|
Some(&self.v[start..])
|
|
|
|
}
|
|
|
|
}
|
2014-06-30 13:58:53 -07:00
|
|
|
}
|
2014-04-30 22:54:25 -07:00
|
|
|
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-12-29 16:18:41 -05:00
|
|
|
impl<'a, T> DoubleEndedIterator for Chunks<'a, T> {
|
2014-04-30 22:54:25 -07:00
|
|
|
#[inline]
|
2014-06-30 13:58:53 -07:00
|
|
|
fn next_back(&mut self) -> Option<&'a [T]> {
|
2015-03-24 16:53:34 -07:00
|
|
|
if self.v.is_empty() {
|
2014-06-30 13:58:53 -07:00
|
|
|
None
|
|
|
|
} else {
|
|
|
|
let remainder = self.v.len() % self.size;
|
|
|
|
let chunksz = if remainder != 0 { remainder } else { self.size };
|
2014-08-01 22:59:54 -04:00
|
|
|
let (fst, snd) = self.v.split_at(self.v.len() - chunksz);
|
2014-06-30 13:58:53 -07:00
|
|
|
self.v = fst;
|
|
|
|
Some(snd)
|
|
|
|
}
|
2014-04-30 22:54:25 -07:00
|
|
|
}
|
2014-06-30 13:58:53 -07:00
|
|
|
}
|
2014-04-30 22:54:25 -07:00
|
|
|
|
2015-01-24 09:15:42 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-01-12 17:08:53 -05:00
|
|
|
impl<'a, T> ExactSizeIterator for Chunks<'a, T> {}
|
|
|
|
|
2014-09-22 16:23:00 -07:00
|
|
|
/// An iterator over a slice in (non-overlapping) mutable chunks (`size`
|
|
|
|
/// elements at a time). When the slice len is not evenly divided by the chunk
|
|
|
|
/// size, the last slice of the iteration will be the remainder.
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
Second pass stabilization: slice
This commit takes a second pass through the `slice` module to
stabilize its API. The changes are as follows:
**Stable**:
* `as_mut_slice`
* `as_ptr`, `as_mut_ptr`
* `binary_search_by` (was: `binary_search`)
* `binary_search` (was: `binary_search_elem`)
* `chunks`, `chunks_mut`
* `contains`
* `ends_with`
* `first`, `first_mut` (was: `head`)
* `get_unchecked`, `get_unchecked_mut` (was: `unsafe_get`)
* `get`
* `is_empty`
* `iter`, `iter_mut`
* `len`
* `reverse`
* `sort_by`
* `sort`
* `split_at`, `split_at_mut`
* `split_mut`, `splitn_mut`, `rsplitn_mut`
* `split`, `splitn`, `rsplitn`
* `starts_with`
* `swap`
* `to_vec`
* `windows`
**Deprecated**:
* `head`, `head_mut` (renamed as above)
* `unsafe_get`, `unsafe_mut` (renamed as above)
* `binary_search_elem` (renamed as above)
* `partitioned`, deprecated in favor of a new, more
general iterator consumer called `partition`.
* `BinarySearchResult`, deprecated in favor of `Result<uint, uint>`
[breaking-change]
2014-12-17 20:50:16 -08:00
|
|
|
pub struct ChunksMut<'a, T:'a> {
|
2014-08-27 21:46:52 -04:00
|
|
|
v: &'a mut [T],
|
2015-02-14 16:04:47 -08:00
|
|
|
chunk_size: usize
|
2014-08-27 21:46:52 -04:00
|
|
|
}
|
|
|
|
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-12-29 16:18:41 -05:00
|
|
|
impl<'a, T> Iterator for ChunksMut<'a, T> {
|
|
|
|
type Item = &'a mut [T];
|
|
|
|
|
2014-06-30 13:58:53 -07:00
|
|
|
#[inline]
|
|
|
|
fn next(&mut self) -> Option<&'a mut [T]> {
|
2015-03-24 16:53:34 -07:00
|
|
|
if self.v.is_empty() {
|
2014-06-30 13:58:53 -07:00
|
|
|
None
|
|
|
|
} else {
|
|
|
|
let sz = cmp::min(self.v.len(), self.chunk_size);
|
|
|
|
let tmp = mem::replace(&mut self.v, &mut []);
|
2014-09-14 20:27:36 -07:00
|
|
|
let (head, tail) = tmp.split_at_mut(sz);
|
2014-06-30 13:58:53 -07:00
|
|
|
self.v = tail;
|
|
|
|
Some(head)
|
2014-04-30 22:54:25 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-02-14 16:04:47 -08:00
|
|
|
fn size_hint(&self) -> (usize, Option<usize>) {
|
2015-03-24 16:53:34 -07:00
|
|
|
if self.v.is_empty() {
|
2014-06-30 13:58:53 -07:00
|
|
|
(0, Some(0))
|
|
|
|
} else {
|
2014-11-18 20:22:13 -08:00
|
|
|
let n = self.v.len() / self.chunk_size;
|
|
|
|
let rem = self.v.len() % self.chunk_size;
|
2014-06-30 13:58:53 -07:00
|
|
|
let n = if rem > 0 { n + 1 } else { n };
|
|
|
|
(n, Some(n))
|
|
|
|
}
|
2014-04-30 22:54:25 -07:00
|
|
|
}
|
2015-08-07 00:10:31 -07:00
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn count(self) -> usize {
|
|
|
|
self.size_hint().0
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn nth(&mut self, n: usize) -> Option<&'a mut [T]> {
|
|
|
|
let (start, overflow) = n.overflowing_mul(self.chunk_size);
|
|
|
|
if start >= self.v.len() || overflow {
|
|
|
|
self.v = &mut [];
|
|
|
|
None
|
|
|
|
} else {
|
|
|
|
let end = match start.checked_add(self.chunk_size) {
|
|
|
|
Some(sum) => cmp::min(self.v.len(), sum),
|
|
|
|
None => self.v.len(),
|
|
|
|
};
|
|
|
|
let tmp = mem::replace(&mut self.v, &mut []);
|
|
|
|
let (head, tail) = tmp.split_at_mut(end);
|
|
|
|
let (_, nth) = head.split_at_mut(start);
|
|
|
|
self.v = tail;
|
|
|
|
Some(nth)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn last(self) -> Option<Self::Item> {
|
|
|
|
if self.v.is_empty() {
|
|
|
|
None
|
|
|
|
} else {
|
|
|
|
let start = (self.v.len() - 1) / self.chunk_size * self.chunk_size;
|
|
|
|
Some(&mut self.v[start..])
|
|
|
|
}
|
|
|
|
}
|
2014-06-30 13:58:53 -07:00
|
|
|
}
|
2014-04-30 22:54:25 -07:00
|
|
|
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-12-29 16:18:41 -05:00
|
|
|
impl<'a, T> DoubleEndedIterator for ChunksMut<'a, T> {
|
2014-04-30 22:54:25 -07:00
|
|
|
#[inline]
|
2014-06-30 13:58:53 -07:00
|
|
|
fn next_back(&mut self) -> Option<&'a mut [T]> {
|
2015-03-24 16:53:34 -07:00
|
|
|
if self.v.is_empty() {
|
2014-06-30 13:58:53 -07:00
|
|
|
None
|
|
|
|
} else {
|
|
|
|
let remainder = self.v.len() % self.chunk_size;
|
|
|
|
let sz = if remainder != 0 { remainder } else { self.chunk_size };
|
|
|
|
let tmp = mem::replace(&mut self.v, &mut []);
|
|
|
|
let tmp_len = tmp.len();
|
2014-09-14 20:27:36 -07:00
|
|
|
let (head, tail) = tmp.split_at_mut(tmp_len - sz);
|
2014-06-30 13:58:53 -07:00
|
|
|
self.v = head;
|
|
|
|
Some(tail)
|
|
|
|
}
|
2014-04-30 22:54:25 -07:00
|
|
|
}
|
2014-06-30 13:58:53 -07:00
|
|
|
}
|
2014-04-30 22:54:25 -07:00
|
|
|
|
2015-01-24 09:15:42 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-01-12 17:08:53 -05:00
|
|
|
impl<'a, T> ExactSizeIterator for ChunksMut<'a, T> {}
|
2014-04-30 22:54:25 -07:00
|
|
|
|
2014-06-30 13:58:53 -07:00
|
|
|
//
|
|
|
|
// Free functions
|
|
|
|
//
|
2014-04-30 22:54:25 -07:00
|
|
|
|
2015-09-25 13:01:31 +02:00
|
|
|
/// Converts a reference to A into a slice of length 1 (without copying).
|
2015-08-12 17:23:48 -07:00
|
|
|
#[unstable(feature = "ref_slice", issue = "27774")]
|
std: Stabilize library APIs for 1.5
This commit stabilizes and deprecates library APIs whose FCP has closed in the
last cycle, specifically:
Stabilized APIs:
* `fs::canonicalize`
* `Path::{metadata, symlink_metadata, canonicalize, read_link, read_dir, exists,
is_file, is_dir}` - all moved to inherent methods from the `PathExt` trait.
* `Formatter::fill`
* `Formatter::width`
* `Formatter::precision`
* `Formatter::sign_plus`
* `Formatter::sign_minus`
* `Formatter::alternate`
* `Formatter::sign_aware_zero_pad`
* `string::ParseError`
* `Utf8Error::valid_up_to`
* `Iterator::{cmp, partial_cmp, eq, ne, lt, le, gt, ge}`
* `<[T]>::split_{first,last}{,_mut}`
* `Condvar::wait_timeout` - note that `wait_timeout_ms` is not yet deprecated
but will be once 1.5 is released.
* `str::{R,}MatchIndices`
* `str::{r,}match_indices`
* `char::from_u32_unchecked`
* `VecDeque::insert`
* `VecDeque::shrink_to_fit`
* `VecDeque::as_slices`
* `VecDeque::as_mut_slices`
* `VecDeque::swap_remove_front` - (renamed from `swap_front_remove`)
* `VecDeque::swap_remove_back` - (renamed from `swap_back_remove`)
* `Vec::resize`
* `str::slice_mut_unchecked`
* `FileTypeExt`
* `FileTypeExt::{is_block_device, is_char_device, is_fifo, is_socket}`
* `BinaryHeap::from` - `from_vec` deprecated in favor of this
* `BinaryHeap::into_vec` - plus a `Into` impl
* `BinaryHeap::into_sorted_vec`
Deprecated APIs
* `slice::ref_slice`
* `slice::mut_ref_slice`
* `iter::{range_inclusive, RangeInclusive}`
* `std::dynamic_lib`
Closes #27706
Closes #27725
cc #27726 (align not stabilized yet)
Closes #27734
Closes #27737
Closes #27742
Closes #27743
Closes #27772
Closes #27774
Closes #27777
Closes #27781
cc #27788 (a few remaining methods though)
Closes #27790
Closes #27793
Closes #27796
Closes #27810
cc #28147 (not all parts stabilized)
2015-10-22 16:28:45 -07:00
|
|
|
#[deprecated(since = "1.5.0", reason = "unclear whether belongs in libstd")]
|
2015-09-03 15:19:08 +05:30
|
|
|
pub fn ref_slice<A>(s: &A) -> &[A] {
|
2014-06-30 13:58:53 -07:00
|
|
|
unsafe {
|
2015-03-13 09:56:18 +01:00
|
|
|
from_raw_parts(s, 1)
|
2014-06-30 13:58:53 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-09-25 13:01:31 +02:00
|
|
|
/// Converts a reference to A into a slice of length 1 (without copying).
|
2015-08-12 17:23:48 -07:00
|
|
|
#[unstable(feature = "ref_slice", issue = "27774")]
|
std: Stabilize library APIs for 1.5
This commit stabilizes and deprecates library APIs whose FCP has closed in the
last cycle, specifically:
Stabilized APIs:
* `fs::canonicalize`
* `Path::{metadata, symlink_metadata, canonicalize, read_link, read_dir, exists,
is_file, is_dir}` - all moved to inherent methods from the `PathExt` trait.
* `Formatter::fill`
* `Formatter::width`
* `Formatter::precision`
* `Formatter::sign_plus`
* `Formatter::sign_minus`
* `Formatter::alternate`
* `Formatter::sign_aware_zero_pad`
* `string::ParseError`
* `Utf8Error::valid_up_to`
* `Iterator::{cmp, partial_cmp, eq, ne, lt, le, gt, ge}`
* `<[T]>::split_{first,last}{,_mut}`
* `Condvar::wait_timeout` - note that `wait_timeout_ms` is not yet deprecated
but will be once 1.5 is released.
* `str::{R,}MatchIndices`
* `str::{r,}match_indices`
* `char::from_u32_unchecked`
* `VecDeque::insert`
* `VecDeque::shrink_to_fit`
* `VecDeque::as_slices`
* `VecDeque::as_mut_slices`
* `VecDeque::swap_remove_front` - (renamed from `swap_front_remove`)
* `VecDeque::swap_remove_back` - (renamed from `swap_back_remove`)
* `Vec::resize`
* `str::slice_mut_unchecked`
* `FileTypeExt`
* `FileTypeExt::{is_block_device, is_char_device, is_fifo, is_socket}`
* `BinaryHeap::from` - `from_vec` deprecated in favor of this
* `BinaryHeap::into_vec` - plus a `Into` impl
* `BinaryHeap::into_sorted_vec`
Deprecated APIs
* `slice::ref_slice`
* `slice::mut_ref_slice`
* `iter::{range_inclusive, RangeInclusive}`
* `std::dynamic_lib`
Closes #27706
Closes #27725
cc #27726 (align not stabilized yet)
Closes #27734
Closes #27737
Closes #27742
Closes #27743
Closes #27772
Closes #27774
Closes #27777
Closes #27781
cc #27788 (a few remaining methods though)
Closes #27790
Closes #27793
Closes #27796
Closes #27810
cc #28147 (not all parts stabilized)
2015-10-22 16:28:45 -07:00
|
|
|
#[deprecated(since = "1.5.0", reason = "unclear whether belongs in libstd")]
|
2015-09-03 15:19:08 +05:30
|
|
|
pub fn mut_ref_slice<A>(s: &mut A) -> &mut [A] {
|
2014-06-30 13:58:53 -07:00
|
|
|
unsafe {
|
2015-03-13 09:56:18 +01:00
|
|
|
from_raw_parts_mut(s, 1)
|
2014-04-30 22:54:25 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-02-04 01:00:38 +02:00
|
|
|
/// Forms a slice from a pointer and a length.
|
|
|
|
///
|
|
|
|
/// The `len` argument is the number of **elements**, not the number of bytes.
|
|
|
|
///
|
2015-10-23 11:42:14 -04:00
|
|
|
/// # Safety
|
2015-07-08 13:04:41 -04:00
|
|
|
///
|
2015-02-04 01:00:38 +02:00
|
|
|
/// This function is unsafe as there is no guarantee that the given pointer is
|
|
|
|
/// valid for `len` elements, nor whether the lifetime inferred is a suitable
|
|
|
|
/// lifetime for the returned slice.
|
|
|
|
///
|
2015-07-08 13:04:41 -04:00
|
|
|
/// `p` must be non-null, even for zero-length slices.
|
|
|
|
///
|
2015-02-04 01:00:38 +02:00
|
|
|
/// # Caveat
|
|
|
|
///
|
|
|
|
/// The lifetime for the returned slice is inferred from its usage. To
|
|
|
|
/// prevent accidental misuse, it's suggested to tie the lifetime to whichever
|
|
|
|
/// source lifetime is safe in the context, such as by providing a helper
|
|
|
|
/// function taking the lifetime of a host value for the slice, or by explicit
|
|
|
|
/// annotation.
|
|
|
|
///
|
2015-03-11 21:11:40 -04:00
|
|
|
/// # Examples
|
2015-02-04 01:00:38 +02:00
|
|
|
///
|
2015-03-12 22:42:38 -04:00
|
|
|
/// ```
|
2015-02-04 01:00:38 +02:00
|
|
|
/// use std::slice;
|
|
|
|
///
|
|
|
|
/// // manifest a slice out of thin air!
|
2015-02-14 16:04:47 -08:00
|
|
|
/// let ptr = 0x1234 as *const usize;
|
2015-02-04 01:00:38 +02:00
|
|
|
/// let amt = 10;
|
|
|
|
/// unsafe {
|
|
|
|
/// let slice = slice::from_raw_parts(ptr, amt);
|
|
|
|
/// }
|
|
|
|
/// ```
|
|
|
|
#[inline]
|
2015-03-10 13:45:08 -07:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-14 16:04:47 -08:00
|
|
|
pub unsafe fn from_raw_parts<'a, T>(p: *const T, len: usize) -> &'a [T] {
|
2015-07-24 03:04:55 +02:00
|
|
|
mem::transmute(RawSlice { data: p, len: len })
|
2015-02-04 01:00:38 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Performs the same functionality as `from_raw_parts`, except that a mutable
|
|
|
|
/// slice is returned.
|
|
|
|
///
|
|
|
|
/// This function is unsafe for the same reasons as `from_raw_parts`, as well
|
|
|
|
/// as not being able to provide a non-aliasing guarantee of the returned
|
|
|
|
/// mutable slice.
|
|
|
|
#[inline]
|
2015-03-10 13:45:08 -07:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-14 16:04:47 -08:00
|
|
|
pub unsafe fn from_raw_parts_mut<'a, T>(p: *mut T, len: usize) -> &'a mut [T] {
|
2015-07-24 03:04:55 +02:00
|
|
|
mem::transmute(RawSlice { data: p, len: len })
|
|
|
|
}
|
|
|
|
|
2014-06-30 13:58:53 -07:00
|
|
|
//
|
|
|
|
// Submodules
|
|
|
|
//
|
|
|
|
|
2014-04-30 22:54:25 -07:00
|
|
|
/// Operations on `[u8]`.
|
2015-08-12 17:23:48 -07:00
|
|
|
#[unstable(feature = "slice_bytes", reason = "needs review",
|
|
|
|
issue = "27740")]
|
2014-04-30 22:54:25 -07:00
|
|
|
pub mod bytes {
|
|
|
|
use ptr;
|
2014-12-11 09:44:17 -08:00
|
|
|
use slice::SliceExt;
|
2014-04-30 22:54:25 -07:00
|
|
|
|
|
|
|
/// A trait for operations on mutable `[u8]`s.
|
2015-01-04 21:39:02 -05:00
|
|
|
pub trait MutableByteVector {
|
2014-04-30 22:54:25 -07:00
|
|
|
/// Sets all bytes of the receiver to the given value.
|
2014-10-23 10:43:18 -05:00
|
|
|
fn set_memory(&mut self, value: u8);
|
2014-04-30 22:54:25 -07:00
|
|
|
}
|
|
|
|
|
2014-10-23 10:43:18 -05:00
|
|
|
impl MutableByteVector for [u8] {
|
2014-04-30 22:54:25 -07:00
|
|
|
#[inline]
|
2014-10-23 10:43:18 -05:00
|
|
|
fn set_memory(&mut self, value: u8) {
|
2015-02-23 11:39:16 -08:00
|
|
|
unsafe { ptr::write_bytes(self.as_mut_ptr(), value, self.len()) };
|
2014-04-30 22:54:25 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Copies data from `src` to `dst`
|
|
|
|
///
|
2014-12-02 17:32:37 -08:00
|
|
|
/// Panics if the length of `dst` is less than the length of `src`.
|
2014-04-30 22:54:25 -07:00
|
|
|
#[inline]
|
2015-03-27 11:12:28 -07:00
|
|
|
pub fn copy_memory(src: &[u8], dst: &mut [u8]) {
|
2014-10-14 23:05:01 -07:00
|
|
|
let len_src = src.len();
|
|
|
|
assert!(dst.len() >= len_src);
|
2014-12-02 17:32:37 -08:00
|
|
|
// `dst` is unaliasable, so we know statically it doesn't overlap
|
|
|
|
// with `src`.
|
2014-10-14 23:05:01 -07:00
|
|
|
unsafe {
|
2015-03-27 11:12:28 -07:00
|
|
|
ptr::copy_nonoverlapping(src.as_ptr(),
|
|
|
|
dst.as_mut_ptr(),
|
2015-02-23 11:39:16 -08:00
|
|
|
len_src);
|
2014-10-14 23:05:01 -07:00
|
|
|
}
|
2014-04-30 22:54:25 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
2014-06-30 13:58:53 -07:00
|
|
|
//
|
|
|
|
// Boilerplate traits
|
|
|
|
//
|
2014-04-30 22:54:25 -07:00
|
|
|
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-11-21 00:14:05 -05:00
|
|
|
impl<A, B> PartialEq<[B]> for [A] where A: PartialEq<B> {
|
|
|
|
fn eq(&self, other: &[B]) -> bool {
|
Improve PartialEq for slices
Exploiting the fact that getting the length of the slices is known, we
can use a counted loop instead of iterators, which means that we only
need a single counter, instead of having to increment and check one
pointer for each iterator.
Benchmarks comparing vectors with 100,000 elements:
Before:
```
running 8 tests
test eq1_u8 ... bench: 66,757 ns/iter (+/- 113)
test eq2_u16 ... bench: 111,267 ns/iter (+/- 149)
test eq3_u32 ... bench: 126,282 ns/iter (+/- 111)
test eq4_u64 ... bench: 126,418 ns/iter (+/- 155)
test ne1_u8 ... bench: 88,990 ns/iter (+/- 161)
test ne2_u16 ... bench: 89,126 ns/iter (+/- 265)
test ne3_u32 ... bench: 96,901 ns/iter (+/- 92)
test ne4_u64 ... bench: 96,750 ns/iter (+/- 137)
```
After:
```
running 8 tests
test eq1_u8 ... bench: 46,413 ns/iter (+/- 521)
test eq2_u16 ... bench: 46,500 ns/iter (+/- 74)
test eq3_u32 ... bench: 50,059 ns/iter (+/- 92)
test eq4_u64 ... bench: 54,001 ns/iter (+/- 92)
test ne1_u8 ... bench: 47,595 ns/iter (+/- 53)
test ne2_u16 ... bench: 47,521 ns/iter (+/- 59)
test ne3_u32 ... bench: 44,889 ns/iter (+/- 74)
test ne4_u64 ... bench: 47,775 ns/iter (+/- 68)
```
2015-07-08 14:49:55 +02:00
|
|
|
if self.len() != other.len() {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
for i in 0..self.len() {
|
|
|
|
if !self[i].eq(&other[i]) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
true
|
2014-10-29 20:11:16 -05:00
|
|
|
}
|
2014-11-21 00:14:05 -05:00
|
|
|
fn ne(&self, other: &[B]) -> bool {
|
Improve PartialEq for slices
Exploiting the fact that getting the length of the slices is known, we
can use a counted loop instead of iterators, which means that we only
need a single counter, instead of having to increment and check one
pointer for each iterator.
Benchmarks comparing vectors with 100,000 elements:
Before:
```
running 8 tests
test eq1_u8 ... bench: 66,757 ns/iter (+/- 113)
test eq2_u16 ... bench: 111,267 ns/iter (+/- 149)
test eq3_u32 ... bench: 126,282 ns/iter (+/- 111)
test eq4_u64 ... bench: 126,418 ns/iter (+/- 155)
test ne1_u8 ... bench: 88,990 ns/iter (+/- 161)
test ne2_u16 ... bench: 89,126 ns/iter (+/- 265)
test ne3_u32 ... bench: 96,901 ns/iter (+/- 92)
test ne4_u64 ... bench: 96,750 ns/iter (+/- 137)
```
After:
```
running 8 tests
test eq1_u8 ... bench: 46,413 ns/iter (+/- 521)
test eq2_u16 ... bench: 46,500 ns/iter (+/- 74)
test eq3_u32 ... bench: 50,059 ns/iter (+/- 92)
test eq4_u64 ... bench: 54,001 ns/iter (+/- 92)
test ne1_u8 ... bench: 47,595 ns/iter (+/- 53)
test ne2_u16 ... bench: 47,521 ns/iter (+/- 59)
test ne3_u32 ... bench: 44,889 ns/iter (+/- 74)
test ne4_u64 ... bench: 47,775 ns/iter (+/- 68)
```
2015-07-08 14:49:55 +02:00
|
|
|
if self.len() != other.len() {
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
for i in 0..self.len() {
|
|
|
|
if self[i].ne(&other[i]) {
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
false
|
2014-10-29 20:11:16 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-10-29 20:11:16 -05:00
|
|
|
impl<T: Eq> Eq for [T] {}
|
|
|
|
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-10-29 20:11:16 -05:00
|
|
|
impl<T: Ord> Ord for [T] {
|
|
|
|
fn cmp(&self, other: &[T]) -> Ordering {
|
Improve PartialOrd for slices
Reusing the same idea as in #26884, we can exploit the fact that the
length of slices is known, hence we can use a counted loop instead of
iterators, which means that we only need a single counter, instead of
having to increment and check one pointer for each iterator.
Using the generic implementation of the boolean comparison operators
(`lt`, `le`, `gt`, `ge`) provides further speedup for simple
types. This happens because the loop scans elements checking for
equality and dispatches to element comparison or length comparison
depending on the result of the prefix comparison.
```
test u8_cmp ... bench: 14,043 ns/iter (+/- 1,732)
test u8_lt ... bench: 16,156 ns/iter (+/- 1,864)
test u8_partial_cmp ... bench: 16,250 ns/iter (+/- 2,608)
test u16_cmp ... bench: 15,764 ns/iter (+/- 1,420)
test u16_lt ... bench: 19,833 ns/iter (+/- 2,826)
test u16_partial_cmp ... bench: 19,811 ns/iter (+/- 2,240)
test u32_cmp ... bench: 15,792 ns/iter (+/- 3,409)
test u32_lt ... bench: 18,577 ns/iter (+/- 2,075)
test u32_partial_cmp ... bench: 18,603 ns/iter (+/- 5,666)
test u64_cmp ... bench: 16,337 ns/iter (+/- 2,511)
test u64_lt ... bench: 18,074 ns/iter (+/- 7,914)
test u64_partial_cmp ... bench: 17,909 ns/iter (+/- 1,105)
```
```
test u8_cmp ... bench: 6,511 ns/iter (+/- 982)
test u8_lt ... bench: 6,671 ns/iter (+/- 919)
test u8_partial_cmp ... bench: 7,118 ns/iter (+/- 1,623)
test u16_cmp ... bench: 6,689 ns/iter (+/- 921)
test u16_lt ... bench: 6,712 ns/iter (+/- 947)
test u16_partial_cmp ... bench: 6,725 ns/iter (+/- 780)
test u32_cmp ... bench: 7,704 ns/iter (+/- 1,294)
test u32_lt ... bench: 7,611 ns/iter (+/- 3,062)
test u32_partial_cmp ... bench: 7,640 ns/iter (+/- 1,149)
test u64_cmp ... bench: 7,517 ns/iter (+/- 2,164)
test u64_lt ... bench: 7,579 ns/iter (+/- 1,048)
test u64_partial_cmp ... bench: 7,629 ns/iter (+/- 1,195)
```
2015-09-15 23:20:18 +02:00
|
|
|
let l = cmp::min(self.len(), other.len());
|
2015-09-16 16:09:23 +02:00
|
|
|
|
|
|
|
// Slice to the loop iteration range to enable bound check
|
|
|
|
// elimination in the compiler
|
Remove boundary checks in slice comparison operators
In order to get rid of all range checks, the compiler needs to
explicitly see that the slices it iterates over are as long as the
loop variable upper bound.
This further improves the performance of slice comparison:
```
test u8_cmp ... bench: 4,761 ns/iter (+/- 1,203)
test u8_lt ... bench: 4,579 ns/iter (+/- 649)
test u8_partial_cmp ... bench: 4,768 ns/iter (+/- 761)
test u16_cmp ... bench: 4,607 ns/iter (+/- 580)
test u16_lt ... bench: 4,681 ns/iter (+/- 567)
test u16_partial_cmp ... bench: 4,607 ns/iter (+/- 967)
test u32_cmp ... bench: 4,448 ns/iter (+/- 891)
test u32_lt ... bench: 4,546 ns/iter (+/- 992)
test u32_partial_cmp ... bench: 4,415 ns/iter (+/- 646)
test u64_cmp ... bench: 4,380 ns/iter (+/- 1,184)
test u64_lt ... bench: 5,684 ns/iter (+/- 602)
test u64_partial_cmp ... bench: 4,663 ns/iter (+/- 1,158)
```
2015-09-16 15:27:14 +02:00
|
|
|
let lhs = &self[..l];
|
|
|
|
let rhs = &other[..l];
|
Improve PartialOrd for slices
Reusing the same idea as in #26884, we can exploit the fact that the
length of slices is known, hence we can use a counted loop instead of
iterators, which means that we only need a single counter, instead of
having to increment and check one pointer for each iterator.
Using the generic implementation of the boolean comparison operators
(`lt`, `le`, `gt`, `ge`) provides further speedup for simple
types. This happens because the loop scans elements checking for
equality and dispatches to element comparison or length comparison
depending on the result of the prefix comparison.
```
test u8_cmp ... bench: 14,043 ns/iter (+/- 1,732)
test u8_lt ... bench: 16,156 ns/iter (+/- 1,864)
test u8_partial_cmp ... bench: 16,250 ns/iter (+/- 2,608)
test u16_cmp ... bench: 15,764 ns/iter (+/- 1,420)
test u16_lt ... bench: 19,833 ns/iter (+/- 2,826)
test u16_partial_cmp ... bench: 19,811 ns/iter (+/- 2,240)
test u32_cmp ... bench: 15,792 ns/iter (+/- 3,409)
test u32_lt ... bench: 18,577 ns/iter (+/- 2,075)
test u32_partial_cmp ... bench: 18,603 ns/iter (+/- 5,666)
test u64_cmp ... bench: 16,337 ns/iter (+/- 2,511)
test u64_lt ... bench: 18,074 ns/iter (+/- 7,914)
test u64_partial_cmp ... bench: 17,909 ns/iter (+/- 1,105)
```
```
test u8_cmp ... bench: 6,511 ns/iter (+/- 982)
test u8_lt ... bench: 6,671 ns/iter (+/- 919)
test u8_partial_cmp ... bench: 7,118 ns/iter (+/- 1,623)
test u16_cmp ... bench: 6,689 ns/iter (+/- 921)
test u16_lt ... bench: 6,712 ns/iter (+/- 947)
test u16_partial_cmp ... bench: 6,725 ns/iter (+/- 780)
test u32_cmp ... bench: 7,704 ns/iter (+/- 1,294)
test u32_lt ... bench: 7,611 ns/iter (+/- 3,062)
test u32_partial_cmp ... bench: 7,640 ns/iter (+/- 1,149)
test u64_cmp ... bench: 7,517 ns/iter (+/- 2,164)
test u64_lt ... bench: 7,579 ns/iter (+/- 1,048)
test u64_partial_cmp ... bench: 7,629 ns/iter (+/- 1,195)
```
2015-09-15 23:20:18 +02:00
|
|
|
|
|
|
|
for i in 0..l {
|
Remove boundary checks in slice comparison operators
In order to get rid of all range checks, the compiler needs to
explicitly see that the slices it iterates over are as long as the
loop variable upper bound.
This further improves the performance of slice comparison:
```
test u8_cmp ... bench: 4,761 ns/iter (+/- 1,203)
test u8_lt ... bench: 4,579 ns/iter (+/- 649)
test u8_partial_cmp ... bench: 4,768 ns/iter (+/- 761)
test u16_cmp ... bench: 4,607 ns/iter (+/- 580)
test u16_lt ... bench: 4,681 ns/iter (+/- 567)
test u16_partial_cmp ... bench: 4,607 ns/iter (+/- 967)
test u32_cmp ... bench: 4,448 ns/iter (+/- 891)
test u32_lt ... bench: 4,546 ns/iter (+/- 992)
test u32_partial_cmp ... bench: 4,415 ns/iter (+/- 646)
test u64_cmp ... bench: 4,380 ns/iter (+/- 1,184)
test u64_lt ... bench: 5,684 ns/iter (+/- 602)
test u64_partial_cmp ... bench: 4,663 ns/iter (+/- 1,158)
```
2015-09-16 15:27:14 +02:00
|
|
|
match lhs[i].cmp(&rhs[i]) {
|
Improve PartialOrd for slices
Reusing the same idea as in #26884, we can exploit the fact that the
length of slices is known, hence we can use a counted loop instead of
iterators, which means that we only need a single counter, instead of
having to increment and check one pointer for each iterator.
Using the generic implementation of the boolean comparison operators
(`lt`, `le`, `gt`, `ge`) provides further speedup for simple
types. This happens because the loop scans elements checking for
equality and dispatches to element comparison or length comparison
depending on the result of the prefix comparison.
```
test u8_cmp ... bench: 14,043 ns/iter (+/- 1,732)
test u8_lt ... bench: 16,156 ns/iter (+/- 1,864)
test u8_partial_cmp ... bench: 16,250 ns/iter (+/- 2,608)
test u16_cmp ... bench: 15,764 ns/iter (+/- 1,420)
test u16_lt ... bench: 19,833 ns/iter (+/- 2,826)
test u16_partial_cmp ... bench: 19,811 ns/iter (+/- 2,240)
test u32_cmp ... bench: 15,792 ns/iter (+/- 3,409)
test u32_lt ... bench: 18,577 ns/iter (+/- 2,075)
test u32_partial_cmp ... bench: 18,603 ns/iter (+/- 5,666)
test u64_cmp ... bench: 16,337 ns/iter (+/- 2,511)
test u64_lt ... bench: 18,074 ns/iter (+/- 7,914)
test u64_partial_cmp ... bench: 17,909 ns/iter (+/- 1,105)
```
```
test u8_cmp ... bench: 6,511 ns/iter (+/- 982)
test u8_lt ... bench: 6,671 ns/iter (+/- 919)
test u8_partial_cmp ... bench: 7,118 ns/iter (+/- 1,623)
test u16_cmp ... bench: 6,689 ns/iter (+/- 921)
test u16_lt ... bench: 6,712 ns/iter (+/- 947)
test u16_partial_cmp ... bench: 6,725 ns/iter (+/- 780)
test u32_cmp ... bench: 7,704 ns/iter (+/- 1,294)
test u32_lt ... bench: 7,611 ns/iter (+/- 3,062)
test u32_partial_cmp ... bench: 7,640 ns/iter (+/- 1,149)
test u64_cmp ... bench: 7,517 ns/iter (+/- 2,164)
test u64_lt ... bench: 7,579 ns/iter (+/- 1,048)
test u64_partial_cmp ... bench: 7,629 ns/iter (+/- 1,195)
```
2015-09-15 23:20:18 +02:00
|
|
|
Ordering::Equal => (),
|
|
|
|
non_eq => return non_eq,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
self.len().cmp(&other.len())
|
2014-10-29 20:11:16 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-23 21:48:20 -08:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-10-29 20:11:16 -05:00
|
|
|
impl<T: PartialOrd> PartialOrd for [T] {
|
|
|
|
fn partial_cmp(&self, other: &[T]) -> Option<Ordering> {
|
Improve PartialOrd for slices
Reusing the same idea as in #26884, we can exploit the fact that the
length of slices is known, hence we can use a counted loop instead of
iterators, which means that we only need a single counter, instead of
having to increment and check one pointer for each iterator.
Using the generic implementation of the boolean comparison operators
(`lt`, `le`, `gt`, `ge`) provides further speedup for simple
types. This happens because the loop scans elements checking for
equality and dispatches to element comparison or length comparison
depending on the result of the prefix comparison.
```
test u8_cmp ... bench: 14,043 ns/iter (+/- 1,732)
test u8_lt ... bench: 16,156 ns/iter (+/- 1,864)
test u8_partial_cmp ... bench: 16,250 ns/iter (+/- 2,608)
test u16_cmp ... bench: 15,764 ns/iter (+/- 1,420)
test u16_lt ... bench: 19,833 ns/iter (+/- 2,826)
test u16_partial_cmp ... bench: 19,811 ns/iter (+/- 2,240)
test u32_cmp ... bench: 15,792 ns/iter (+/- 3,409)
test u32_lt ... bench: 18,577 ns/iter (+/- 2,075)
test u32_partial_cmp ... bench: 18,603 ns/iter (+/- 5,666)
test u64_cmp ... bench: 16,337 ns/iter (+/- 2,511)
test u64_lt ... bench: 18,074 ns/iter (+/- 7,914)
test u64_partial_cmp ... bench: 17,909 ns/iter (+/- 1,105)
```
```
test u8_cmp ... bench: 6,511 ns/iter (+/- 982)
test u8_lt ... bench: 6,671 ns/iter (+/- 919)
test u8_partial_cmp ... bench: 7,118 ns/iter (+/- 1,623)
test u16_cmp ... bench: 6,689 ns/iter (+/- 921)
test u16_lt ... bench: 6,712 ns/iter (+/- 947)
test u16_partial_cmp ... bench: 6,725 ns/iter (+/- 780)
test u32_cmp ... bench: 7,704 ns/iter (+/- 1,294)
test u32_lt ... bench: 7,611 ns/iter (+/- 3,062)
test u32_partial_cmp ... bench: 7,640 ns/iter (+/- 1,149)
test u64_cmp ... bench: 7,517 ns/iter (+/- 2,164)
test u64_lt ... bench: 7,579 ns/iter (+/- 1,048)
test u64_partial_cmp ... bench: 7,629 ns/iter (+/- 1,195)
```
2015-09-15 23:20:18 +02:00
|
|
|
let l = cmp::min(self.len(), other.len());
|
2015-09-16 16:09:23 +02:00
|
|
|
|
|
|
|
// Slice to the loop iteration range to enable bound check
|
|
|
|
// elimination in the compiler
|
Remove boundary checks in slice comparison operators
In order to get rid of all range checks, the compiler needs to
explicitly see that the slices it iterates over are as long as the
loop variable upper bound.
This further improves the performance of slice comparison:
```
test u8_cmp ... bench: 4,761 ns/iter (+/- 1,203)
test u8_lt ... bench: 4,579 ns/iter (+/- 649)
test u8_partial_cmp ... bench: 4,768 ns/iter (+/- 761)
test u16_cmp ... bench: 4,607 ns/iter (+/- 580)
test u16_lt ... bench: 4,681 ns/iter (+/- 567)
test u16_partial_cmp ... bench: 4,607 ns/iter (+/- 967)
test u32_cmp ... bench: 4,448 ns/iter (+/- 891)
test u32_lt ... bench: 4,546 ns/iter (+/- 992)
test u32_partial_cmp ... bench: 4,415 ns/iter (+/- 646)
test u64_cmp ... bench: 4,380 ns/iter (+/- 1,184)
test u64_lt ... bench: 5,684 ns/iter (+/- 602)
test u64_partial_cmp ... bench: 4,663 ns/iter (+/- 1,158)
```
2015-09-16 15:27:14 +02:00
|
|
|
let lhs = &self[..l];
|
|
|
|
let rhs = &other[..l];
|
Improve PartialOrd for slices
Reusing the same idea as in #26884, we can exploit the fact that the
length of slices is known, hence we can use a counted loop instead of
iterators, which means that we only need a single counter, instead of
having to increment and check one pointer for each iterator.
Using the generic implementation of the boolean comparison operators
(`lt`, `le`, `gt`, `ge`) provides further speedup for simple
types. This happens because the loop scans elements checking for
equality and dispatches to element comparison or length comparison
depending on the result of the prefix comparison.
```
test u8_cmp ... bench: 14,043 ns/iter (+/- 1,732)
test u8_lt ... bench: 16,156 ns/iter (+/- 1,864)
test u8_partial_cmp ... bench: 16,250 ns/iter (+/- 2,608)
test u16_cmp ... bench: 15,764 ns/iter (+/- 1,420)
test u16_lt ... bench: 19,833 ns/iter (+/- 2,826)
test u16_partial_cmp ... bench: 19,811 ns/iter (+/- 2,240)
test u32_cmp ... bench: 15,792 ns/iter (+/- 3,409)
test u32_lt ... bench: 18,577 ns/iter (+/- 2,075)
test u32_partial_cmp ... bench: 18,603 ns/iter (+/- 5,666)
test u64_cmp ... bench: 16,337 ns/iter (+/- 2,511)
test u64_lt ... bench: 18,074 ns/iter (+/- 7,914)
test u64_partial_cmp ... bench: 17,909 ns/iter (+/- 1,105)
```
```
test u8_cmp ... bench: 6,511 ns/iter (+/- 982)
test u8_lt ... bench: 6,671 ns/iter (+/- 919)
test u8_partial_cmp ... bench: 7,118 ns/iter (+/- 1,623)
test u16_cmp ... bench: 6,689 ns/iter (+/- 921)
test u16_lt ... bench: 6,712 ns/iter (+/- 947)
test u16_partial_cmp ... bench: 6,725 ns/iter (+/- 780)
test u32_cmp ... bench: 7,704 ns/iter (+/- 1,294)
test u32_lt ... bench: 7,611 ns/iter (+/- 3,062)
test u32_partial_cmp ... bench: 7,640 ns/iter (+/- 1,149)
test u64_cmp ... bench: 7,517 ns/iter (+/- 2,164)
test u64_lt ... bench: 7,579 ns/iter (+/- 1,048)
test u64_partial_cmp ... bench: 7,629 ns/iter (+/- 1,195)
```
2015-09-15 23:20:18 +02:00
|
|
|
|
|
|
|
for i in 0..l {
|
Remove boundary checks in slice comparison operators
In order to get rid of all range checks, the compiler needs to
explicitly see that the slices it iterates over are as long as the
loop variable upper bound.
This further improves the performance of slice comparison:
```
test u8_cmp ... bench: 4,761 ns/iter (+/- 1,203)
test u8_lt ... bench: 4,579 ns/iter (+/- 649)
test u8_partial_cmp ... bench: 4,768 ns/iter (+/- 761)
test u16_cmp ... bench: 4,607 ns/iter (+/- 580)
test u16_lt ... bench: 4,681 ns/iter (+/- 567)
test u16_partial_cmp ... bench: 4,607 ns/iter (+/- 967)
test u32_cmp ... bench: 4,448 ns/iter (+/- 891)
test u32_lt ... bench: 4,546 ns/iter (+/- 992)
test u32_partial_cmp ... bench: 4,415 ns/iter (+/- 646)
test u64_cmp ... bench: 4,380 ns/iter (+/- 1,184)
test u64_lt ... bench: 5,684 ns/iter (+/- 602)
test u64_partial_cmp ... bench: 4,663 ns/iter (+/- 1,158)
```
2015-09-16 15:27:14 +02:00
|
|
|
match lhs[i].partial_cmp(&rhs[i]) {
|
Improve PartialOrd for slices
Reusing the same idea as in #26884, we can exploit the fact that the
length of slices is known, hence we can use a counted loop instead of
iterators, which means that we only need a single counter, instead of
having to increment and check one pointer for each iterator.
Using the generic implementation of the boolean comparison operators
(`lt`, `le`, `gt`, `ge`) provides further speedup for simple
types. This happens because the loop scans elements checking for
equality and dispatches to element comparison or length comparison
depending on the result of the prefix comparison.
```
test u8_cmp ... bench: 14,043 ns/iter (+/- 1,732)
test u8_lt ... bench: 16,156 ns/iter (+/- 1,864)
test u8_partial_cmp ... bench: 16,250 ns/iter (+/- 2,608)
test u16_cmp ... bench: 15,764 ns/iter (+/- 1,420)
test u16_lt ... bench: 19,833 ns/iter (+/- 2,826)
test u16_partial_cmp ... bench: 19,811 ns/iter (+/- 2,240)
test u32_cmp ... bench: 15,792 ns/iter (+/- 3,409)
test u32_lt ... bench: 18,577 ns/iter (+/- 2,075)
test u32_partial_cmp ... bench: 18,603 ns/iter (+/- 5,666)
test u64_cmp ... bench: 16,337 ns/iter (+/- 2,511)
test u64_lt ... bench: 18,074 ns/iter (+/- 7,914)
test u64_partial_cmp ... bench: 17,909 ns/iter (+/- 1,105)
```
```
test u8_cmp ... bench: 6,511 ns/iter (+/- 982)
test u8_lt ... bench: 6,671 ns/iter (+/- 919)
test u8_partial_cmp ... bench: 7,118 ns/iter (+/- 1,623)
test u16_cmp ... bench: 6,689 ns/iter (+/- 921)
test u16_lt ... bench: 6,712 ns/iter (+/- 947)
test u16_partial_cmp ... bench: 6,725 ns/iter (+/- 780)
test u32_cmp ... bench: 7,704 ns/iter (+/- 1,294)
test u32_lt ... bench: 7,611 ns/iter (+/- 3,062)
test u32_partial_cmp ... bench: 7,640 ns/iter (+/- 1,149)
test u64_cmp ... bench: 7,517 ns/iter (+/- 2,164)
test u64_lt ... bench: 7,579 ns/iter (+/- 1,048)
test u64_partial_cmp ... bench: 7,629 ns/iter (+/- 1,195)
```
2015-09-15 23:20:18 +02:00
|
|
|
Some(Ordering::Equal) => (),
|
|
|
|
non_eq => return non_eq,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
self.len().partial_cmp(&other.len())
|
2014-10-29 20:11:16 -05:00
|
|
|
}
|
|
|
|
}
|