#erasure #inline #stack #data #type-erased

no-std typeless

unsafe inline type erasure

1 unstable release

0.1.0 Oct 5, 2021

#4 in #type-erased


Used in inline_any

MIT/Apache

9KB
84 lines

typeless

unsafe API for type erasure on the stack

Usage

Add the following to your Cargo.toml

[dependencies]
typeless = "0.1"

Storing any value x of type T in TypeErased completely destroys all type data associated with it.

Restrictions

While this erases all type data, leaving only the pure bytes, the compiler still requires 2 things:

  • Size: The size of a TypeErased is not based on the data it contains, but rather a const generic parameter C, effectively a "maximum size" on the types it can contain.

  • Alignment: Until there is a way to define alignment by a const parameter, the alignment of TypeErased is 8 bytes, so anything with an alignment of 8 or less can be contained

Access

Since there is no type data anymore, any access to the inner data is unsafe (except getting the bytes directly)

TypeErased is not Send nor Sync since it can't be known if that's safe

License

This project is licensed under either of

at your option.

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

No runtime deps

Features