Rust 圣经 阅读 引用与借用

Rust 通过 借用(Borrowing) 在使用某个变量的指针或引用。

获取变量的引用,称之为 借用(borrowing)

引用与解引用

引用是为了解决在使用函数时,频繁地传递所有权。

引用只是获取了引用权,而不是获取所有权。

rust 复制代码
fn main() {
let s = String::from("Hello");

let s1 = &s; // 不可变引用

let s2 = &mut 2; // 可变引用

/*
这个程序不能编译通过。
因为不能同时存在 可变引用 和 不可变引用。
*/
}

引用与变量一样,也是默认为不可变。

不仅是原来的变量是可变就可以,必须是引用也是可变的,即在使用let s1 = &mut s 或传递参数 &mut s

rust 复制代码
fn main() {
    let mut s = String::from("hello, ");

    push_str(&mut s)
}

fn push_str(s: &mut String) {
    s.push_str("world")
}

解引用

rust 复制代码
fn main() {
let s = String::from("hello");

let s1 = &s; // s 的 不可变引用

println!("{}",*s1);
}

可以在一个引用作用域中存在多个不可变引用,但只能存在一个可变引用。
引用的作用域是从引用开始,到该引用的最后一次使用。

rust 复制代码
fn main() {
   let mut s = String::from("hello");

    let r1 = &s;
    let r2 = &s;
    println!("{} and {}", r1, r2);
    // 新编译器中,r1,r2作用域在这里结束

    let r3 = &mut s;
    println!("{}", r3);
} // 老编译器中,r1、r2、r3作用域在这里结束
  // 新编译器中,r3作用域在这里结束

可变引用只能存在一个。直到该引用结束,才可以使用另一个。

在一个可变引用的引用作用域结束之间,无法创建第二个可变引用。

不能从一个不可变引用上借用可变。可以从可变对象上借用可变。

Rust 不允许出现 悬垂引用,即空的引用。悬垂引用会再编译时被检测出来 。

rust 复制代码
fn main() {
    let reference_to_nothing = dangle();
}

fn dangle() -> &String {
    let s = String::from("hello");

    &s
}

/*
编译不能通过,因为返回的引用指针是空的,
这种情况更推荐转移所有权。
**/

借用规则

  • 同一时刻(在当前作用域中),只能拥有一个可变引用,或多个不可变引用。
  • 引用必须总是有效的。

ref

ref& 类似,可以用来获取一个值的引用。

rust 复制代码
fn main() {
    let c = '中';

    let r1 = &c;
    let ref r2 = c;

    assert_eq!(*r1, *r2);
    
    // 判断两个内存地址的字符串是否相等
    assert_eq!(get_addr(r1),get_addr(r2));
}

// 获取传入引用的内存地址的字符串形式
fn get_addr(r: &char) -> String {
    format!("{:p}", r)
}

ref 同样获取c的引用,而且指向了同一个内存地址。

相关推荐
沐知全栈开发2 小时前
HTML DOM 访问
开发语言
脑袋大大的3 小时前
JavaScript 性能优化实战:减少 DOM 操作引发的重排与重绘
开发语言·javascript·性能优化
芳草萋萋鹦鹉洲哦3 小时前
【vue3+tauri+rust】如何实现下载文件mac+windows
windows·macos·rust
二进制person4 小时前
Java SE--方法的使用
java·开发语言·算法
OneQ6664 小时前
C++讲解---创建日期类
开发语言·c++·算法
码农不惑5 小时前
2025.06.27-14.44 C语言开发:Onvif(二)
c语言·开发语言
程序员岳焱6 小时前
Java 与 MySQL 性能优化:Java 实现百万数据分批次插入的最佳实践
后端·mysql·性能优化
麦兜*6 小时前
Spring Boot启动优化7板斧(延迟初始化、组件扫描精准打击、JVM参数调优):砍掉70%启动时间的魔鬼实践
java·jvm·spring boot·后端·spring·spring cloud·系统架构
Coding小公仔6 小时前
C++ bitset 模板类
开发语言·c++
大只鹅6 小时前
解决 Spring Boot 对 Elasticsearch 字段没有小驼峰映射的问题
spring boot·后端·elasticsearch