文章目录

• Ownership
• • 变量和数据的交互方式：move
  • 变量和数据的交互方式：clone
  • • 栈上的数据
  • Ownership和函数
  • • 返回值和Scope

Ownership

变量和数据的交互方式：move

普通变量的赋值

fn main() {
    let x = 5;
    let y = x;
}

第一句将5与变量x绑定，第二句是创建了一个x的值的副本，并将该值与变量y绑定

String类型变量的赋值

fn main() {
    let s1 = String::from("hello");
    let s2 = s1;
}

在rust中一个String类型由三部分组成：

• 指向保存字符串内容的内存(这块内存在堆上)的指针
• 长度
• 容量

所以，上面的代码在rust中的处理可能有以下情况

• 堆上的字符串内容并没有复制，仅复制栈上的变量，然后将s2的指针也指向堆上的字符串内容

  

• 堆和栈的内容都进行复制

  

  这两种做法都有很大的缺点，方法一在变量失效的时候会多次释放内存，导致出错。方法二在字符串很大的时候程序的执行效率很差。所以rust采用的是下面的方式

• 在方案一的基础上，s2复制完后，就将s1视为失效，s1超出范围之后不释放内存

  

变量和数据的交互方式：clone

上面提到的move型的操作是不会对数据进行深拷贝，仅仅拷贝变量然后移交控制权。接下来介绍的clone型操作方式是会对数据进行深拷贝的

fn main() {
    let s1 = String::from("hello");
    let s2 = s1.clone();

    println!("s1 = {}, s2 = {}", s1, s2);
}

这段代码的执行就如方法二所示

栈上的数据

在复制时都是深拷贝。原因是：诸如在编译时具有已知大小的整数之类的类型完全存储在堆栈中，因此可以快速制作实际值的副本。

rust中可以给类型实现Copy trait，这样我们新实现的类型就可以放置在栈空间中。但是我们不能给已经实现了drop trait的类型再实现Copy trait。

不需要分配操作的类型都可以实现Copy trait。

以下是一些具有Copy trait的类型：

• 所有的整型，类似u32
• 布尔型
• 所有的浮点型，类似f64
• 字符类型，char
• Tuples（元组中的类型只包含具有Copy trait的类型）

Ownership和函数

给函数传值类似于赋值操作，举个例子

fn main() {
    let s = String::from("hello");  // s comes into scope

    takes_ownership(s);             // s's value moves into the function...
                                    // ... and so is no longer valid here

    let x = 5;                      // x comes into scope

    makes_copy(x);                  // x would move into the function,
                                    // but i32 is Copy, so it's okay to still
                                    // use x afterward

} // Here, x goes out of scope, then s. But because s's value was moved, nothing
  // special happens.

fn takes_ownership(some_string: String) { // some_string comes into scope
    println!("{}", some_string);
} // Here, some_string goes out of scope and `drop` is called. The backing
  // memory is freed.

fn makes_copy(some_integer: i32) { // some_integer comes into scope
    println!("{}", some_integer);
} // Here, some_integer goes out of scope. Nothing special happens.

当将s传入take_ownership函数之后，在使用变量s就会出错

返回值和Scope

直接举例

fn main() {
    let s1 = gives_ownership();         // gives_ownership moves its return
                                        // value into s1

    let s2 = String::from("hello");     // s2 comes into scope

    let s3 = takes_and_gives_back(s2);  // s2 is moved into
                                        // takes_and_gives_back, which also
                                        // moves its return value into s3
} // Here, s3 goes out of scope and is dropped. s2 goes out of scope but was
  // moved, so nothing happens. s1 goes out of scope and is dropped.

fn gives_ownership() -> String {             // gives_ownership will move its
                                             // return value into the function
                                             // that calls it

    let some_string = String::from("hello"); // some_string comes into scope

    some_string                              // some_string is returned and
                                             // moves out to the calling
                                             // function
}

// takes_and_gives_back will take a String and return one
fn takes_and_gives_back(a_string: String) -> String { // a_string comes into
                                                      // scope

    a_string  // a_string is returned and moves out to the calling function
}

如果我们希望将变量传入函数之后继续使用该变量，我们需要将值以返回值的形式在返回给变量。如果想返回多个值，可以以元组的形式将值返回

标签：String,some,into,day2,let,ownership,------,scope,string
来源： https://blog.csdn.net/lhkwqy/article/details/117394230