id-arena

简单的、基于id的战场。

基于id

分配对象并返回该对象的标识符，而不是分配对象的引用。给定一个id，您可以从战场中获取分配对象的共享或独占引用。这种基于id的方法对于构建可变图数据结构非常有用。

如果您希望分配返回引用，请考虑使用 typed-arena crate。

不支持删除

此战场不支持删除，这使得其实现简单且分配速度快。如果您需要删除，则需要解决ABA问题的方法。请考虑使用 generational-arena crate。

均匀的

此crate的战场只能包含单个类型T的对象。如果您需要一个包含异构类型对象的战场，请考虑使用另一个crate。

#![no_std] 支持

需要alloc nightly功能。禁用默认启用的"std"功能

[dependencies.id-arena]
version = "2"
default-features = false

rayon 支持

如果此crate的rayon功能被激活

[dependencies]
id-arena = { version = "2", features = ["rayon"] }

则可以使用rayon的并行迭代支持。当适用时，Arena类型将具有par_iter方法族。

示例

use id_arena::{Arena, Id};

type AstNodeId = Id<AstNode>;

#[derive(Debug, Eq, PartialEq)]
pub enum AstNode {
    Const(i64),
    Var(String),
    Add {
        lhs: AstNodeId,
        rhs: AstNodeId,
    },
    Sub {
        lhs: AstNodeId,
        rhs: AstNodeId,
    },
    Mul {
        lhs: AstNodeId,
        rhs: AstNodeId,
    },
    Div {
        lhs: AstNodeId,
        rhs: AstNodeId,
    },
}

let mut ast_nodes = Arena::<AstNode>::new();

// Create the AST for `a * (b + 3)`.
let three = ast_nodes.alloc(AstNode::Const(3));
let b = ast_nodes.alloc(AstNode::Var("b".into()));
let b_plus_three = ast_nodes.alloc(AstNode::Add {
    lhs: b,
    rhs: three,
});
let a = ast_nodes.alloc(AstNode::Var("a".into()));
let a_times_b_plus_three = ast_nodes.alloc(AstNode::Mul {
    lhs: a,
    rhs: b_plus_three,
});

// Can use indexing to access allocated nodes.
assert_eq!(ast_nodes[three], AstNode::Const(3));