Question

我正在尝试创建一个具有字段的结构，该字段在F上具有通用性，其中F实现的内容类似于：Fn(&mut Compiler, &[Token]) -> &Token。唯一的问题是，我不确定如何在Fn特征上定义生存期，该生存期满足返回的&Token引用作为参数提供的&[Token]切片中的数据的约束。到目前为止，我尝试过的所有操作都引发了错误。

这是一个MVCE，它演示了代码（没有任何生存期）：

struct Compiler;
#[derive(Debug)]
struct Token(usize);

impl Compiler {
    // missing lifetime paramters here
    fn meth(&mut self, tokens: &[Token]) -> &Token {
        tokens.get(0).unwrap()
    }
}

// missing lifetime paramters here    
struct Rule<F> where F: Fn(&mut Compiler, &[Token]) -> &Token {
    func: F
}

fn main() {
    let mut c = Compiler;
    let tokens = vec![Token(0), Token(1), Token(2)];
    let r = Rule { func: Compiler::meth };
    (r.func)(&mut c, &tokens);
}

自然，它无法编译并显示错误：

   Compiling playground v0.0.1 (/playground)
error[E0106]: missing lifetime specifier
  --> src/main.rs:11:56
   |
11 | struct Rule<F> where F: Fn(&mut Compiler, &[Token]) -> &Token {
   |                                                        ^ expected lifetime parameter
   |
   = help: this function's return type contains a borrowed value, but the signature does not say whether it is borrowed from argument 1 or argument 2

我试图到处添加生命周期说明符，四处移动，但似乎无济于事。我非常感谢您对此问题有任何见解。谢谢！

Answer 1

根据@Stargateur的评论，解决方案是在Fn特质声明中添加Higher-Ranked Trait Bound。 where for子句是完全针对此用例的一段语法。

正常的生存期界限不起作用，因为在调用时间之前，我们不知道将哪些生存期应用于函数的参数。

所以我们从这里开始：

struct Rule<F> where F: Fn(&mut Compiler, &[Token]) -> &Token {
    func: F
}

对此：

struct Rule<F> where for<'a> F: Fn(&mut Compiler, &'a[Token]) -> &'a Token {
    func: F
}

其中规定，应用于函数F的特征范围必须满足'a 在调用时的所有潜在生存期。魔术！

如何在Fn特征绑定返回的引用上定义生存期？

1 个答案: