在 Rust 中将局部变量复制到向量中答案

【问题标题】：Copying local variable into vector in Rust在 Rust 中将局部变量复制到向量中
【发布时间】：2021-05-12 22:31:53
【问题描述】：

我是 Rust 新手，我正在尝试将一个局部变量复制到一个向量中。这是我的尝试：

#[derive(Copy, Clone)]
struct DFAItem<'a> {
    reading: usize,
    production: &'a grammar::CFGProduction<'a>,
    next_terminal: i32,
}

fn add_nonterminal<'a>(cfg: &'a grammar::CFG, nonterminal: usize, itemset: &'a mut Vec<DFAItem>) {
    let productions = &cfg.productions[nonterminal];
    for prod in productions {
        let item = DFAItem {
            reading: 0,
            production: prod,
            next_terminal: 0,
        };
        itemset.push(item); //here, I get a lifetime error (lifetime 'a required).
        match prod.rhs[0] {
            grammar::Symbol::Nonterminal(x) if x != nonterminal => add_nonterminal(cfg, x, itemset),
            _ => (),
        }
    }
}

我知道我无法修改项目的生命周期以使其匹配项目集，所以我要做的是将项目复制到向量中，这样就有向量的生命周期。任何帮助/提示将不胜感激。

另外，任何人都知道语法，以便我可以将 cfg 更改为至少与 itemset 一样长的生命周期，而不是相同？我会宣布第二次生命还是有更好的方法？

编辑：这里是 CFG 和 CFGProduction 的定义：

pub enum Symbol {
    Terminal(i32),
    Nonterminal(usize),
}

pub struct CFGProduction<'a> {
    pub nonterminal: usize,
    pub rhs: &'a Vec<Symbol>,
}

pub struct CFG<'a> {
    pub terminals: Vec<i32>,
    pub productions: Vec<Vec<CFGProduction<'a>>>,
}

【问题讨论】：

标签： rust lifetime borrow-checker

【解决方案1】：

首先，itemset vec 的生命周期是不相关的，不需要限制在任何东西上。其次，CFG 和 DFAItem 具有通用的生命周期参数，因此在函数参数中使用它们时应该这样指明。

这是我的看法，这里涉及到两个重要的生命周期：

'a：CFGProduction 所需的生命周期
'b：cfg 及其后续引用存储在 DFAItems 中的生命周期

因此，DFAItem 应该有两个生命周期：

struct DFAItem<'a, 'b> {
    // ...
    production: &'b grammar::CFGProduction<'a>,
    // ...
}

add_nonterminal() 的签名看起来像这样：

fn add_nonterminal<'a, 'b>(cfg: &'b grammar::CFG<'a>, nonterminal: usize, itemset: &mut Vec<DFAItem<'a, 'b>>) {
    // ...
}

随着这些生命周期的变化，函数体按原样编译。在playground 上查看。

您可以选择不来执行此操作，而只需使用'a 处理所有内容：

struct DFAItem<'a> {
    // ...
    production: &'a grammar::CFGProduction<'a>,
    // ...
}

fn add_nonterminal<'a>(cfg: &'a grammar::CFG<'a>, nonterminal: usize, itemset: &mut Vec<DFAItem<'a>>) {
    // ...
}

但我建议不要这样做。具有&'a Type<'a> 模式的类型，其中泛型生命周期与其自身相关联，可能会导致问题；尤其是可变性。

【讨论】：