pub trait Extend<A> {
fn extend<T>(&mut self, iter: T)
where
T: IntoIterator<Item = A>;
fn extend_one(&mut self, item: A) { ... }
fn extend_reserve(&mut self, additional: usize) { ... }
}
Expand description
Extend a collection with the contents of an iterator.
Iterators produce a series of values, and collections can also be thought
of as a series of values. The Extend
trait bridges this gap, allowing you
to extend a collection by including the contents of that iterator. When
extending a collection with an already existing key, that entry is updated
or, in the case of collections that permit multiple entries with equal
keys, that entry is inserted.
Examples
Basic usage:
// You can extend a String with some chars:
let mut message = String::from("The first three letters are: ");
message.extend(&['a', 'b', 'c']);
assert_eq!("abc", &message[29..32]);
Implementing Extend
:
// A sample collection, that's just a wrapper over Vec<T>
#[derive(Debug)]
struct MyCollection(Vec<i32>);
// Let's give it some methods so we can create one and add things
// to it.
impl MyCollection {
fn new() -> MyCollection {
MyCollection(Vec::new())
}
fn add(&mut self, elem: i32) {
self.0.push(elem);
}
}
// since MyCollection has a list of i32s, we implement Extend for i32
impl Extend<i32> for MyCollection {
// This is a bit simpler with the concrete type signature: we can call
// extend on anything which can be turned into an Iterator which gives
// us i32s. Because we need i32s to put into MyCollection.
fn extend<T: IntoIterator<Item=i32>>(&mut self, iter: T) {
// The implementation is very straightforward: loop through the
// iterator, and add() each element to ourselves.
for elem in iter {
self.add(elem);
}
}
}
let mut c = MyCollection::new();
c.add(5);
c.add(6);
c.add(7);
// let's extend our collection with three more numbers
c.extend(vec![1, 2, 3]);
// we've added these elements onto the end
assert_eq!("MyCollection([5, 6, 7, 1, 2, 3])", format!("{:?}", c));
Required methods
fn extend<T>(&mut self, iter: T) where
T: IntoIterator<Item = A>,
fn extend<T>(&mut self, iter: T) where
T: IntoIterator<Item = A>,
Extends a collection with the contents of an iterator.
As this is the only required method for this trait, the trait-level docs contain more details.
Examples
Basic usage:
// You can extend a String with some chars:
let mut message = String::from("abc");
message.extend(['d', 'e', 'f'].iter());
assert_eq!("abcdef", &message);
Provided methods
fn extend_one(&mut self, item: A)
fn extend_one(&mut self, item: A)
extend_one
)Extends a collection with exactly one element.
fn extend_reserve(&mut self, additional: usize)
fn extend_reserve(&mut self, additional: usize)
extend_one
)Reserves capacity in a collection for the given number of additional elements.
The default implementation does nothing.
Implementations on Foreign Types
1.52.0 · sourceimpl<'a> Extend<Cow<'a, OsStr>> for OsString
impl<'a> Extend<Cow<'a, OsStr>> for OsString
pub fn extend<T>(&mut self, iter: T) where
T: IntoIterator<Item = Cow<'a, OsStr>>,
1.4.0 · sourceimpl<'a, T, S> Extend<&'a T> for HashSet<T, S> where
T: 'a + Eq + Hash + Copy,
S: BuildHasher,
impl<'a, T, S> Extend<&'a T> for HashSet<T, S> where
T: 'a + Eq + Hash + Copy,
S: BuildHasher,
pub fn extend<I>(&mut self, iter: I) where
I: IntoIterator<Item = &'a T>,
sourcepub fn extend_one(&mut self, &'a T)
pub fn extend_one(&mut self, &'a T)
extend_one
)sourcepub fn extend_reserve(&mut self, additional: usize)
pub fn extend_reserve(&mut self, additional: usize)
extend_one
)sourceimpl<K, V, S> Extend<(K, V)> for HashMap<K, V, S> where
K: Eq + Hash,
S: BuildHasher,
impl<K, V, S> Extend<(K, V)> for HashMap<K, V, S> where
K: Eq + Hash,
S: BuildHasher,
Inserts all new key-values from the iterator and replaces values with existing keys with new values returned from the iterator.
pub fn extend<T>(&mut self, iter: T) where
T: IntoIterator<Item = (K, V)>,
sourcepub fn extend_one(&mut self, (K, V))
pub fn extend_one(&mut self, (K, V))
extend_one
)sourcepub fn extend_reserve(&mut self, additional: usize)
pub fn extend_reserve(&mut self, additional: usize)
extend_one
)sourceimpl<T, S> Extend<T> for HashSet<T, S> where
T: Eq + Hash,
S: BuildHasher,
impl<T, S> Extend<T> for HashSet<T, S> where
T: Eq + Hash,
S: BuildHasher,
pub fn extend<I>(&mut self, iter: I) where
I: IntoIterator<Item = T>,
sourcepub fn extend_one(&mut self, item: T)
pub fn extend_one(&mut self, item: T)
extend_one
)sourcepub fn extend_reserve(&mut self, additional: usize)
pub fn extend_reserve(&mut self, additional: usize)
extend_one
)sourceimpl<P> Extend<P> for PathBuf where
P: AsRef<Path>,
impl<P> Extend<P> for PathBuf where
P: AsRef<Path>,
pub fn extend<I>(&mut self, iter: I) where
I: IntoIterator<Item = P>,
sourcepub fn extend_one(&mut self, p: P)
pub fn extend_one(&mut self, p: P)
extend_one
)1.52.0 · sourceimpl<'a> Extend<&'a OsStr> for OsString
impl<'a> Extend<&'a OsStr> for OsString
pub fn extend<T>(&mut self, iter: T) where
T: IntoIterator<Item = &'a OsStr>,
1.4.0 · sourceimpl<'a, K, V, S> Extend<(&'a K, &'a V)> for HashMap<K, V, S> where
K: Eq + Hash + Copy,
V: Copy,
S: BuildHasher,
impl<'a, K, V, S> Extend<(&'a K, &'a V)> for HashMap<K, V, S> where
K: Eq + Hash + Copy,
V: Copy,
S: BuildHasher,
pub fn extend<T>(&mut self, iter: T) where
T: IntoIterator<Item = (&'a K, &'a V)>,
sourcepub fn extend_one(&mut self, (&'a K, &'a V))
pub fn extend_one(&mut self, (&'a K, &'a V))
extend_one
)sourcepub fn extend_reserve(&mut self, additional: usize)
pub fn extend_reserve(&mut self, additional: usize)
extend_one
)1.52.0 · sourceimpl Extend<OsString> for OsString
impl Extend<OsString> for OsString
pub fn extend<T>(&mut self, iter: T) where
T: IntoIterator<Item = OsString>,
1.28.0 · sourceimpl Extend<()> for ()
impl Extend<()> for ()
pub fn extend<T>(&mut self, iter: T) where
T: IntoIterator<Item = ()>,
sourcepub fn extend_one(&mut self, _item: ())
pub fn extend_one(&mut self, _item: ())
extend_one
)1.56.0 · sourceimpl<A, B, ExtendA, ExtendB> Extend<(A, B)> for (ExtendA, ExtendB) where
ExtendA: Extend<A>,
ExtendB: Extend<B>,
impl<A, B, ExtendA, ExtendB> Extend<(A, B)> for (ExtendA, ExtendB) where
ExtendA: Extend<A>,
ExtendB: Extend<B>,
sourcepub fn extend<T>(&mut self, into_iter: T) where
T: IntoIterator<Item = (A, B)>,
pub fn extend<T>(&mut self, into_iter: T) where
T: IntoIterator<Item = (A, B)>,
Allows to extend
a tuple of collections that also implement Extend
.
See also: Iterator::unzip
Examples
let mut tuple = (vec![0], vec![1]);
tuple.extend([(2, 3), (4, 5), (6, 7)]);
assert_eq!(tuple.0, [0, 2, 4, 6]);
assert_eq!(tuple.1, [1, 3, 5, 7]);
// also allows for arbitrarily nested tuples as elements
let mut nested_tuple = (vec![1], (vec![2], vec![3]));
nested_tuple.extend([(4, (5, 6)), (7, (8, 9))]);
let (a, (b, c)) = nested_tuple;
assert_eq!(a, [1, 4, 7]);
assert_eq!(b, [2, 5, 8]);
assert_eq!(c, [3, 6, 9]);
sourcepub fn extend_one(&mut self, item: (A, B))
pub fn extend_one(&mut self, item: (A, B))
extend_one
)sourcepub fn extend_reserve(&mut self, additional: usize)
pub fn extend_reserve(&mut self, additional: usize)
extend_one
)sourceimpl<T> Extend<T> for BinaryHeap<T> where
T: Ord,
impl<T> Extend<T> for BinaryHeap<T> where
T: Ord,
pub fn extend<I>(&mut self, iter: I) where
I: IntoIterator<Item = T>,
sourcepub fn extend_one(&mut self, item: T)
pub fn extend_one(&mut self, item: T)
extend_one
)sourcepub fn extend_reserve(&mut self, additional: usize)
pub fn extend_reserve(&mut self, additional: usize)
extend_one
)sourceimpl<'a> Extend<&'a str> for String
impl<'a> Extend<&'a str> for String
pub fn extend<I>(&mut self, iter: I) where
I: IntoIterator<Item = &'a str>,
sourcepub fn extend_one(&mut self, s: &'a str)
pub fn extend_one(&mut self, s: &'a str)
extend_one
)sourceimpl Extend<char> for String
impl Extend<char> for String
pub fn extend<I>(&mut self, iter: I) where
I: IntoIterator<Item = char>,
sourcepub fn extend_one(&mut self, c: char)
pub fn extend_one(&mut self, c: char)
extend_one
)sourcepub fn extend_reserve(&mut self, additional: usize)
pub fn extend_reserve(&mut self, additional: usize)
extend_one
)1.2.0 · sourceimpl<'a, T> Extend<&'a T> for LinkedList<T> where
T: 'a + Copy,
impl<'a, T> Extend<&'a T> for LinkedList<T> where
T: 'a + Copy,
pub fn extend<I>(&mut self, iter: I) where
I: IntoIterator<Item = &'a T>,
sourcepub fn extend_one(&mut self, &'a T)
pub fn extend_one(&mut self, &'a T)
extend_one
)1.4.0 · sourceimpl Extend<String> for String
impl Extend<String> for String
pub fn extend<I>(&mut self, iter: I) where
I: IntoIterator<Item = String>,
sourcepub fn extend_one(&mut self, s: String)
pub fn extend_one(&mut self, s: String)
extend_one
)sourceimpl<T> Extend<T> for LinkedList<T>
impl<T> Extend<T> for LinkedList<T>
pub fn extend<I>(&mut self, iter: I) where
I: IntoIterator<Item = T>,
sourcepub fn extend_one(&mut self, elem: T)
pub fn extend_one(&mut self, elem: T)
extend_one
)1.2.0 · sourceimpl<'a> Extend<&'a char> for String
impl<'a> Extend<&'a char> for String
pub fn extend<I>(&mut self, iter: I) where
I: IntoIterator<Item = &'a char>,
sourcepub fn extend_one(&mut self, &'a char)
pub fn extend_one(&mut self, &'a char)
extend_one
)sourcepub fn extend_reserve(&mut self, additional: usize)
pub fn extend_reserve(&mut self, additional: usize)
extend_one
)1.2.0 · sourceimpl<'a, T> Extend<&'a T> for BinaryHeap<T> where
T: 'a + Ord + Copy,
impl<'a, T> Extend<&'a T> for BinaryHeap<T> where
T: 'a + Ord + Copy,
pub fn extend<I>(&mut self, iter: I) where
I: IntoIterator<Item = &'a T>,
sourcepub fn extend_one(&mut self, &'a T)
pub fn extend_one(&mut self, &'a T)
extend_one
)sourcepub fn extend_reserve(&mut self, additional: usize)
pub fn extend_reserve(&mut self, additional: usize)
extend_one
)1.19.0 · sourceimpl<'a> Extend<Cow<'a, str>> for String
impl<'a> Extend<Cow<'a, str>> for String
pub fn extend<I>(&mut self, iter: I) where
I: IntoIterator<Item = Cow<'a, str>>,
sourcepub fn extend_one(&mut self, s: Cow<'a, str>)
pub fn extend_one(&mut self, s: Cow<'a, str>)
extend_one
)Implementors
impl<'a, K, V> Extend<(&'a K, &'a V)> for BTreeMap<K, V> where
K: Ord + Copy,
V: Copy,
impl<'a, T> Extend<&'a T> for BTreeSet<T> where
T: 'a + Ord + Copy,
impl<'a, T, A> Extend<&'a T> for VecDeque<T, A> where
T: 'a + Copy,
A: Allocator,
impl<'a, T, A> Extend<&'a T> for Vec<T, A> where
T: 'a + Copy,
A: 'a + Allocator,
Extend implementation that copies elements out of references before pushing them onto the Vec.
This implementation is specialized for slice iterators, where it uses copy_from_slice
to
append the entire slice at once.