Rust场景示例:为什么要使用切片类型

news/2025/2/11 16:29:54 标签: rust, 开发语言

通过对比 不用切片使用切片 的场景,说明切片类型在 Rust 中的必要性:


场景:提取字符串中的单词

假设我们需要编写一个函数,从一个句子中提取第一个单词。我们将分别展示 不用切片使用切片 的实现,并对比二者的差异。


1. 不用切片的问题

如果不用切片,我们需要手动跟踪单词的起始和结束索引,并将这些索引和原始字符串一起传递。这会导致以下问题:

  • 代码冗余:需要额外传递索引和字符串。
  • 潜在错误:索引可能超出字符串范围。
  • 所有权问题:需要始终确保原始字符串有效。
rust">fn main() {
    let s = String::from("Rust 是一门安全的系统编程语言");
    
    // 手动计算第一个单词的起始和结束索引
    let (word_start, word_end) = find_first_word(&s);

    // 必须确保原始字符串 `s` 始终有效,否则索引可能失效!
    // 而且因为 `word_start` 和 `word_end` 都是 `usize` 类型,所以索引可能会溢。
    // 这导致变量 `word_start` 、`word_end` 和变量`s`之间的关联关系需要开发者自己来处理。
    println!("第一个单词是: {}", &s[word_start..word_end]);
}

// 返回单词的起始和结束索引
fn find_first_word(s: &String) -> (usize, usize) {
    let bytes = s.as_bytes();
    let start = 0;
    let mut end = 0;
    
    // 查找第一个空格的位置
    for (i, &item) in bytes.iter().enumerate() {
        if item == b' ' {
            end = i;
            break;
        }
    }
    
    // 如果字符串中没有空格,整个字符串即为单词
    if end == 0 {
        end = s.len();
    }
    
    (start, end)
}

输出

第一个单词是: Rust

问题分析

  • 需要手动管理索引,代码冗余且容易出错。
  • 调用者必须确保原始字符串 s 在索引有效期内始终有效(例如,如果 s 被修改或释放,索引可能指向无效内存)。

2. 使用切片的解决方案

通过使用字符串切片 &str,我们可以直接返回对原始字符串的引用,无需手动管理索引。这解决了上述所有问题:

rust">fn main() {
    let s = String::from("Rust 是一门安全的系统编程语言");
    
    // 直接返回字符串切片,无需索引
    let word = first_word(&s);
    
    // 切片自动保证引用的有效性
    println!("第一个单词是: {}", word);
}

// 直接返回字符串切片 &str
fn first_word(s: &str) -> &str {
    let bytes = s.as_bytes();
    
    // 查找第一个空格的位置
    for (i, &item) in bytes.iter().enumerate() {
        if item == b' ' {
            return &s[0..i];
        }
    }
    
    // 没有空格时返回整个字符串
    &s[..]
}

输出

第一个单词是: Rust

优势

  • 代码简洁:直接操作字符串切片,无需手动管理索引。
  • 内存安全:Rust 编译器确保切片引用的数据始终有效(避免悬垂引用)。
  • 零成本抽象:切片是对原始数据的直接引用,没有额外的内存分配。

切片的核心必要性

  1. 避免数据拷贝:切片允许直接引用数据的一部分,无需复制。
  2. 统一接口:函数可以接受 String 或字符串字面量(&str)作为参数。
  3. 编译时安全:Rust 通过生命周期检查确保切片引用的数据始终有效。
  4. 灵活高效:适用于字符串、数组等集合类型,提供统一的视图操作。

总结

切片类型是 Rust 内存安全模型的关键组成部分。它通过提供对数据的“视图”而非所有权,使得代码更简洁、更安全、更高效。在上述示例中,使用切片避免了手动管理索引的复杂性,同时通过编译器的静态检查保障了内存安全。这种设计是 Rust 能够在系统编程中兼顾性能和安全的基石之一。


http://www.niftyadmin.cn/n/5841894.html

相关文章

网络编程套接字(中)

文章目录 🍏简单的TCP网络程序服务端创建套接字服务端绑定服务端监听服务端获取连接服务端处理请求客户端创建套接字客户端连接服务器客户端发起请求服务器测试单执行流服务器的弊端 🍐多进程版的TCP网络程序捕捉SIGCHLD信号让孙子进程提供服务 &#x1…

【数据结构】(4) 线性表 List

一、什么是线性表 线性表就是 n 个相同类型元素的有限序列,每一个元素只有一个前驱和后继(除了第一个和最后一个元素)。 数据结构中,常见的线性表有:顺序表、链表、栈、队列。 二、什么是 List List 是 Java 中的线性…

Rust `struct`和 `enum`番外《哪吒、白蛇传?》

第一章:混天绫引发的血案——没有 struct 的江湖有多乱 天庭码农哪吒最近很头疼。 他写了个程序管理法宝库,结果代码乱成一锅粥: // 哪吒的早期代码:法宝属性分散传递 fn print_treasure(name: String, power_level: u32, is_…

LabVIEW图片识别逆向建模系统

本文介绍了一个基于LabVIEW的图片识别逆向建模系统的开发过程。系统利用LabVIEW的强大视觉处理功能,通过二维图片快速生成对应的三维模型,不仅降低了逆向建模的技术门槛,还大幅提升了建模效率。 ​ 项目背景 在传统的逆向建模过程中&#xf…

整个 PVE 系统崩溃后,怎么恢复 PVE 给虚拟机分配的虚拟硬盘中的数据

背景 我有一块 ssd 用于 PVE 系统和 虚拟机 安装,还有一块 HDD 用来存储数据。这个HDD按照 把 PVE 下的机械硬盘(非SSD系统盘)分配给虚拟机使用 进行挂载和配置。主要过程是 PVE中 “数据中信” -> “存储” -> “添加” -> “目录…

『 C 』 `##` 在 C 语言宏定义中的作用解析

文章目录 ## 运算符的基本概念可变参数宏与 ## 的应用可变参数宏简介## 处理可变参数的两种情况可变参数列表为空可变参数列表不为空 示例代码验证 在 C 和 C 编程里,宏定义是个很有用的工具。今天咱们就来聊聊 ## 这个预处理器连接运算符在宏定义中的作用&#xff…

TensorFlow 示例平方米转亩

TensorFlow 和 Keras 来构建一个简单的神经网络模型,用于将输入的平方米数值转换为对应的亩数。代码包括了数据准备、模型构建、编译、训练、评估以及绘制损失曲线的过程。下面我会详细解释每一部分TensorFlow 和 Keras 来构建一个简单的神经网络模型,用…

读书笔记-《Redis设计与实现》(二)单机数据库实现(上)

相比前面我们学习的数据结构与对象(读书笔记-《Redis设计与实现》(一)数据结构与对象(上)、读书笔记-《Redis设计与实现》(一)数据结构与对象(下))&#xff0…