Rust 从结构体中取字段的引用

场景一:拥有结构体变量 t: T,想获取 T 的两个字段的引用

代码:

rust 复制代码
struct Foo {
    pub a: i32,
    pub b: u32,
}
fn main() {
    let foo = Foo { a: 1, b: 2 };
    let a_p = &foo.a;
    let b_p = &foo.b;
    println!("a: {}, b: {}", a_p, b_p);
}

可以直接使用 &foo.a 的语法获取结构体中字段的引用。

场景二:拥有结构体变量 t: T,想获取 T 的两个字段的可变引用

代码:

rust 复制代码
struct Foo {
    pub a: i32,
    pub b: u32,
}
fn main() {
    let mut foo = Foo { a: 1, b: 2 };
    {
        let a_mut = &mut foo.a;
        let b_mut = &mut foo.b;
        *a_mut += 1;
        *b_mut += 1;
    }
    let p = &foo;
    println!("a: {}, b: {}", p.a, p.b);
}

可以使用 &mut foo.a 的语法获取结构体中字段的可变引用,而且还可以同时获得同一结构体变量的另一个字段的可变引用(不违反对同一变量的可变引用不能同时存在)。

在持有可变引用时,想修改变量需使用 *p = 的语法

场景三:拥有变量 t: T 的不可变引用,想获取 T 的两个字段的引用

代码:

rust 复制代码
struct Foo {
    pub a: i32,
    pub b: u32,
}
fn main() {
    let foo = Foo { a: 1, b: 2 };
    let p = &foo;
    let a = p.a; // 等价于 let a = (*p).a; 编译器会自动解引用
    let b = &p.b;
    println!("a: {}, b: {}", a, b);
}

引用使用起来就像直接持有了变量。

场景四:拥有 Guard 变量 p: guard<T>,想获取 T 的两个字段的可变引用

代码(错误示范):

rust 复制代码
use spin::Mutex;

struct Foo {
    pub a: i32,
    pub b: u32,
}
fn main() {
    let foo = Mutex::new(Foo { a: 1, b: 2 });
    {
        let mut foo: spin::MutexGuard<'_, Foo> = foo.lock();
        let a_mut = &mut foo.a;
        let b_mut = &mut foo.b;
        *a_mut += 1;
        *b_mut += 1;
    }
    let p = foo.lock();
    println!("a: {}, b: {}", p.a, p.b);
}

/// 编译结果
error[E0499]: cannot borrow `foo` as mutable more than once at a time
  --> src/main.rs:12:26
   |
11 |         let a_mut = &mut foo.a;
   |                          --- first mutable borrow occurs here
12 |         let b_mut = &mut foo.b;
   |                          ^^^ second mutable borrow occurs here
13 |         *a_mut += 1;
   |         ----------- first borrow later used here

For more information about this error, try `rustc --explain E0499`.

此时不能使用与场景二同样的代码。虽然 foo: MutexGuard 实现了 Deref trait 以便被当作普通引用使用(当执行 foo.a 时,实际上发生的是 (*foo.deref()).a,或者考虑到可变性,发生的是 (*foo.deref_mut()).a 以先获取 mut Foo)。在加入了 deref() 的一步后,编译器就无法判定你最终获取的两个可变引用是否重叠了。

相关推荐
郝学胜-神的一滴12 小时前
完全二叉树与堆底层原理深度剖析 | 手写C++大顶堆实现
java·开发语言·数据结构·c++·python·算法
黄毛火烧雪下12 小时前
Java 基础笔记:文件、递归与字符编码
java·开发语言·笔记
swordbob13 小时前
CAP 定理:为什么不能同时实现 C、A、P?
开发语言·后端·spring
疯狂成瘾者13 小时前
Java 常用工具包 java.util
java·开发语言·windows
枫叶丹413 小时前
【HarmonyOS 6.0】MDM Kit 新特性:PC/2in1设备无锁屏密码重启自动解锁能力详解
开发语言·华为·harmonyos
ZHW_AI课题组13 小时前
Python 调用百度智能云 API 实现地址识别
开发语言·人工智能·python·机器学习·百度·数据挖掘
88号技师13 小时前
2026年2月一区SCI-交叉传播优化算法Propagation Alongside Crossover-附Matlab免费代码
开发语言·算法·数学建模·matlab·优化算法
A.零点13 小时前
【2个月 C 语言从入门到精通:零基础系统教程】第十二讲:深入了解指针(五)
c语言·开发语言·网络·笔记·visual studio
飞天狗11114 小时前
零基础JavaWeb入门——第五课第一小节:九大内置对象 · 第1个:request(请求对象)
java·开发语言·前端·后端·servlet
z落落14 小时前
C#ToolStrip+StatusStrip 状态栏实时显示系统时间+NotifyIcon系统托盘
开发语言·c#