tyght-map

静态类型映射实现。

lib.rs:

tyght-map crate 提供了静态类型映射实现。

类型映射是一种值按其类型索引的映射。

映射 TyghtMap 具有以下特性

• 映射的大小将与其项的大小相匹配。
• 没有堆分配，此crate是 !#[no_std]。
• 提供可靠和不可靠的方法。
• 无安全隐患。

示例

#![feature(generic_const_exprs)]

// Insert some different types into the map and check the size
let map = TyghtMap::new().insert(3u32).insert(4i32).insert(3f32);
assert_eq!(std::mem::size_of_val(&map), 12);

// Retrieve the `u32` from the map
let item: &u32 = map.get();
assert_eq!(*item, 3);

// Insert a `String` into the map, then mutate it
let mut map = map.insert("Hey".to_string());
*map.get_mut::<String>() += ", world!";

// Try to get a `u8` from the map
let item = map.try_get::<u8>();
assert_eq!(item, None);

// Remove the `String` from the map
let (item, _map) = map.remove::<String>();
println!("{item}");

特质

对 TyghtMap<S> 的 S 的约束作为对其包含的值的约束。

有三个重要的标记特质

• Contains<T> 当 S 包含 T 时在 S 上实现，允许
  • 替换
  • 获取
  • 获取可变
  • 移除
• MaybeContains<T> 总是在 S 上实现，允许
  • 尝试插入
  • 尝试获取
  • 尝试获取可变
  • 尝试移除
• Missing<T> 当 S 不包含 T 时在 S 上实现，允许
  • 插入

以下函数 不能 使用不包含 String 和 u32 的映射调用。

fn print_string<S>(map: &TyghtMap<S>)
where
    S: Contains<String>,
    S: Contains<u32>,
{
    let string: &String = map.get();
    let int: &u32 = map.get();
    println!("{string} {int}");
}