我该怎么做才能解决"使用移动值"错误?

时间:2015-03-01 22:43:48

标签: rust

我试图计算Rust中的第10,001个素数(Project Euler 7),作为其中的一部分,我检查整数是否为素数的方法引用了一个向量:

fn main() {
    let mut count: u32 = 1;
    let mut num: u64 = 1;
    let mut primes: Vec<u64> = Vec::new();
    primes.push(2);

    while count < 10001 {
        num += 2;
        if vectorIsPrime(num, primes) {
            count += 1;
            primes.push(num);
        }
    }
}

fn vectorIsPrime(num: u64, p: Vec<u64>) -> bool {
    for i in p {
        if num > i && num % i != 0 {
            return false;
        }
    }

    true
}

当我尝试引用向量时,出现以下错误:

error[E0382]: use of moved value: `primes`
 --> src/main.rs:9:31
  |
9 |         if vectorIsPrime(num, primes) {
  |                               ^^^^^^ value moved here, in previous iteration of loop
  |
  = note: move occurs because `primes` has type `std::vec::Vec<u64>`, which does not implement the `Copy` trait

为了能够在primes函数中访问它,我需要对vectorIsPrime做些什么?

3 个答案:

答案 0 :(得分:33)

使用函数vectorIsPrime()的当前定义,该函数指定它需要参数的所有权,因为您通过值传递

当函数需要按值参数时,编译器将检查是否可以通过检查它是否实现特征Copy来复制该值。

  • 如果是,则复制该值(使用memcpy)并将其提供给该函数,您仍然可以继续使用原始值。
  • 如果没有,则将值移动到给定的函数,然后调用者不能使用它

这就是您所拥有的错误消息的含义。

但是,大多数函数不需要参数的所有权:它们可以处理“借用引用”,这意味着它们实际上并不拥有该值(并且不能将其放入容器中或将其销毁)。

fn main() {
    let mut count: u32 = 1;
    let mut num: u64 = 1;
    let mut primes: Vec<u64> = Vec::new();
    primes.push(2);

    while count < 10001 {
        num += 2;
        if vector_is_prime(num, &primes) {
            count += 1;
            primes.push(num);
        }
    }
}

fn vector_is_prime(num: u64, p: &[u64]) -> bool {
    for &i in p {
        if num > i && num % i != 0 {
            return false;
        }
    }
    true
}

函数vector_is_prime()现在指定它只需要一个 slice ,即一个借用的指向数组的指针(包括它的大小),你可以使用借位运算符从向量中获取{ {1}}。

有关所有权的更多信息,我邀请您阅读本书中有关ownership的部分内容。

答案 1 :(得分:31)

正如我所说,Rust是一种“以价值为导向”的语言。这意味着如果你定义像这样的素数

let primes: Vec<u64> = …

它不是对矢量的引用。它实际上是一个存储Vec<u64>类型的的变量,就像任何u64变量存储u64值一样。这意味着如果将它传递给像这样定义的函数

fn vec_is_prime(num: u64, vec: Vec<u64>) -> bool { … }

该函数将获得自己的u64值及其自己的Vec<u64>值。

u64Vec<u64>之间的区别是,u64值可以轻松复制到其他位置,而Vec<u64>值只能移动很容易到另一个地方。如果你想为vec_is_prime函数提供自己的Vec<u64>值,同时为main保留一个,你必须以某种方式复制它。那是clone()的用途。你必须在这里明确的原因是因为这个操作并不便宜。 Rust的一个好处是:发现昂贵的操作并不难。所以,你可以调用这个函数

if vec_is_prime(num, primes.clone()) { …

但实际上并不是你想要的。该函数不需要自己的Vec<64>值。它只需要借用一会儿。在这种情况下,借贷效率更高,更适用:

fn vec_is_prime(num: u64, vec: &Vec<u64>) -> bool { …

现在调用它需要“借用运算符”:

if vec_is_prime(num, &primes) { …

好多了。但我们仍然可以改进它。如果某个函数想要仅仅为了阅读它而借用Vec<T>,那么最好采用&[T]代替:

fn vec_is_prime(num: u64, vec: &[u64]) -> bool { …

它更为一般。现在,你可以将一个Vec的某个部分完全借给函数或其他东西(不一定是Vec,只要这个东西连续地将它的值存储在内存中,就像静态查找表一样)。同样不错的是,由于版本规则,您不需要在呼叫站点更改任何内容。您仍然可以使用&primes作为参数调用此函数。

对于String&str,情况是一样的。 String用于存储字符串值,因为此类型的变量拥有该值。 &str用于借用它们。

答案 2 :(得分:1)

您将primes的值移动到函数vectorIsPrime(按惯例,BTW Rust使用snake_case)。你有其他选择,但最好的选择是借用矢量而不是移动它:

fn vector_is_prime(num: u64, p: &Vec<u64>) -> bool { … }

然后传递给它:

vector_is_prime(num, &primes)