Enum creusot_contracts::std::borrow::Cow

1.0.0 · source ·

pub enum Cow<'a, B>where
    B: 'a + ToOwned + ?Sized,{
    Borrowed(&'a B),
    Owned(<B as ToOwned>::Owned),
}

Expand description

A clone-on-write smart pointer.

The type Cow is a smart pointer providing clone-on-write functionality: it can enclose and provide immutable access to borrowed data, and clone the data lazily when mutation or ownership is required. The type is designed to work with general borrowed data via the Borrow trait.

Cow implements Deref, which means that you can call non-mutating methods directly on the data it encloses. If mutation is desired, to_mut will obtain a mutable reference to an owned value, cloning if necessary.

If you need reference-counting pointers, note that Rc::make_mut and Arc::make_mut can provide clone-on-write functionality as well.

§Examples

use std::borrow::Cow;

fn abs_all(input: &mut Cow<'_, [i32]>) {
    for i in 0..input.len() {
        let v = input[i];
        if v < 0 {
            // Clones into a vector if not already owned.
            input.to_mut()[i] = -v;
        }
    }
}

// No clone occurs because `input` doesn't need to be mutated.
let slice = [0, 1, 2];
let mut input = Cow::from(&slice[..]);
abs_all(&mut input);

// Clone occurs because `input` needs to be mutated.
let slice = [-1, 0, 1];
let mut input = Cow::from(&slice[..]);
abs_all(&mut input);

// No clone occurs because `input` is already owned.
let mut input = Cow::from(vec![-1, 0, 1]);
abs_all(&mut input);

Another example showing how to keep Cow in a struct:

use std::borrow::Cow;

struct Items<'a, X> where [X]: ToOwned<Owned = Vec<X>> {
    values: Cow<'a, [X]>,
}

impl<'a, X: Clone + 'a> Items<'a, X> where [X]: ToOwned<Owned = Vec<X>> {
    fn new(v: Cow<'a, [X]>) -> Self {
        Items { values: v }
    }
}

// Creates a container from borrowed values of a slice
let readonly = [1, 2];
let borrowed = Items::new((&readonly[..]).into());
match borrowed {
    Items { values: Cow::Borrowed(b) } => println!("borrowed {b:?}"),
    _ => panic!("expect borrowed value"),
}

let mut clone_on_write = borrowed;
// Mutates the data from slice into owned vec and pushes a new value on top
clone_on_write.values.to_mut().push(3);
println!("clone_on_write = {:?}", clone_on_write.values);

// The data was mutated. Let's check it out.
match clone_on_write {
    Items { values: Cow::Owned(_) } => println!("clone_on_write contains owned data"),
    _ => panic!("expect owned data"),
}

Variants§

§1.0.0

Borrowed(&'a B)

Borrowed data.

§1.0.0

Owned(::Owned)

Owned data.

Enum creusot_contracts::std::borrow::CowCopy item path

§Examples

Variants§

Borrowed(&'a B)

Owned(<B as ToOwned>::Owned)

Implementations§

impl<B> Cow<'_, B>where B: ToOwned + ?Sized,

pub const fn is_borrowed(&self) -> bool

§Examples

pub const fn is_owned(&self) -> bool

§Examples

pub fn to_mut(&mut self) -> &mut <B as ToOwned>::Owned

§Examples

pub fn into_owned(self) -> <B as ToOwned>::Owned

§Examples

Trait Implementations§

impl<'a> Add<&'a str> for Cow<'a, str>

type Output = Cow<'a, str>

fn add(self, rhs: &'a str) -> <Cow<'a, str> as Add<&'a str>>::Output

impl<'a> Add for Cow<'a, str>

type Output = Cow<'a, str>

fn add(self, rhs: Cow<'a, str>) -> <Cow<'a, str> as Add>::Output

impl<'a> AddAssign<&'a str> for Cow<'a, str>

fn add_assign(&mut self, rhs: &'a str)

impl<'a> AddAssign for Cow<'a, str>

fn add_assign(&mut self, rhs: Cow<'a, str>)

impl AsRef<Path> for Cow<'_, OsStr>

fn as_ref(&self) -> &Path

impl<T> AsRef<T> for Cow<'_, T>where T: ToOwned + ?Sized,

fn as_ref(&self) -> &T

impl<'a, B> Borrow<B> for Cow<'a, B>where B: ToOwned + ?Sized,

fn borrow(&self) -> &B

impl<B> Clone for Cow<'_, B>where B: ToOwned + ?Sized,

fn clone(&self) -> Cow<'_, B>

fn clone_from(&mut self, source: &Cow<'_, B>)

impl<B> Debug for Cow<'_, B>where B: Debug + ToOwned + ?Sized, <B as ToOwned>::Owned: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

impl<B> Default for Cow<'_, B>where B: ToOwned + ?Sized, <B as ToOwned>::Owned: Default,

fn default() -> Cow<'_, B>

impl<B> Deref for Cow<'_, B>where B: ToOwned + ?Sized, <B as ToOwned>::Owned: Borrow<B>,

type Target = B

fn deref(&self) -> &B

impl<B> Display for Cow<'_, B>where B: Display + ToOwned + ?Sized, <B as ToOwned>::Owned: Display,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

impl<'a> Extend<Cow<'a, OsStr>> for OsString

fn extend<T>(&mut self, iter: T)where T: IntoIterator<Item = Cow<'a, OsStr>>,

fn extend_one(&mut self, item: A)

fn extend_reserve(&mut self, additional: usize)

impl<'a> Extend<Cow<'a, str>> for String

fn extend<I>(&mut self, iter: I)where I: IntoIterator<Item = Cow<'a, str>>,

fn extend_one(&mut self, s: Cow<'a, str>)

fn extend_reserve(&mut self, additional: usize)

impl<'a, T> From<&'a [T]> for Cow<'a, [T]>where T: Clone,

fn from(s: &'a [T]) -> Cow<'a, [T]>

impl<'a, T, const N: usize> From<&'a [T; N]> for Cow<'a, [T]>where T: Clone,

fn from(s: &'a [T; N]) -> Cow<'a, [T]>

impl<'a> From<&'a CStr> for Cow<'a, CStr>

fn from(s: &'a CStr) -> Cow<'a, CStr>

impl<'a> From<&'a CString> for Cow<'a, CStr>

fn from(s: &'a CString) -> Cow<'a, CStr>

impl<'a> From<&'a OsStr> for Cow<'a, OsStr>

fn from(s: &'a OsStr) -> Cow<'a, OsStr>

impl<'a> From<&'a OsString> for Cow<'a, OsStr>

fn from(s: &'a OsString) -> Cow<'a, OsStr>

impl<'a> From<&'a Path> for Cow<'a, Path>

fn from(s: &'a Path) -> Cow<'a, Path>

impl<'a> From<&'a PathBuf> for Cow<'a, Path>

fn from(p: &'a PathBuf) -> Cow<'a, Path>

impl<'a> From<&'a String> for Cow<'a, str>

fn from(s: &'a String) -> Cow<'a, str>

§Example

impl<'a, T> From<&'a Vec<T>> for Cow<'a, [T]>where T: Clone,

fn from(v: &'a Vec<T>) -> Cow<'a, [T]>

impl<'a> From<&'a str> for Cow<'a, str>

fn from(s: &'a str) -> Cow<'a, str>

§Example

impl<'a> From<CString> for Cow<'a, CStr>

fn from(s: CString) -> Cow<'a, CStr>

impl<T> From<Cow<'_, [T]>> for Box<[T]>where T: Clone,

fn from(cow: Cow<'_, [T]>) -> Box<[T]>

Enum creusot_contracts::std::borrow::Cow

impl<B> Cow<'_, B>
where B: ToOwned + ?Sized,

impl<T> AsRef<T> for Cow<'_, T>
where T: ToOwned + ?Sized,

impl<'a, B> Borrow<B> for Cow<'a, B>
where B: ToOwned + ?Sized,

impl<B> Clone for Cow<'_, B>
where B: ToOwned + ?Sized,

impl<B> Debug for Cow<'_, B>
where B: Debug + ToOwned + ?Sized, <B as ToOwned>::Owned: Debug,

impl<B> Default for Cow<'_, B>
where B: ToOwned + ?Sized, <B as ToOwned>::Owned: Default,

impl<B> Deref for Cow<'_, B>
where B: ToOwned + ?Sized, <B as ToOwned>::Owned: Borrow<B>,

impl<B> Display for Cow<'_, B>
where B: Display + ToOwned + ?Sized, <B as ToOwned>::Owned: Display,

fn extend<T>(&mut self, iter: T)
where T: IntoIterator<Item = Cow<'a, OsStr>>,

fn extend<I>(&mut self, iter: I)
where I: IntoIterator<Item = Cow<'a, str>>,

impl<'a, T> From<&'a [T]> for Cow<'a, [T]>
where T: Clone,

impl<'a, T, const N: usize> From<&'a [T; N]> for Cow<'a, [T]>
where T: Clone,

impl<'a, T> From<&'a Vec<T>> for Cow<'a, [T]>
where T: Clone,

impl<T> From<Cow<'_, [T]>> for Box<[T]>
where T: Clone,

impl<'a, T> From<Cow<'a, [T]>> for Vec<T>
where [T]: ToOwned<Owned = Vec<T>>,

impl<'a, B> From<Cow<'a, B>> for Arc<B>
where B: ToOwned + ?Sized, Arc<B>: From<&'a B> + From<<B as ToOwned>::Owned>,

impl<'a, B> From<Cow<'a, B>> for Rc<B>
where B: ToOwned + ?Sized, Rc<B>: From<&'a B> + From<<B as ToOwned>::Owned>,

impl<'a, T> From<Vec<T>> for Cow<'a, [T]>
where T: Clone,

fn from_iter<I>(it: I) -> Cow<'a, str>
where I: IntoIterator<Item = &'b str>,

fn from_iter<I>(iter: I) -> OsString
where I: IntoIterator<Item = Cow<'a, OsStr>>,

fn from_iter<T>(iter: T) -> Box<str>
where T: IntoIterator<Item = Cow<'a, str>>,

fn from_iter<I>(iter: I) -> String
where I: IntoIterator<Item = Cow<'a, str>>,

fn from_iter<I>(it: I) -> Cow<'a, str>
where I: IntoIterator<Item = String>,

impl<'a, T> FromIterator<T> for Cow<'a, [T]>
where T: Clone,

fn from_iter<I>(it: I) -> Cow<'a, [T]>
where I: IntoIterator<Item = T>,

fn from_iter<I>(it: I) -> Cow<'a, str>
where I: IntoIterator<Item = char>,

impl<B> Hash for Cow<'_, B>
where B: Hash + ToOwned + ?Sized,

fn hash<H>(&self, state: &mut H)
where H: Hasher,

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

impl<B> Ord for Cow<'_, B>
where B: Ord + ToOwned + ?Sized,

fn max(self, other: Self) -> Self
where Self: Sized,