Rust 学习笔记:关于切片的两个练习题

发布于:2025-05-01 ⋅ 阅读:(23) ⋅ 点赞:(0)

Rust 学习笔记:关于切片的两个练习题

参考视频:

  1. https://www.bilibili.com/video/BV1GrDQYeEzS

引用和切片引用的大小

考虑以下程序的 s2 和 s3 变量,它们的大小如何?

fn main() {
    let s = String::from("hello");
    let s2 = &s;
    let s3 = &s[..];
    
    println!("{}", size_of::<&String>());
    println!("{}", size_of::<&str>());
}

运行结果:

在这里插入图片描述

对于变量 s2,类型是 &String,它是一个引用。变量 s2 本身在内存中存储的是一个指针,在 64 位系统上,普通指针的大小是 8 字节,所以这个变量的大小是 size_of::<&String>(),即 8 字节。

而 s3 是切片,是 &str 类型,这是一个胖指针,包含指向数据的指针和长度,所以每个 &str 的大小是 16 字节。

以下程序能否通过编译?

fn main() {
    let mut s = String::from("hello");
    for &item in s.as_bytes().iter() {
        if item == b'l' {
            s.push_str(" world");
        }
    }
    println!("{s}");
}

不能通过编译。

s.as_bytes() 是对 s 的不可变借用,s.push_str() 是对 s 的可变借用,由于这里是在 for 循环中,会导致可变借用和不可变借用的作用于多次相互交叠,借用检查器为了安全起见,不允许这种做法。

改法一:从程序逻辑分析去修正,绕过借用问题

fn main() {
    let mut s = String::from("hello");
    let mut count = 0;
    for x in s.as_bytes().iter() {
        if *x == b'l' {
            count += 1;
        }
    }
    let to_push = " world".repeat(count);
    s.push_str(to_push.as_str());
    println!("{s}");
}

改法二:使用.to_owned()方法切断和源头的藕断丝连,使其自成一家

fn main() {
    let mut s = String::from("hello");
    for &item in s.as_bytes().to_owned().iter() {
        if item == b'l' {
            s.push_str(" world");
        }
    }
    println!("{s}");
}