nom解析器借用检查器问题

问题描述 投票:2回答:2

我使用nom 4.2.2进行了这个Rust程序。 (我已经冒昧地扩展了nom解析器功能。)

extern crate failure;
extern crate nom;

use failure::Error;
use std::fs::File;
use std::io::Read;

fn nom_parser(i: &[u8]) -> ::nom::IResult<&[u8], String, u32> {
    { ::nom::lib::std::result::Result::Ok((i, ("foo".to_owned()))) }
}

fn my_parser(buf: &[u8]) -> Result<(&[u8], String), Error> {
  Ok((buf, "foo".to_owned()))
}

fn main() -> Result<(), Error> {
  let handler = |mut entries: String| { entries.clear() };
  loop {
    let mut buf = Vec::new();
    File::open("/etc/hosts")?.read_to_end(&mut buf)?;
    let res = nom_parser(&buf)?.1;
    // let res = my_parser(&buf)?.1;
    handler(res);
  }
}

使用rustc 1.33.0 (2aa4c46cf 2019-02-28)编译此程序会产生以下问题:

error[E0597]: `buf` does not live long enough
  --> nom-parsing/src/main.rs:21:26
   |
21 |     let res = nom_parser(&buf)?.1;
   |               -----------^^^^-
   |               |          |
   |               |          borrowed value does not live long enough
   |               argument requires that `buf` is borrowed for `'static`
...
24 |   }
   |   - `buf` dropped here while still borrowed

切换到解析器的注释版本编译就好了。 my_parsernom_parser有何不同?谁在借钱?我该如何更改程序来安抚借阅检查器?

rust borrow-checker nom
2个回答
4
投票
let res = nom_parser(&buf)?.1;
                          ^ here

您正在使用?运算符将错误传播出mainIResult<&[u8], String, u32> = Result<(&[u8], String), nom::Err<&[u8], u32>>。因此,如果出现错误,&buf将作为其中的一部分返回,因此即使在main函数退出后它也必须保持活着,但它不会因为bufmain中的局部变量而存在。

在您的情况下,nom_parser永远不会返回错误,但验证只关心类型和函数签名。

要修复它,您应该在传播之前以某种方式处理错误。例如:

let res = nom_parser(&buf).map_err(|_| failure::format_err!("Parsing failed!"))?.1;

请注意,Err中的IResult并不总是很难。它可能是nom::Err::Incomplete,这意味着如果提供更多数据,解析可能会成功,或者nom::Err::Error意味着输入未被解析器匹配(因此也许alt!中的另一个解析器可能成功),或者nom::Err::Failure,这意味着在某些过程中出现了问题。解析。根据具体情况,您可能会将它们视为失败,或以不同方式处理它们。


0
投票

这个问题似乎是在IResult<I, O, E = u32>,它花费Result<(I, O), Err<I, E>>

正如您所看到的,当您使用?时,您可能返回的Err仍然可以包含对类型I的引用,这是您的&[u8],并从您的函数返回。

函数返回此引用的唯一方法是引用的生命周期不以函数结尾,'static

解决问题的一个简单方法是将&[u8]更改为Vec<u8>,即使我不确定你要用它做什么。

© www.soinside.com 2019 - 2024. All rights reserved.