A 100% safe crate of vec-like types.
Not just safe at the public API boundary, fully safe for all internal code too: #![forbid(unsafe_code)]
The provided types are as follows:
- ArrayVecis an array-backed vec-like data structure. It panics on overflow.
- SliceVecis similar, but using a- &mut [T]as the data backing.
- TinyVec(- allocfeature) is an enum that's either an- Inline(ArrayVec)or a- Heap(Vec). If a- TinyVecis- Inlineand would overflow its array it automatically transitions to- Heapand continues whatever it was doing.
To attain this "100% safe code" status there is one compromise: the element type of the vecs must implement Default.
For more API details, please see the docs.rs documentation
Maybe you don't want to use tinyvec, there's other crates you might use instead!
- arrayvec is a crate with array-backed structures.
- smallvec is a crate where the array-backed data can be moved to the heap on overflow.
The main difference is that both of those crates use unsafe code.
This mostly allows them to get rid of the Default limitation for elements that tinyvec imposes.
The smallvec and arrayvec crates are generally correct, but there's been occasional bugs leading to UB.
With tinyvec, any uncaught bugs can't lead to UB, because the crate is safe code all the way through.
If you want that absolute level of assurance against UB, use tinyvec.