Rust 智能指针

Rust 第24节 智能指针

智能指针的实现

智能指针通常使用struct实现,
并实现Deref和Drop这两个trait

Deref trait:允许智能指针struct 的实例像引用一样使用

Drop triat: 允许你自定义当智能指针实例走出作用域时的代码

标准库中常见的智能指针

Box<T>:在heap内存上分配值

Rc<T>: 启用多重所有权的引用技术类型

Ref<T>     RefMut<T>     通过RefCall<T> 访问:在运行时而不是编译时强制借用规则的类型

使用Box 来指向Heap上的数据

他是最简单的智能指针

    let b = Box::new(5);

    println!("b = {}",b);

rust 编译时需要知道一个类型所占的空间大小

但是递归类型的大小在编译时无法确认大小

使用Box可以解决,Box是指针,大小确认

Deref Trait

Deref 解引用,我们可以自定义解引用运算符*的行为

通过Deref,智能指针可以像常规引用一样来处理

解引用运算符

    let x = 5;
    let y = &x;

    assert_eq!(5,x);
    assert_eq!(5,*y);

使用box

    let y = Box::new(5);

    assert_eq!(5,*y);

自定义一个元组指针

struct Mypointer<T>(T); //结构体元组,只有一个成员
//元组结构体相当于没有成员名字的结构体,通过索引访问

impl<T> Mypointer<T> {
   
    fn new(x : T) -> Mypointer<T> {
   
        Mypointer(x)
    }

}

//要让其成为指针,需要实现Deref方法
impl<T> Deref for Mypointer<T> {
   
    type Target = T;

    fn deref(&self) -> &T {
   

        &self.0
    }
}

    let y = Mypointer::new(5);

    assert_eq!(5,*y);

Deref 隐式解引用方法

当传入类型与函数接收类型不匹配时,如果参数实现了Deref trait,则编译器会自动调用Deref方法,对参数类型进行匹配;

例子:

fn hello(name :  & str) {
   
    println!("hello,{}",name);
}


    hello("Rust");

    let m = Mypointer::new(String::from("Rust"));


        //原始类型为 &mypointer<String>
        // deref &string
        // deref &str
    hello(&m);

Drop Trait

实现后,可以自定义值离开作用域时发生的动作

要求实现drop方法

在变量离开作用域时,会自动调用drop方法

例子:

impl<T> Drop for Mypointer<T> {
   
    fn drop(&mut self) {
   
        println!("run drop function----")
    }
}

不能手动调用.drop()方法

但是可以调用drop(变量)函数 进行手动注销

Rc引用计数智能指针

有时,一个值会有多个所有者

为了支持多重所有权,引入 Rc

Rc只能用于单线程场景

方法:

Rc::clone(&a)函数:增加引用计数

Rc::strong_count(&a): 获得引用计数

例子:

enum Node2 {
   
    Next2(i32 ,Rc<Node2> ),
    Nul
}


use self::Node2::Next2;
use self::Node2::Nul;

.... main.....

    let a = Rc::new( Next2(5, Rc::new( Nul ) ));
    println!("a value is {}",Rc::strong_count(&a));
    let b = Rc::new( Next2(
        12, Rc::clone(&a)
        )
    );
    println!("after b :a value is {}",Rc::strong_count(&a));

    let c = Rc::new(
        Next2(  11, Rc::clone(&a)  )
    );

    println!("after c: a value is {}",Rc::strong_count(&a));

    {
   
        let d = Rc::new(
            Next2(  15, Rc::clone(&a)  )
        );
        println!("after d :a value is {}",Rc::strong_count(&a));
    }

    println!("end : a value is {}",Rc::strong_count(&a));
....end....

通过不可变的引用,使你可以在程序不同部分之间共享只读数据

与clone()相比,属于浅拷贝,执行速度快

RefCell 和内部可变性

内部可变性:

允许在只持有不可变引用的前提下对数据进行修改

RefCell 在运行时检查所有权规则

只能用于单线程的代码

Box Rc RefCell
同一数据所有者 一个 多个 一个
可变性、借用检查 可变、不可变借用(编译时检查) 不可变借用(编译时检查) 可变、不可变借用(运行时检查)

正常情况下无法借用一个不可变的可变借用

let a = 10;
let b = &mut a;//错误

Refcall 的 .borrow_mut()方法:修改不可变引用的值

相关推荐

  1. Rust 智能指针

    2024-01-23 10:54:03       31 阅读
  2. rust的类型转换和一些智能指针用法(四)

    2024-01-23 10:54:03       9 阅读
  3. boost智能指针

    2024-01-23 10:54:03       39 阅读

最近更新

  1. TCP协议是安全的吗?

    2024-01-23 10:54:03       19 阅读
  2. 阿里云服务器执行yum,一直下载docker-ce-stable失败

    2024-01-23 10:54:03       19 阅读
  3. 【Python教程】压缩PDF文件大小

    2024-01-23 10:54:03       19 阅读
  4. 通过文章id递归查询所有评论(xml)

    2024-01-23 10:54:03       20 阅读

热门阅读

  1. 深入理解Rust语句和表达式

    2024-01-23 10:54:03       37 阅读
  2. 【MySQL】了解索引的第一步

    2024-01-23 10:54:03       32 阅读
  3. IDEA的快捷键

    2024-01-23 10:54:03       34 阅读
  4. 哈希--128. 最长连续序列/medium 理解度C

    2024-01-23 10:54:03       32 阅读
  5. console.log(3 + + “3“) 打印出什么?

    2024-01-23 10:54:03       23 阅读
  6. C# ASP.NET MVC 配置 跨域访问

    2024-01-23 10:54:03       29 阅读
  7. rocketmq双主双从部署+dashbord

    2024-01-23 10:54:03       31 阅读
  8. 风信子(线段树)

    2024-01-23 10:54:03       34 阅读
  9. 【Delphi 基础知识 24】Format函数的用法

    2024-01-23 10:54:03       35 阅读