rust - 我应该在哪里使用 &v : &V to describe a parameter in function signatures?

Question

您可以在Rust playground 上找到以下代码.

fn main() {
    #[derive(Clone, Copy, Debug)]
    struct Foo {
        bar: u32,
    }

    fn take_ref(&f: &Foo) {
        println!("{:?}", f);
    }

    fn take_foo(f: Foo) {
        println!("{:?}", f);
    }

    let f = Foo {
        bar: 1,
    };

    take_ref(&f);
    println!("{:?}", f);

    take_foo(f.clone());
    println!("{:?}", f);
}

take_ref 和 take_foo 这两个函数是一样的吗？我什么时候应该使用 &v: &V 而不是 v: V？

Answer 1

一般来说，我认为你不应该使用&f: &Foo 形式。它被编译器接受的唯一原因是函数参数(如 let 赋值)实际上是无可辩驳的模式。如果您尝试放置一般模式，可以在错误消息中看到这一点:

fn take_option (Some (f): Option<Foo>) {
    println!("{:?}", f);
}

不提示语法无效，而是给出这个错误信息:

error[E0005]: refutable pattern in function argument: `None` not covered
  --> src/main.rs:15:21
   |
15 |     fn take_option (Some (f): Option<Foo>) {
   |                     ^^^^^^^^ pattern `None` not covered

使用模式作为函数参数可以实现自动元组、数组或结构解构等美好事物:

fn take_tuple ((x, y): (i32, i32)) {
    println!("x: {}, y: {}", x, y);
}

fn take_array ([x, y]: [i32; 2]) {
    println!("x: {}, y: {}", x, y);
}

fn take_foo (Foo { bar: bar }: Foo) {
    println!("bar: {}", bar);
}

population
   .iter()
   .enumerate()
   .map (|(rank, person)| { ... });