1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349
//! [<img alt="github" src="https://img.shields.io/badge/github-udoprog/fixed--map-8da0cb?style=for-the-badge&logo=github" height="20">](https://github.com/udoprog/fixed-map)
//! [<img alt="crates.io" src="https://img.shields.io/crates/v/fixed-map.svg?style=for-the-badge&color=fc8d62&logo=rust" height="20">](https://crates.io/crates/fixed-map)
//! [<img alt="docs.rs" src="https://img.shields.io/badge/docs.rs-fixed--map-66c2a5?style=for-the-badge&logoColor=white&logo=data:image/svg+xml;base64,PHN2ZyByb2xlPSJpbWciIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgdmlld0JveD0iMCAwIDUxMiA1MTIiPjxwYXRoIGZpbGw9IiNmNWY1ZjUiIGQ9Ik00ODguNiAyNTAuMkwzOTIgMjE0VjEwNS41YzAtMTUtOS4zLTI4LjQtMjMuNC0zMy43bC0xMDAtMzcuNWMtOC4xLTMuMS0xNy4xLTMuMS0yNS4zIDBsLTEwMCAzNy41Yy0xNC4xIDUuMy0yMy40IDE4LjctMjMuNCAzMy43VjIxNGwtOTYuNiAzNi4yQzkuMyAyNTUuNSAwIDI2OC45IDAgMjgzLjlWMzk0YzAgMTMuNiA3LjcgMjYuMSAxOS45IDMyLjJsMTAwIDUwYzEwLjEgNS4xIDIyLjEgNS4xIDMyLjIgMGwxMDMuOS01MiAxMDMuOSA1MmMxMC4xIDUuMSAyMi4xIDUuMSAzMi4yIDBsMTAwLTUwYzEyLjItNi4xIDE5LjktMTguNiAxOS45LTMyLjJWMjgzLjljMC0xNS05LjMtMjguNC0yMy40LTMzLjd6TTM1OCAyMTQuOGwtODUgMzEuOXYtNjguMmw4NS0zN3Y3My4zek0xNTQgMTA0LjFsMTAyLTM4LjIgMTAyIDM4LjJ2LjZsLTEwMiA0MS40LTEwMi00MS40di0uNnptODQgMjkxLjFsLTg1IDQyLjV2LTc5LjFsODUtMzguOHY3NS40em0wLTExMmwtMTAyIDQxLjQtMTAyLTQxLjR2LS42bDEwMi0zOC4yIDEwMiAzOC4ydi42em0yNDAgMTEybC04NSA0Mi41di03OS4xbDg1LTM4Ljh2NzUuNHptMC0xMTJsLTEwMiA0MS40LTEwMi00MS40di0uNmwxMDItMzguMiAxMDIgMzguMnYuNnoiPjwvcGF0aD48L3N2Zz4K" height="20">](https://docs.rs/fixed-map)
//! [<img alt="build status" src="https://img.shields.io/github/workflow/status/udoprog/fixed-map/CI/main?style=for-the-badge" height="20">](https://github.com/udoprog/fixed-map/actions?query=branch%3Amain)
//!
//! This crate provides a [`Map`] and [`Set`] container that can make use of a
//! pre-calculated backing storage. This enables the Rust compiler to heavily
//! optimize operations over them and avoid allocating.
//!
//! See [documentation] for information on how to use this crate.
//!
//! <br>
//!
//! ## Usage
//!
//! Add `fixed-map` to your `Cargo.toml`:
//!
//! ```toml
//! [dependencies]
//! fixed-map = "0.8.0"
//! ```
//!
//! Anything used as a key in either a [`Map`] or a [`Set`] needs to implement
//! the [`Key`] trait. This should be derived:
//!
//! ```
//! use fixed_map::{Key, Map};
//!
//! #[derive(Clone, Copy, Key)]
//! enum Key {
//! North,
//! South,
//! East,
//! West,
//! }
//! ```
//!
//! After this you can use one of our containers:
//!
//! ```
//! # #[derive(Clone, Copy, fixed_map::Key)]
//! # enum Key { North, South, East, West }
//! use fixed_map::{Map, Set};
//!
//! let mut map = Map::new();
//! map.insert(Key::North, 200);
//! map.insert(Key::South, 100);
//!
//! assert_eq!(map.get(Key::North), Some(&200));
//! assert_eq!(map.get(Key::East), None);
//!
//! let mut set = Set::new();
//! set.insert(Key::North);
//! set.insert(Key::South);
//!
//! assert!(set.contains(Key::South));
//! assert!(!set.contains(Key::East));
//! ```
//!
//! <br>
//!
//! ## Features
//!
//! The following features are available:
//!
//! * `std` - Disabling this feature causes this crate to be no-std. This means
//! that dynamic types cannot be used in keys, like ones enabled by the `map`
//! feature (default).
//! * `hashbrown` - Causes [`Storage`] to be implemented by dynamic types such
//! as `&'static str` or `u32`. These are backed by a `hashbrown` (default).
//! * `entry` - Enables an [`entry`] API similar to that found on [`HashMap`].
//! * `serde` - Causes [`Map`] and [`Set`] to implement [`Serialize`] and
//! [`Deserialize`] if it's implemented by the key and value.
//!
//! <br>
//!
//! ## Specialized storage through the [`Key`] trait
//!
//! The [`Key` derive] is provided to instruct our containers on how to build
//! optimized storage for a given [`Key`]. We also require any key to be [`Copy`].
//!
//! ```
//! use fixed_map::Key;
//!
//! #[derive(Clone, Copy, Key)]
//! enum Key {
//! North,
//! South,
//! East,
//! West,
//! }
//! ```
//!
//! What happens behind the scenes is that a proc macro is used to build a
//! struct optimized for storing and indexing exactly 4 values - one for each
//! variant.
//!
//! Something exactly like this:
//!
//! ```no_run
//! struct Storage<V> {
//! data: [Option<V>; 4],
//! }
//! ```
//!
//! It becomes a bit more complicated once we start considering *composite
//! keys*. See the [`Key`] documentation for more information.
//!
//! <br>
//!
//! ## Why does this crate exist?
//!
//! There are many cases where you want associate a value with a small, fixed
//! number of elements identified by an enum.
//!
//! Let's say you have a game where each room has something in four directions.
//! We can model this relationship between the direction and the item using two
//! enums.
//!
//! ```
//! #[repr(usize)]
//! pub enum Dir {
//! North,
//! East,
//! South,
//! West,
//! }
//!
//! pub enum Item {
//! Bow,
//! Sword,
//! Axe,
//! }
//! ```
//!
//! The goal is for the performance of fixed map to be identical to storing the
//! data linearly in memory like you could through an array like `[Option<Item>;
//! N]` where each *index* corresponds to a variant in `Dir`.
//!
//! Doing this manually could look like this:
//!
//! ```
//! # #[repr(usize)]
//! # pub enum Dir { North, East, South, West }
//! # #[derive(Debug)]
//! # pub enum Item { Bow, Sword, Axe }
//! let mut map: [Option<Item>; 4] = [None, None, None, None];
//! map[Dir::North as usize] = Some(Item::Bow);
//!
//! if let Some(item) = &map[Dir::North as usize] {
//! println!("found item: {:?}", item);
//! }
//! ```
//!
//! But with a fixed [`Map`] you can do it idiomatically like this, without
//! incurring a drop in performance:
//!
//! ```
//! use fixed_map::{Key, Map};
//!
//! #[derive(Clone, Copy, Key)]
//! pub enum Dir {
//! North,
//! East,
//! South,
//! West,
//! }
//!
//! #[derive(Debug)]
//! pub enum Item {
//! Bow,
//! Sword,
//! Axe,
//! }
//!
//! let mut map = Map::new();
//! map.insert(Dir::North, Item::Bow);
//!
//! if let Some(item) = map.get(Dir::North) {
//! println!("found item: {:?}", item);
//! }
//! ```
//!
//! <br>
//!
//! ## Unsafe use
//!
//! The Entry API uses `unwrap_unchecked` to obtain mutable references to the
//! inner value of `Some`s, and to skip `drop` when overwriting `None`s.
//!
//! <br>
//!
//! ## Benchmarks
//!
//! We include benchmarks to ensure that we abide by the expectation that a
//! fixed map or set should perform roughly the same as an array with the same
//! number of elements.
//!
//! In the following benchmarks fixed-map is compared to:
//!
//! * `fixed` - A [`Map`] with a derived [`Key`] with `N` variants.
//! * [`hashbrown`] - A high performance hash map. This is only included for
//! reference.
//! - Note: Maps are created with `HashMap::with_capacity(N)`.
//! * `array` - A simple `[Option<Key>; N]` array.
//!
//! Note: for all `insert` benchmarks the underlying storage is cloned in each
//! iteration.
//!
//! ```text
//! get/fixed/4 time: [208.96 ps 209.57 ps 210.17 ps]
//! get/fixed/8 time: [211.12 ps 211.86 ps 212.55 ps]
//! get/fixed/16 time: [211.50 ps 211.84 ps 212.23 ps]
//! get/fixed/32 time: [211.02 ps 211.40 ps 211.79 ps]
//! get/array/4 time: [215.76 ps 216.56 ps 217.68 ps]
//! get/array/8 time: [216.80 ps 217.28 ps 217.83 ps]
//! get/array/16 time: [215.88 ps 216.21 ps 216.58 ps]
//! get/array/32 time: [216.39 ps 216.82 ps 217.33 ps]
//! get/hashbrown/4 time: [2.9134 ns 2.9168 ns 2.9210 ns]
//! get/hashbrown/8 time: [2.9143 ns 2.9175 ns 2.9212 ns]
//! get/hashbrown/16 time: [2.9258 ns 2.9293 ns 2.9328 ns]
//! get/hashbrown/32 time: [2.9387 ns 2.9428 ns 2.9466 ns]
//!
//! insert/fixed/4 time: [421.82 ps 422.47 ps 423.22 ps]
//! insert/fixed/8 time: [635.46 ps 636.91 ps 638.55 ps]
//! insert/fixed/16 time: [1.0579 ns 1.0599 ns 1.0621 ns]
//! insert/fixed/32 time: [1.6991 ns 1.7016 ns 1.7043 ns]
//! insert/array/4 time: [419.26 ps 419.76 ps 420.30 ps]
//! insert/array/8 time: [624.30 ps 626.27 ps 628.33 ps]
//! insert/array/16 time: [1.0444 ns 1.0467 ns 1.0490 ns]
//! insert/array/32 time: [1.6828 ns 1.6904 ns 1.6990 ns]
//! insert/hashbrown/4 time: [87.002 ns 87.233 ns 87.475 ns]
//! insert/hashbrown/8 time: [96.995 ns 97.287 ns 97.589 ns]
//! insert/hashbrown/16 time: [517.89 ns 518.66 ns 519.57 ns]
//! insert/hashbrown/32 time: [156.10 ns 156.67 ns 157.30 ns]
//!
//! values/fixed/4 time: [209.09 ps 209.51 ps 209.91 ps]
//! values/fixed/8 time: [213.99 ps 215.34 ps 217.08 ps]
//! values/fixed/16 time: [213.24 ps 213.94 ps 214.72 ps]
//! values/fixed/32 time: [212.71 ps 213.82 ps 215.15 ps]
//! values/array/4 time: [211.07 ps 211.78 ps 212.59 ps]
//! values/array/8 time: [211.48 ps 212.03 ps 212.65 ps]
//! values/array/16 time: [213.04 ps 213.49 ps 213.99 ps]
//! values/array/32 time: [213.18 ps 213.78 ps 214.60 ps]
//! values/hashbrown/4 time: [3.3965 ns 3.4007 ns 3.4056 ns]
//! values/hashbrown/8 time: [3.8443 ns 3.8627 ns 3.8895 ns]
//! values/hashbrown/16 time: [5.6312 ns 5.6666 ns 5.7029 ns]
//! values/hashbrown/32 time: [8.7221 ns 8.7674 ns 8.8117 ns]
//!
//! array/sum_values time: [3.0394 ns 3.0463 ns 3.0534 ns]
//! fixed/sum_values time: [3.0503 ns 3.0559 ns 3.0619 ns]
//! ```
//!
//! <br>
//!
//! ## Examples
//!
//! Most examples are in place to test what kind of assembler they compile to.
//!
//! To do this, run:
//!
//! ```sh
//! RUSTFLAGS="--emit asm" cargo build --release --example <example>
//! ```
//!
//! You should be able to find the assembler generated in the target folder:
//!
//! ```sh
//! ls target/release/examples/
//! ```
//!
//! [`Copy`]: https://doc.rust-lang.org/std/marker/trait.Copy.html
//! [`Deserialize`]: https://docs.rs/serde/1/serde/trait.Deserialize.html
//! [`hashbrown`]: https://github.com/Amanieu/hashbrown
//! [`Key` derive]: https://docs.rs/fixed-map/latest/fixed_map/derive.Key.html
//! [`Key`]: https://docs.rs/fixed-map/latest/fixed_map/derive.Key.html
//! [`Map`]: https://docs.rs/fixed-map/latest/fixed_map/map/struct.Map.html
//! [`entry`]: https://docs.rs/fixed-map/latest/fixed_map/map/struct.Map.html#method.entry
//! [`HashMap`]: https://doc.rust-lang.org/stable/std/collections/hash_map/struct.HashMap.html#method.entry
//! [`Serialize`]: https://docs.rs/serde/1/serde/trait.Serialize.html
//! [`Set`]: https://docs.rs/fixed-map/latest/fixed_map/set/struct.Set.html
//! [`Storage`]: https://docs.rs/fixed-map/latest/fixed_map/storage/trait.Storage.html
//! [documentation]: https://docs.rs/fixed-map
#![no_std]
#![deny(unsafe_code)]
#![deny(missing_docs)]
// Enable pedantic lints as warnings so we don't break builds when
// lints are modified or new lints are added to clippy.
#![warn(
// Enable more useful rustc lints
absolute_paths_not_starting_with_crate,
elided_lifetimes_in_paths,
explicit_outlives_requirements,
keyword_idents,
macro_use_extern_crate,
meta_variable_misuse,
missing_copy_implementations,
non_ascii_idents,
noop_method_call,
pointer_structural_match,
single_use_lifetimes,
trivial_casts,
trivial_numeric_casts,
unreachable_pub,
unused_extern_crates,
unused_import_braces,
unused_lifetimes,
unused_macro_rules,
unused_qualifications,
unused_tuple_struct_fields,
variant_size_differences,
// Enable pedantic clippy lints
clippy::pedantic,
// Useful clippy lints for no_std support
clippy::std_instead_of_core,
clippy::std_instead_of_alloc,
clippy::alloc_instead_of_core,
// Useful extra perf lints
clippy::missing_inline_in_public_items
)]
// `clippy::pedantic` exceptions
#![allow(
// style choice
clippy::module_name_repetitions,
// false positive
clippy::type_repetition_in_bounds,
// false positive
clippy::expl_impl_clone_on_copy
)]
pub mod key;
#[doc(inline)]
pub use fixed_map_derive::*;
pub mod map;
#[doc(inline)]
pub use self::map::Map;
pub mod set;
#[doc(inline)]
pub use self::set::Set;
// Re-export the option bucket types for use in `derive(Key)`
#[doc(hidden)]
pub mod option_bucket;
#[doc(hidden)]
pub mod macro_support;