如何使用type＆amp;'static str创建100个不同的标签？

Question

我正在尝试使用RefCell和Rc创建图表。我想在一个带有字符串标签的循环中创建100个节点。这是图表表示：

struct Node {
    datum: &'static str,
    edges: Vec<Rc<RefCell<Node>>>,
}

impl Node {
    fn new(datum: &'static str) -> Rc<RefCell<Node>> {
        Rc::new(RefCell::new(Node {
            datum: datum,
            edges: Vec::new(),
        }))
    }
}

这是我写的用于创建节点的循环：

for i in 0..100 {
    let a = Node::new(concat!("A", i));
    let b = Node::new(concat!("A", i + 1));
    {
        let mut mut_root = a.borrow_mut();
        mut_root.edges.push(b.clone());
    }
}

这是我得到的错误：

error: expected a literal
  --> src/main.rs:17:40
   |
17 |         let a = Node::new(concat!("A", i));
   |                                        ^

error: expected a literal
  --> src/main.rs:18:40
   |
18 |         let b = Node::new(concat!("A", i + 1));
   |                                        ^^^^^

Answer 1

你不能。

生命周期是描述性的，而不是规定性的：您无法创建字符串并说“＃34;此数据的生命周期为'static。＆＃34; Rust会让您编写像'static这样的生命周期注释，以便编译器可以检查您的工作。在运行时循环中构建字符串的情况下，您无法安全地调用它'static，因为它不是。 （另见Check this reference。）

但这并不意味着你没有任何选择。

完全避免生命期

您可能正在寻找的只是避免使用生命周期参数Node进行注释，例如Node<'a>。在这种情况下，只需使用String：

struct Node {
    datum: String,
    edges: Vec<Rc<RefCell<Node>>>,
}

这是惯用的，很可能是最好的选择。如果你确定在创建它之后永远不需要String方法，并且你不想存储它的容量，你可以致电this question来制作它改为Box<str>。这与&'static str的存储方式相同，但str的堆存储将在Node被删除时回收。

您甚至可以使用Rc<str>，它与&'static str的存储空间相同，但克隆比Box便宜。

伪造'static

如果你真的想要，你可以＆＃34;假＆＃34;通过制作&'static str并泄露它来Box<str> - 即放弃了它Box的知识，以便其后备记忆永远不被回收。自Rust 1.26起，您可以使用into_boxed_str;我将创建一个帮助函数来创建标签：

fn label(i: u32) -> &'static str {
    let s = format!("A{}", i);
    Box::leak(s.into_boxed_str())
}
for i in 0..100 {
    let a = Node::new(label(i));
    let b = Node::new(label(i+1));
    // ...
}

这给你的主要内容是&引用是Copy。但是Node不是Copy，所以为什么不使用Box？

在编译时或之前生成标签

如果您需要一个实际上 'static的字符串，它必须在编译时存在。据我所知，macro_rules宏不够强大，但你可以随时生成代码。这是一种可能性：

// This part can be generated by a build script, or in your editor:
static LABELS: [&'static str; 100] = [
    "A1", "A2", "A3", "A4", "A5", "A6", "A7", "A8", "A9", "A10", "A11", "A12", "A13", "A14",
    "A15", "A16", "A17", "A18", "A19", "A20", "A21", "A22", "A23", "A24", "A25", "A26", "A27",
    "A28", "A29", "A30", "A31", "A32", "A33", "A34", "A35", "A36", "A37", "A38", "A39", "A40",
    "A41", "A42", "A43", "A44", "A45", "A46", "A47", "A48", "A49", "A50", "A51", "A52", "A53",
    "A54", "A55", "A56", "A57", "A58", "A59", "A60", "A61", "A62", "A63", "A64", "A65", "A66",
    "A67", "A68", "A69", "A70", "A71", "A72", "A73", "A74", "A75", "A76", "A77", "A78", "A79",
    "A80", "A81", "A82", "A83", "A84", "A85", "A86", "A87", "A88", "A89", "A90", "A91", "A92",
    "A93", "A94", "A95", "A96", "A97", "A98", "A99", "A100",
];
for i in 0..100 {
    let a = Node::new(LABELS[i]);
    // ...
}