gpt4 book ai didi

rust - 为什么 iter 在模式保护中使用时可变借用?

转载 作者:行者123 更新时间:2023-11-29 07:50:34 25 4
gpt4 key购买 nike

这段代码:

fn t(r: &[u8]) {
match r {
_ if r.iter().any(|&x| x == b';') => {}
_ => {}
}
}

给我错误:

error[E0301]: cannot mutably borrow in a pattern guard
|
10 | _ if r.iter().any(|&x| x == b';') => {}
| ^^^^^^^^ borrowed mutably in pattern guard

我知道我不能在匹配模式中可变借用,但为什么编译器认为 r.iter() 可变借用?有一个单独的方法 iter_mut 用于可变借用。

如何在不引入单独函数的情况下检查 &[u8] 是否包含 b';'

最佳答案

错误消息有点微妙 — iter 不可变借用,但 iter 的结果被可变借用。这是因为 Iterator::any通过可变引用获取 self:

fn any<F>(&mut self, f: F) -> bool 
where
F: FnMut(Self::Item) -> bool,

这是一个复制品:

struct X;

impl X {
fn new() -> X { X }
fn predicate(&mut self) -> bool { true }
}

fn main() {
match () {
_ if X::new().predicate() => {}
_ => {}
}
}

我只是检查切片 contains值:

fn t(r: &[u8]) {
match r {
_ if r.contains(&b';') => {}
_ => {}
}
}

实际上,这是借用检查器过于激进的一个例子。从 match guard 的“外部”可变地借用一些东西是一个坏主意,但可变地借用 match guard 中创建的东西应该是安全的。

当重写借用检查器以使用 Rust 的 MIR 层时,这种特殊情况可能会起作用。

另见:

关于rust - 为什么 iter 在模式保护中使用时可变借用?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/44987079/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com