#slice #erasure #type #any

sashay

Type-erased and lifetime-erased references and slices

7 unstable releases (3 breaking)

0.5.0 Jan 26, 2023
0.4.0 Jan 8, 2023
0.3.2 Dec 27, 2022
0.2.1 Nov 22, 2022
0.1.1 Nov 8, 2022

#2429 in Rust patterns

MIT/Apache

57KB
509 lines

Sashay

Sashay contains type-erased slices and references that work kinda like Any, but not entirely:

  • &'a T -> AnyRef<'a>
  • &'a mut T -> AnyMut<'a>
  • &'a [T] -> AnySliceRef<'a>
  • &'a mut [T] -> AnySliceMut<'a>

The big advantage of these types if that you can deal with references and slices of any type without having to resort to generic code. Perhaps more importantly, it allows you to store them in homogeneous containers without having to use trait objects (which is what I originally wrote this for).

Any of these refs and muts can be constructed by calling ::erase() on a reference or slice. The erased types are still lifetime-bound, and they also contains a TypeId to check if any unerasure is valid. Internally the structures hold pointers to the original data.

You could AnyRef/Mut to erase [T] slices, but AnySliceRef/Mut retain part of the expected API for primitive slices, such as calling .len() or .is_empty() and providing access to subslices or individual elements.

As far as I know the library is sound and it passes cargo miri test, but outside of personal use it is untested in the wild. I have chatted with people in the Rust Zulip (big thanks to Lokathor, Ben Kimock, Mario Carneiro and scottmcm) to cover edge cases. Feedback is always appreciated.

And last but not least: don't forget to enjoy your day! ;)

Example

let data : [i32; 3] = [0, 1, 2];

// Type-erase a slice
let erased = sashay::AnySliceRef::erase(data.as_slice());
assert_eq!(erased.len(), 3);

// Unerase the whole slice
let unerased = erased.unerase::<i32>().expect("any was not a &[i32]");
assert_eq!(unerased, data.as_slice());

// Unerase just a single element
assert_eq!(erased.get(2).unwrap().unerase::<i32>(), Some(&2));

Dependencies

sashay is #![no_std] and has 0 dependencies.

No runtime deps