Question

我正在尝试围绕VecDeque编写一个小包装器。

具体来说，我有代码（playground）：

use std::collections::VecDeque;

trait VecCircleTraits<T: Eq> {
    fn new() -> VecCircle<T>;
    fn find_and_remove(&self, _: T) -> Option<T>;
}

#[derive(Debug)]
struct VecCircle<T: Eq>(VecDeque<T>);

impl<T: Eq> VecCircleTraits<T> for VecCircle<T> {
    fn new() -> VecCircle<T> {
        return VecCircle(VecDeque::<T>::new());
    }

    fn find_and_remove(&self, key: T) -> Option<T> {
        let search_index: Option<usize> = self.0.into_iter().position(|x| x == key); //error 1
        if let Some(index) = search_index {
            return self.0.remove(index); // error 2
        } else {
            return None;
        }
    }
}

这给了我以下错误：

    error: cannot borrow immutable anonymous field `self.0` as mutable
  --> <anon>:20:20
   |>
20 |>             return self.0.remove(index); // error 2
   |>                    ^^^^^^

error: cannot move out of borrowed content [--explain E0507]
  --> <anon>:18:44
   |>
18 |>         let search_index: Option<usize> =  self.0.into_iter().position(|x| x == key); //error 1
   |>                                            ^^^^ cannot move out of borrowed content

然而，我对于拥有self.0的所有权感到困惑？如果我正确理解文档，那么内存区域是否会被限制为self.0，从而赋予它所有权？对不起那里浅薄的逻辑，但我仍然试图了解所有权制度。

Answer 1

在find_and_remove中，您在参数列表中指定了&self。这意味着该方法将接收到self的借用指针;即self的类型是&VecCircle<T>。因此，该方法没有VecCircle<T>的所有权。

find_and_remove尝试在into_iter上致电VecDeque，into_iter按价值（self而非&self或{&mut self接收其参数{1}}）。因此，Rust将self.0解释为试图将VecDeque移出VecCircle。但是，这是不允许的，因为您无法从借来的内容中移除任何内容，因为从某个位置移动会使该位置无效。但我们不能只告诉来电者“嘿，我刚刚使self失效，停止使用它！”;如果我们想这样做，我们必须在参数列表中指定self，而不是&self。

但这不是你想要做的。 into_iter将获得VecDeque的所有权，因此将其销毁。还有其他方法可以获取VecDeque的迭代器而不会破坏它。在这里，我们应该使用iter，这需要&self。

然后，find_and_remove尝试拨打remove。 remove需要&mut self，即对VecDeque的可变引用。但是，我们不能将self.0借用为可变的，因为self本身并不是一个可变的借用。我们不能只是将不可变借入升级为可变借用：同时使用不可变借入和可变借用是无效的。此处的解决方案是在参数列表中将&self更改为&mut self。

use std::collections::VecDeque;

trait VecCircleTraits<T: Eq> {
    fn new() -> VecCircle<T>;
    fn find_and_remove(&mut self, _: &T) -> Option<T>;
}

#[derive(Debug)]
struct VecCircle<T: Eq>(VecDeque<T>);

impl<T: Eq> VecCircleTraits<T> for VecCircle<T> {
    fn new() -> VecCircle<T> {
        return VecCircle(VecDeque::<T>::new());
    }

    fn find_and_remove(&mut self, key: &T) -> Option<T> {
        let search_index: Option<usize> =  self.0.iter().position(|x| x == key);
        if let Some(index) =  search_index {
            self.0.remove(index)
        } else {
            None
        }
    }
}

注意：我还将key参数更改为&T以解决另一个错误，这次是在传递给position的闭包中。由于iter遍历对VecDeque中项目的引用，position传递对闭包的引用。由于find_and_remove实际上不需要获取密钥的所有权，因此它应该只接收不可变借用，因此x和key都属于&T类型因此我们可以将==应用于他们。

Answer 2

否，您不拥有O(N^2)方法中VecCircle的所有权。您需要知道的只是函数定义：

find_and_remove

这意味着您向[{1}}借用 。写这个的更长的方法是

impl<T: Eq> VecCircleTraits<T> for VecCircle<T> { fn find_and_remove(&self, key: T) -> Option<T> }

也许这更明显？

由于您没有VecCircle的所有权，因此您无法拥有fn find_and_remove(self: &VecCircle, key: T) -> Option<T>的所有权。

谁拥有一个结构的成员在一个带有＆amp; self的功能？

2 个答案: