揭秘Rust中所有权在函数传递值和返回值中的转移

2023-12-09 22:38:19

Rust 中所有权：函数传递值和返回值

在 Rust 编程语言中，所有权是一个至关重要的概念，它决定了变量的生命周期和内存管理方式。在之前的文章中，我们探讨了所有权在变量赋值中的转移机制，现在让我们深入探究另一种常见的场景：函数传递值和返回值。

向函数传递值

当我们将变量作为参数传递给函数时，Rust 会根据变量的类型和传递方式来决定所有权的转移。

按值传递：

当我们按值传递一个变量时，函数将获得该变量的一个副本，而不会影响到原始变量。这意味着函数内部对变量的任何修改都不会影响到函数外部的变量。

fn add_one(x: i32) -> i32 {
    x + 1
}

fn main() {
    let x = 5;
    let y = add_one(x);
    println!("x: {}, y: {}", x, y); // 输出：x: 5, y: 6
}

按引用传递：

当我们按引用传递一个变量时，函数将获得该变量的内存地址，而不是一个副本。这意味着函数内部对变量的任何修改都会影响到函数外部的变量。

fn add_one(x: &mut i32) {
    *x += 1;
}

fn main() {
    let mut x = 5;
    add_one(&mut x);
    println!("x: {}", x); // 输出：x: 6
}

从函数返回值

当函数返回一个值时，Rust 会根据返回值的类型和返回方式来决定所有权的转移。

按值返回：

当我们按值返回一个值时，函数将创建一个该值的副本，并将其作为返回值返回。这意味着函数外部对返回值的任何修改都不会影响到函数内部的变量。

fn add_one(x: i32) -> i32 {
    x + 1
}

fn main() {
    let x = 5;
    let y = add_one(x);
    y += 1;
    println!("x: {}, y: {}", x, y); // 输出：x: 5, y: 7
}

按引用返回：

当我们按引用返回一个值时，函数将返回该值的内存地址，而不是一个副本。这意味着函数外部对返回值的任何修改都会影响到函数内部的变量。

fn get_mut_x() -> &mut i32 {
    let mut x = 5;
    &mut x
}

fn main() {
    let mut y = get_mut_x();
    *y += 1;
    println!("y: {}", y); // 输出：y: 6
}