Split Vecs in O(1) time.
You can split a
Vec into two using
but since most allocators can't just go and split up an allocation, this needs to allocate space
for a second
Vec and, even worse, copy the relevant elements over, which takes O(n) time.
You could also split it into slices using
Vec::split_at_mut, but this will not give you owned
data you can move around or move out of at will.
This crate provides a way to split a
Vec into two owned
behave similar to Vecs that takes constant time.
The catch is that the
VecShards use reference counting to determine when the last of them is dropped.
Only then is the memory from the original
The individual items in the shards, however, are dropped as soon as the shard is dropped.
use vecshard::ShardExt; let animals = vec!["penguin", "owl", "toucan", "turtle", "spider", "mosquitto"]; // split the vec into 2 shards let (cool_animals, uncool_animals) = animals.split_inplace_at(4); // shards can be indexed as usual assert_eq!(cool_animals, "turtle"); assert_eq!(uncool_animals, "spider"); // ..including with a range as index assert_eq!(cool_animals[1..3], ["owl", "toucan"]); // they deref into slices, so you can use them as such: assert_eq!(cool_animals.len(), 4); assert!(uncool_animals.ends_with(&["mosquitto"])); // shards can also be split up again: let (cool_birds, cool_reptiles) = cool_animals.split_inplace_at(3); assert_eq!(*cool_birds, ["penguin", "owl", "toucan"]); assert_eq!(*cool_reptiles, ["turtle"]);
let vec = vec![1, 2, 3]; let shard = VecShard::from(vec); let vec2 : Vec<_> = shard.into();
To iterate over a
VecShard, you have several choices.
VecShard<T> itself is a draining
Iterator and returns owned
removing them from its own storage.
If you only need
&mut T, you can deref it to a slice and iterate over that.
Finally, if you need an owning
Iterator but do not want to drain the shard,
clone the shard and iterate over that.
let mut shard = VecShard::from(vec!['y', 'e', 'e', 't']); assert_eq!(Some('y'), shard.next()); assert_eq!(Some('e'), shard.next()); assert_eq!(*shard, ['e', 't']);
A shard of a
An extension trait for things that can be split into shards
Merge the given shards into a single shard.