rust 学习--所有权

所有权是rust的核心功能。

Rust 是通过所有权来管理内存回收的

栈(Stack)

  1. 栈是后进先出的

  2. 栈中存储的数据在编译时是固定内存大小的数据

  3. 数据移除栈叫出栈,数据存入栈叫入栈

  4. 入栈要比在堆上分配内存块,入栈时分配器无需为存储新数据去搜索内存空间,其位置总是在顶部

  5. 在调用一个函数的时候,传递给函数的值(包括可能指向堆上数据的指针)和函数的局部变量,都会被压入栈中,等函数结束时,这些值被移除栈。

堆(Heap)

  1. 堆中存储的数据在编译时是的大小是未知的。

  2. 堆在存储数据的时候需要向分配器先申请内存空间,并将空间标记为已使用状态,并返回一个表示该位置地址的 指针pointer

  3. 访问堆上的数据比访问栈上的数据要慢,因为必须通过指针来访问,现代处理器在内存中跳转越少就越快。

移动

rust中变量与数据交互的方式是移动,rust的移动和copy是不一样的,copy 后被copy的变量是不会失效的,但是移动,当a 移动到b的时候a变量就会失效。

引用

引用reference)像一个指针,因为它是一个地址,我们可以由此访问储存于该地址的属于其他变量的数据。 与指针不同,引用确保指向某个特定类型的有效值。

与使用 & 引用相反的操作是 解引用dereferencing),它使用解引用运算符,*。我们将会在第八章遇到一些解引用运算符,并在第十五章详细讨论解引用。

引用的规则

让我们概括一下之前对引用的讨论:

  • 在任意给定时间,要么 只能有一个可变引用,要么 只能有多个不可变引用。

  • 引用必须总是有效的。

所有权:

  • rust中每个值都有一个所有者。

  • 值在任一时刻有且只有一个所有者。

  • 当所有者(变量)离开作用域,这个值就被丢弃。

let s = "hello";
{                      // s 在这里无效,它尚未声明
    let s = "hello";   // 从此处起,s 是有效的
    
    // 使用 s
 }                      // 此作用域已结束,s 不再有效
  • 值不能在同一个作用域里面即分配给可变变量又分配给不可变变量。
let mut s = String::from("hello");
let r1 = &a;
let r2 = &mut a;

//cannot borrow `s` as mutable because it is also borrowed as immutable
//mutable borrow occurs hererustcClick for full compiler diagnostic
//main.rs(207, 14): immutable borrow occurs here
//main.rs(209, 23): immutable borrow later used here
  • 可变变量不能在同一作用域里面同时赋值给多个可变变量,在同一作用域里面可以赋值给多个不可变变量(但是会有编译警告)
let mut a = String::from("hello, world");
let r1 = &mut a;
let r2 = &mut a;
println!("{},{}", r1, r2);

//cannot borrow `a` as mutable more than once at a time
//second mutable borrow occurs hererustcClick for full compiler diagnostic
//main.rs(196, 14): first mutable borrow occurs here
//main.rs(198, 23): first borrow later used here
  • 当一个不可变变量传入一个函数的时候我们是不能在函数里面进行修改的,反之

fn main() {
     let s = String::from("hello world");

    let word = change(&s);

    // s.clear(); // 错误!

    println!("the first word is: {}", word);
}

fn change(some_string: &String) {
    some_string.push_str(", world");
}

//cannot borrow `*some_string` as mutable, as it is behind a `&` reference
//`some_string` is a `&` reference, so the data it refers to cannot be borrowed as mutablerustcClick for full compiler diagnostic
//main.rs(243, 25): consider changing this to be a mutable reference: `mut `
  • 在一个函数里面的变量的引用是不能被返回的,这样会导致垂悬引用。

fn dangle() -> &String { // dangle 返回一个字符串的引用

    let s = String::from("hello"); // s 是一个新字符串

    &s // 返回字符串 s 的引用
} // 这里 s 离开作用域并被丢弃。其内存被释放。
  // 危险!
  • 当一个可以变量传入一个函数但是该的参数是不可变变量,那么后续要对该值进行修改是不被允许的。

fn main()  {
let mut s = String::from("hello world");
    let word = first_word(&s);
    s.clear(); // 错误!
    println!("the first word is: {}", word);
}

fn first_word(s: &str) -> &str {
    let bytes = s.as_bytes();
    for (i, &item) in bytes.iter().enumerate() {
        if item == b' ' {
            return &s[0..i];
        }
    }
    &s[..]
}
//cannot borrow `s` as mutable because it is also borrowed as immutable
//mutable borrow occurs hererustcClick for full compiler diagnostic
//main.rs(201, 27): immutable borrow occurs here
//main.rs(205, 39): immutable borrow later used here

未完

  • 3
    点赞
  • 6
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值