rust所有权概念

本文介绍了Rust编程语言中的所有权概念,包括所有权规则、变量范围、数据交互方式等。重点讲解了所有权如何影响堆上数据的管理,特别是对于String类型的深拷贝问题以及向函数传递参数时所有权的转移。通过示例代码解释了编译器如何防止内存异常,并演示了如何正确地复制和传递String值。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

rust中所有权概念:
    主要涉及内存的管理;rust的编译器在编译时使用规则集,规则集的所有权的系统管理内存;
    
    所有权规则:
        在rust中的值有一个变量称作owner;每次只有一个owner;owner超出范围,值被丢弃;
        变量范围:
            scope用来描述变量的有效性的概念,它是一个范围。
        
        {
            let mut name = String::from("name: ");        // 从堆中分配内存
            name.push_str("Bruce Li");
        }                                                // 超出scope,内存自动归还,rust调用drop函数在}之后进行;
        
        数据的交互方式分为:赋值、函数参数、函数返回值
        let x = 5;
        let y = x;        //将值5绑定到变量x,然后对x中的值做了拷贝并将其绑定到变量y; 针对整型,这样理解是正确的,但是针对堆上的数据就有问题;
        
        String类型变量的赋值语句
        let s1 = String::from("hello");    
        let s2 = s1;                        //拷贝s1的值绑定到s2,现在s1和s2都指向同样的堆内存,当s1和s2超出scope,触发两次drop函数调用,导致内存释放异常;
        // rust为了避免这种错误,当s1赋给s2后,rust认为s1无效,所以在s1超出scope,什么都不做;
        // rust永远不会自动deep拷贝;
        
        
        
    let s1 = String::from("hello");
    let s2 = s1;                                        // rust已经无效
    println!("string: {}", s1);                            // 出现编译时错误
    避免这种问题,使用s1.clone()方法给s2赋值;
    
    向函数传递参数产生影响同赋值是一样,
    
fn main() {
    // 返回ownership
    let s = give_ownership();
    
    let s1 = String::from("hello");                        // 创建s变量;    
    
    let s2 = take_and_return_ownership(s1);                // 通过返回值返回拥有权
}

fn give_ownership() -> String {
    let some_string = String::from("world");
    some_string;
}

fn take_and_return_ownership(s: String) -> String {
    s;
}

    

评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值