FEAT: Turn try_remove/try_swap_remove into remove_opt and swap_pop

We turn these into "checked" removals, similar to `.pop()`. Name
swap_pop seems straightforward and nice, remove_opt is not as certain.
This commit is contained in:
bluss
2017-08-05 17:50:39 +02:00
parent bc9e0362bd
commit c5e0b80f73
2 changed files with 32 additions and 57 deletions
-36
View File
@@ -56,39 +56,3 @@ impl<T> fmt::Debug for CapacityError<T> {
} }
} }
pub struct OutOfBoundsError {
_priv: ()
}
impl PubCrateNew<()> for OutOfBoundsError {
fn new(_: ()) -> Self {
OutOfBoundsError { _priv: () }
}
}
impl OutOfBoundsError {
fn description(&self) -> &'static str {
"remove index is out of bounds"
}
}
#[cfg(feature="std")]
/// Requires `features="std"`.
impl Error for OutOfBoundsError {
fn description(&self) -> &str {
self.description()
}
}
impl fmt::Display for OutOfBoundsError {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
write!(f, "{}", self.description())
}
}
impl fmt::Debug for OutOfBoundsError {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
write!(f, "OutOfBoundsError: {}", self.description())
}
}
+32 -21
View File
@@ -95,6 +95,13 @@ impl<A: Array> Drop for ArrayVec<A> {
} }
} }
macro_rules! panic_oob {
($method_name:expr, $index:expr, $len:expr) => {
panic!(concat!("ArrayVec::", $method_name, ": index {} is out of bounds in vector of length {}"),
$index, $len)
}
}
impl<A: Array> ArrayVec<A> { impl<A: Array> ArrayVec<A> {
/// Create a new empty `ArrayVec`. /// Create a new empty `ArrayVec`.
/// ///
@@ -278,7 +285,7 @@ impl<A: Array> ArrayVec<A> {
/// ``` /// ```
pub fn try_insert(&mut self, index: usize, element: A::Item) -> Result<(), CapacityError<A::Item>> { pub fn try_insert(&mut self, index: usize, element: A::Item) -> Result<(), CapacityError<A::Item>> {
if index > self.len() { if index > self.len() {
panic!("ArrayVec::try_insert: {} is out of bounds (length is {})", index, self.len()); panic_oob!("try_insert", index, self.len())
} }
if self.len() == self.capacity() { if self.len() == self.capacity() {
return Err(CapacityError::new(element)); return Err(CapacityError::new(element));
@@ -347,32 +354,35 @@ impl<A: Array> ArrayVec<A> {
/// assert_eq!(&array[..], &[3]); /// assert_eq!(&array[..], &[3]);
/// ``` /// ```
pub fn swap_remove(&mut self, index: usize) -> A::Item { pub fn swap_remove(&mut self, index: usize) -> A::Item {
self.try_swap_remove(index).unwrap() self.swap_pop(index)
.unwrap_or_else(|| {
panic_oob!("swap_remove", index, self.len())
})
} }
/// Remove the element at `index` and swap the last element into its place. /// Remove the element at `index` and swap the last element into its place.
/// ///
/// This operation is O(1). /// Checked version of `.swap_remove`. This operation is O(1).
/// ///
/// Return `Ok(` *element* `)` if the index is in bounds, else an error. /// Return `Some(` *element* `)` if the index is in bounds, else `None`.
/// ///
/// ``` /// ```
/// use arrayvec::ArrayVec; /// use arrayvec::ArrayVec;
/// ///
/// let mut array = ArrayVec::from([1, 2, 3]); /// let mut array = ArrayVec::from([1, 2, 3]);
/// ///
/// assert!(array.try_swap_remove(0).is_ok()); /// assert_eq!(array.swap_pop(0), Some(1));
/// assert_eq!(&array[..], &[3, 2]); /// assert_eq!(&array[..], &[3, 2]);
/// ///
/// assert!(array.try_swap_remove(10).is_err()); /// assert_eq!(array.swap_pop(10), None);
/// ``` /// ```
pub fn try_swap_remove(&mut self, index: usize) -> Result<A::Item, OutOfBoundsError> { pub fn swap_pop(&mut self, index: usize) -> Option<A::Item> {
let len = self.len(); let len = self.len();
if index >= len { if index >= len {
return Err(OutOfBoundsError::new(())) return None;
} }
self.swap(index, len - 1); self.swap(index, len - 1);
self.pop().ok_or_else(|| unreachable!()) self.pop()
} }
/// Remove the element at `index` and shift down the following elements. /// Remove the element at `index` and shift down the following elements.
@@ -390,33 +400,34 @@ impl<A: Array> ArrayVec<A> {
/// assert_eq!(&array[..], &[2, 3]); /// assert_eq!(&array[..], &[2, 3]);
/// ``` /// ```
pub fn remove(&mut self, index: usize) -> A::Item { pub fn remove(&mut self, index: usize) -> A::Item {
self.try_remove(index).unwrap() self.remove_opt(index)
.unwrap_or_else(|| {
panic_oob!("remove", index, self.len())
})
} }
/// Remove the element at `index` and shift down the following elements. /// Remove the element at `index` and shift down the following elements.
/// ///
/// Returns an error if: /// This is a checked version of `.remove(index)`. Returns `None` if the
/// /// index is greater or equal to the length of the vector. Otherwise, return
/// - The index is greater or equal to the length of the vector /// the element inside `Some`.
///
/// Else return the element inside `Ok`.
/// ///
/// ``` /// ```
/// use arrayvec::ArrayVec; /// use arrayvec::ArrayVec;
/// ///
/// let mut array = ArrayVec::from([1, 2, 3]); /// let mut array = ArrayVec::from([1, 2, 3]);
/// ///
/// assert!(array.try_remove(0).is_ok()); /// assert!(array.remove_opt(0).is_some());
/// assert_eq!(&array[..], &[2, 3]); /// assert_eq!(&array[..], &[2, 3]);
/// ///
/// assert!(array.try_remove(2).is_err()); /// assert!(array.remove_opt(2).is_none());
/// assert!(array.try_remove(10).is_err()); /// assert!(array.remove_opt(10).is_none());
/// ``` /// ```
pub fn try_remove(&mut self, index: usize) -> Result<A::Item, OutOfBoundsError> { pub fn remove_opt(&mut self, index: usize) -> Option<A::Item> {
if index >= self.len() { if index >= self.len() {
Err(OutOfBoundsError::new(())) None
} else { } else {
self.drain(index..index + 1).next().ok_or_else(|| unreachable!()) self.drain(index..index + 1).next()
} }
} }