Question

我正在尝试为字节流实现一个简单的解析器。

当我想重用之前声明的变量时遇到麻烦

fn read_data(asn_data: &mut Cursor<&[u8]>) -> Result<(u8, u8, Vec<u8>), Err> {
    let total_len = asn_data.get_ref().len();

    if total_len < 2 {
        return Err(1);
    }
    let d_type = asn_data.read_u8().unwrap();
    let d_len = asn_data.read_u8().unwrap();

    if (asn_data.position() + d_len as u64) > total_len as u64 {
        return Err(2);
    }

    let mut buf = vec![0; d_len as usize];

    match asn_data.read_exact(&mut buf) {
        Err(e) => Err(e),
        Ok(()) => Ok((d_type, d_len, buf)),
    }

}

fn parse_request(request: &[u8]) -> Option<u8> {

    if request.len() == 0 {
        return None;
    }

    let mut rdr = Cursor::new(request);
    let data_tuple = read_data(&mut rdr).unwrap();
    println!("{:02?}", data_tuple.2);

    rdr = Cursor::new(data_tuple.2.as_slice());
    let data_tuple = read_data(&mut rdr).unwrap();
    println!("{:02x?}", data_tuple.2);

    Some(1)
}

在parse_request函数中，我想重用rdr变量，但是使用上面显示的代码，编译时出现下一个错误：

错误[E0597]：data_tuple.2的寿命不足->   src / main.rs：80：23       | 80 | rdr =游标:: new（data_tuple.2.as_slice（））;       |借入的值寿命不足以维持生命... 104 | ^^^^^^^^^^^^^^ }       | -data_tuple.2仍然借来时掉到了这里       |       =注意：作用域中的值以与创建时相反的顺序删除

错误：由于先前的错误而中止

但是，如果我在使用第二次rdr变量时写了“ let mut”，则代码可以编译并可以正常工作...

let mut rdr = Cursor::new(data_tuple.2.as_slice());

我不明白为什么...我要重用变量而不是再次声明...

我尝试了一些与可变寿命有关的示例/问题，但是我没有得到针对我的案例的解决方案...而且我发现我不完全了解该解决方案...

Answer 1

这与元组的生存期无关，这只是删除顺序。

当变量在相同范围（即，同一块）中的单独let语句中定义时，它们将以 reverse 顺序删除。查看您的代码，我们可以看到：

let mut rdr = Cursor::new(request);
let data_tuple = read_data(&mut rdr).unwrap();

因此，data_tuple仍将存活，而rdr将首先被丢弃。这很不好，因为rdr必须引用元组。最简单的解决方法是交换它们的定义：

let data_tuple: (u8, u8, Vec<u8>);
let mut rdr = Cursor::new(request);
data_tuple = read_data(&mut rdr).unwrap();

这样，rdr将首先被删除，释放对data_tuple的引用，并使元组本身被删除。

您提到的“修正”是有效的，因为每个let语句都定义了新变量，即使已经使用了相同的名称，它们也会被立即遗忘。所以，当你写：

let mut rdr = Cursor::new(request);
let data_tuple = read_data(&mut rdr).unwrap();
let mut rdr = Cursor::new(data_tuple.2.as_slice());

第二个rdr与第一个没有任何关系。从本质上讲，它几乎与声明两个不同的变量（例如rdr和rdr2，并从该位置开始使用rdr2直到函数结束）相同。

Tuple的锈蚀寿命存在问题。

1 个答案: