#alignment #maths #traits #newtype #constrained #archetypes #constraint

no-std align_constr

Like aligned but better. Newtype whose alignment is constrained not only by the inherent alignment requirements of the underlying type but also by the alignment requirements of the “alignment constraint archetype”

5 releases

0.2.0 Dec 25, 2023
0.1.4 Jul 17, 2022
0.1.2 Mar 1, 2022
0.1.1 Feb 27, 2022
0.1.0 Feb 26, 2022

#208 in Memory management

MIT/Apache

24KB
223 lines

Alignment-constrained newtype

crates.io crates.io

Newtype whose alignment is constrained not only by the inherent alignment requirements of the underlying type but also by the alignment requirements of the "alignment constraint archetype". Within this context, "alignment constraint archetype" AlignConstrArchetype is a type whose alignment constraint is imposed on the underlying type T to produce AlignConstr<T, AlignConstrArchetype>.

Notes

Resources on alignment

  • "Data Alignment", personal website of Song Ho Ahn - a professor in the Computer Science department at Sheridan College (Oakville)

Not so visually appealing yet incredibly well written article that explains not only what alignment is but also why it exists and where one might need to overalign data.

Dmitrii Demenev

Rather deep exploration of the topic from the point of view of a C programming expert. The article covers not only the information about alignment but also related related topics as applied to C, as well as sever other programming languages, including Rust.

Dmitrii Demenev

Example

use align_constr::{AlignConstr, n_zst::ZST128};

let overaligned_u8 = AlignConstr::<u8, ZST128>::new(3);
assert!(overaligned_u8.value == 3);
// requires non-const context
assert!(&overaligned_u8 as *const _ as usize % 128 == 0);

align_constr vs aligned

aligned is a popular library that served as a prototype for align_constr. At the time of writing, align_constr is featurewise and idiomatically superior and provides not only more extensive documentation but also a selection of resources on the subject. To pay respect to the contributors of aligned crate, the quality of their creation's CI is still unmatched by align_constr. However, the limited scope of both libraries nonetheless makes align_constr arguably better for any use case.

Note: Unlike in aligned, the dependency on as_slice is optional.

About align_constr

License

Licensed under either of Apache License, Version 2.0 or MIT license at your option.
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in this crate by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

Dependencies