Rust字符串类型全解析

news/2024/9/25 16:28:32/文章来源:https://www.cnblogs.com/wang_yb/p/18431588

字符串是每种编程语言都绕不开的类型,

不过,在Rust中,你会看到远比其他语言更加丰富多样的字符串类型。

如下图:

为什么Rust中需要这么多种表示字符串的类型呢?

初学Rust时,可能无法理解为什么要这样设计?为什么要给使用字符串带来这么多不必要的复杂性?

其实,Rust中对于字符串的设计,优先考虑的是安全高效灵活

所以在易用性方面,感觉没有其他语言(比如python,golang)那么易于理解和掌握。

本文尝试解释Rust中的所有不同的字符串类型,以及它们各自的特点。

希望能让大家更好的理解Rust为了安全和发挥最大性能的同时,是如何处理字符串的。

1. 机器中的字符串

我们代码中的字符串或者数字,存储在机器中,都是二进制,也就是0和1组成的序列。

程序将二进制数据转换为人类可读的字符串 需要两个关键信息:

  1. 字符编码
  2. 字符串长度

常见的编码有ASCIIUTF-8等等,编码就是二进制序列对应的字符,

比如,ASCII8位二进制对应一个字符,所以它最多只能表示256种不同的字符。

UTF-8可以使用8位~32位二进制来表示一个字符,这意味着它可以编码超过一百万个字符,

包括世界上的每种语言和各种表情符号等复杂字符。

通过字符编码,我们可以将二进制和字符互相转换,

再通过字符串长度信息,我们将内存中的二进制转换为字符串时,就能知道何时停止。

Rust中的字符串,统一采用UTF-8编码,下面一一介绍各种字符串类型及其使用场景。

2. String 和 &str

String&strRust中使用最多的两种字符串类型,也是在使用中容易混淆的两种类型。

String是分配在堆上的,可增长的UTF-8字符串,

它拥有底层的数据,并且在超出其定义的范围被自动清理释放。

let my_string = String::from("databook");
println!("pointer: {:p}, length: {}, capacity: {}",&my_string,my_string.len(),my_string.capacity()
);

对于一个String,主要部分有3个:

  1. Pointer:指向堆内存中字符串的起始位置
  2. Length:有效字符串的长度
  3. Capacity:字符串my_string总共占用的空间

注意这里LengthCapacity的区别,Lengthmy_string中有效字符的长度,也就是字符串实际的长度;

Capacity表示系统为my_string分配的内存空间,一般来说,Capacity >= Length

通常不需要直接处理Capacity,但它的存在对于编写高效且资源敏感的Rust代码时很重要。

特别是,当你知道即将向String添加大量内容时,可能会事先手动保留足够的Capacity以避免多次内存重新分配。

&str则是一个字符串的切片,它表示一个连续的字符序列,

它是一个借用类型,并不拥有字符串数据,只包含指向切片开头的指针和切片长度。

let my_str: &str = "databook";
println!("pointer: {:p}, length: {}", &my_str, my_str.len());

注意,&str没有Capacity方法,因为它只是一个借用,内容不可能增加。

最后,对于String&str,使用时建议:

  1. 在运行时动态创建或修改字符串数据时,请使用 String
  2. 读取或分析字符串数据而不对其进行更改时,请使用 &str

3. Vec[u8] 和 &[u8]

这两种形式是将字符串表示位字节的形式,其中Vec[u8]是字节向量,&[u8]是字节切片。

它们只是将字符串中的各个字符转换成字节形式。

as_bytes方法可将&str转换为&[u8]

into_bytes方法可将String转换为Vec<u8>

let my_str: &str = "databook";
let my_string = String::from("databook");
let s: &[u8] = my_str.as_bytes();
let ss: Vec<u8> = my_string.into_bytes();println!("s: {:?}", s);
println!("ss: {:?}", ss);/* 运行结果
s: [100, 97, 116, 97, 98, 111, 111, 107]
ss: [100, 97, 116, 97, 98, 111, 111, 107]
*/

在UTF-8编码中,每个英文字母对应1个字节,而一个中文汉字对应3个字节

let my_str: &str = "中文";
let my_string = String::from("中文");
let s: &[u8] = my_str.as_bytes();
let ss: Vec<u8> = my_string.into_bytes();println!("s: {:?}", s);
println!("ss: {:?}", ss);/* 运行结果
s: [228, 184, 173, 230, 150, 135]
ss: [228, 184, 173, 230, 150, 135]
*/

Vec[u8]&[u8]以字节的形式存储字符串,不用关心字符串的具体编码,

这在网络中传输二进制文件或者数据包时非常有用,可以有效每次传输多少个字节。

4. str 系列

str类型本身是不能直接使用的,因为它的大小在编译期无法确定,不符合Rust的安全规则。

但是,它可以与其他具有特殊用途的指针类型一起使用。

4.1. Box<str>

如果需要一个字符串切片的所有权(&str是借用的,没有所有权),那么可以使用Box智能指针。

当你想要冻结字符串以防止进一步修改或通过删除额外容量来节省内存时,它非常有用。

比如,下面的代码,我们将一个String转换为Box<str>

这样,可以确保它不会在其他地方被修改,也可以删除它,因为Box<str>拥有字符串的所有权。

let my_string = String::from("databook");
let my_box_str = my_string.into_boxed_str();
println!("{}", my_box_str);// 这一步会报错,因为所有权已经转移
// 这是 Box<str> 和 &str 的区别
// println!("{}", my_string);

4.2. Rc<str>

当你想要在多个地方共享一个不可变的字符串的所有权,但是又不克隆实际的字符串数据时,

可以尝试使用Rc<str>智能指针。

比如,我们有一个非常大的文本,想在多个地方使用,又不想复制多份占用内存,可以用Rc<str>

let my_str: &str = "very long text ....";
let rc_str1: Rc<str> = Rc::from(my_str);let rc_str2 = Rc::clone(&rc_str1);
let rc_str3 = Rc::clone(&rc_str1);println!("rc_str1: {}", rc_str1);
println!("rc_str2: {}", rc_str2);
println!("rc_str3: {}", rc_str3);/* 运行结果
rc_str1: very long text ....
rc_str2: very long text ....
rc_str3: very long text ....
*/

这样,在不实际克隆字符串数据的情况下,让多个变量拥有其所有权。

4.3. Arc<str>

Arc<str>Rc<str>的功能类似,主要的区别在于Arc<str>是线程安全的。

如果在多线程环境下,请使用Arc<str>

let my_str: &str = "very long text ....";
let arc_str: Arc<str> = Arc::from(my_str);let mut threads = vec![];let mut cnt = 0;
while cnt < 5 {let s = Arc::clone(&arc_str);let t = thread::spawn(move || {println!("thread-{}: {}", cnt, s);});threads.push(t);cnt += 1;
}for t in threads {t.join().unwrap();
}/* 运行结果
thread-0: very long text ....
thread-3: very long text ....
thread-2: very long text ....
thread-1: very long text ....
thread-4: very long text ....
*/

上面的代码中,在5个线程中共享了字符串数据。

上面运行结果中,线程顺序是不固定的,多执行几遍会有不一样的顺序。

4.4. Cow<str>

CowCopy-on-Write(写入时复制)的缩写,

当你需要实现一个功能,根据字符串的内容来决定是否需要修改它,使用Cow就很合适。

比如,过滤敏感词汇时,我们把敏感词汇替换成xx

fn filter_words(input: &str) -> Cow<str> {if input.contains("sb") {let output = input.replace("sb", "xx");return Cow::Owned(output);}Cow::Borrowed(input)
}

当输入字符串input中含有敏感词sb时,会重新分配内存,生成新字符串;

否则直接使用原字符串,提高内存效率。

5. CStr 和 CString

CStrCString是与C语言交互时用于处理字符串的两种类型。

CStr用于在Rust中安全地访问由C语言分配的字符串;

CString用于在Rust中创建和管理可以安全传递给C语言函数的字符串。

C风格的字符串与Rust中的字符串实现方式不一样,

比如,C语言中的字符串都是以null字符\0结尾的字节数组,这点就与Rust很不一样。

所以Rust单独封装了这两种类型(CStrCString),可以安全的与C语言进行字符串交互,从而实现与现有的C语言库和API无缝集成。

6. OsStr 和 OsString

OsStrOsString 是用于处理与操作系统兼容的字符串类型。

主要用于需要与操作系统API进行交互的场景,这些API一般特定于平台的字符串编码(比如Windows上的UTF-16,以及大多数Unix-like系统上的UTF-8)

OsStrOsString 也相当于strString的关系,所以OsStr 一般不直接在代码中使用,

使用比较多的是&OsStrOsString

这两个类型一般用于读取/写入操作系统环境变量或者与系统API交互时,帮助我们确保字符串以正确的格式传递。

7. Path 和 PathBuf

这两个类型看名字似乎和字符串关系不大,实际上它们是专门用来处理文件路径字符串的。

在不同的文件系统中,对于文件路径的格式,路径中允许使用的字符都不一样,比如,windows系统中文件路径甚至不区分大小写。

使用PathPathBuf,我们编码时就不用分散精力去关心具体使用的是哪种文件系统。

PathPathBuf的主要区别在于可变性和所有权,

如果需要频繁读取和查询路径信息而不修改它,Path是一个好选择;

如果需要动态构建或修改路径内容,PathBuf则更加合适。

8. 总结

总之,Rust中字符串类型之所以多,是因为根据不同的用途对字符串类型做了分类。

这也是为了处理不同的应用场景时让程序发挥最大的性能,毕竟,安全高性能一直是Rust最大的卖点。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.hqwc.cn/news/803535.html

如若内容造成侵权/违法违规/事实不符,请联系编程知识网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

AI自动生成代码注释

在vscode 中安装 TONGYI Lingma

通过 Tampermonkey 实现学习通全自动刷课

本文介绍了如何使用 Tampermonkey 这一流行的用户脚本管理器,通过其脚本库实现学习通的全自动刷课。文章详细讲解了 Tampermonkey 的安装步骤、OCS 脚本的配置方法,以及题库的使用流程,帮助读者高效完成学习任务。在学习过程中,自动化工具能大大提升学习效率。Tampermonkey…

KBU1010-ASEMI单向整流桥KBU1010

KBU1010-ASEMI单向整流桥KBU1010编辑:ll KBU1010-ASEMI单向整流桥KBU1010 型号:KBU1010 品牌:ASEMI 封装:KBU-4 批号:2024+ 类型:单向整流桥 电流(ID):10A 电压(VF):1000V 安装方式:直插式封装 特性:大功率、整流扁桥 产品引线数量:4 产品内部芯片个数:4 产品内部…

Kubernetes中Ingress的原理和配置

Ingress的概念和作用 Ingress是Kubernetes集群中的一个对象,用于将外部流量路由到集群内部的服务。它充当了进入Kubernetes集群的API网关,负责接收外部请求,并将其转发到正确的目标服务上。 Ingress通常通过HTTP和HTTPS提供对服务的访问,并支持基于主机名、路径以及其他HTT…

《如 何 速 通 一 套 题》4.0

A sprial 找规律。直接做。 #include <bits/stdc++.h> #define int long long using namespace std;int t, n;int sqrtll(int n) {int l = 1, r = 1000000, ans = 0;for(; l <= r; ) {int mid = (l + r) >> 1;if(mid * mid >= n) {ans = mid, r = mid - 1;}e…

自定义表格样式

HTML:<div class="table-container"><table style="width: 90%; margin-left: 5%"><tr class="table-title"><th style="width: 33%">科室名称</th><th style="width: 33%">当日登录次…

Bash脚本基本语法

一、Bash脚本以及相关介绍Bash脚本是一种在Unix或Linux操作系统中广泛使用的脚本语言,它允许用户编写一系列命令,这些命令将被Bash(Bourne-Again SHell)解释器执行。Bash脚本可以用于自动化各种任务,比如文件管理、程序执行、系统维护等。 编写Bash脚本的基本步骤包括:创…

【vulhub】Discuz-任意文件删除

【vulhub】Discuz-任意文件删除 0x00漏洞介绍 通过配置个人信息的属性值,导致文件删除。 影响版本Discuz <= 3.40x01 搭建环境 数据库服务器填写db(必须db,不然安装失败),数据库名为discuz,数据库账号密码均为root,管理员密码任意。填写联系方式页面直接点击跳过本步…

2024年开源API工具盘点,覆盖API全生命周期

2024年经济持续低迷,本文整理一些免费的开源工具,旨在帮助企业组织降低工具的支出成本,能用免费的何必用付费的呢(狗头)? 如何高效地管理API的全生命周期——从设计、开发、测试、部署到监控和优化,已经成为每个开发者和技术团队关注的重点。以下工具清单,无论你是刚刚…

Day4 与用户交互 + 格式化运算符 + 基本运算符

今天首先对昨天学的进行了复习,由这个复习可以看出昨天的我是多么的水*-*,今天的话倒是学的挺充实的,因为没有像上节课的jupyter notebook那样的东西(这节课看下来还是挺牛的,但也没到非用不可的时候,继续放着吧)。今天主要学习了三大部分,与用户的交互,格式化占位符,…

ACCESS 关于MSCOMCT2.OCX和MSCOMCTL.OCX报错的解决方案

我在ACCESS中添加了TreeView插件,结果电脑A上打开没问题,电脑B打开时就报MSCOMCT2.OCX和MSCOMCTL.OCX有错. B电脑之前是可以正常使用的,但是加了TreeView插件之后报错,说明是插件引用的问题. 在网上下载了这两个文件,复制到C:\WINDOWS\SYSTEM32目录下. 重新注册了这两个文件: 以…