当前位置：首页 > news >正文

rust中，str 和 String有什么区别和联系？

news 2026/5/11 11:29:56

在 Rust 中，&str 和 String 都用于处理文本，但它们在内存布局、所有权语义、使用场景上有本质区别。理解它们的差异是掌握 Rust 字符串处理的关键。

一、核心区别概览

特性	`&str`	`String`
类型	字符串切片（引用类型）	可变、可增长的字符串（拥有所有权的堆分配类型）
内存位置	指向已有字符串数据（栈、堆、或静态存储）	数据存储在堆上
可变性	不可变（`&str` 是只读引用）	可变（可通过 `push`, `push_str`, `insert` 等修改）
生命周期	有生命周期（如 `&'a str`），依赖所引用数据的存活时间	自包含，拥有自己的数据，无生命周期参数
大小	固定大小（2 个字长：指针 + 长度）	动态大小（栈上存指针、长度、容量；堆上存实际字节）
是否可增长	❌ 不能修改或增长	✅ 可动态增长（类似 `Vec<u8>`）
如何创建	字符串字面量、从 `String` 借用、切片操作	`String::new()`, `String::from("...")`, `"...".to_string()`

二、详细解释

1. `&str`：字符串切片（String Slice）

是一个不可变的 UTF-8 字节序列的引用
类似于 &[u8]，但保证是合法 UTF-8
最常见的形式是字符串字面量，其类型为 &'static str（生命周期为 'static）

let s1: &str = "hello"; // 字符串字面量，'static 生命周期
let s2: &str = &"world"; // 等价

也可以从 String 借用得到：

let owned = String::from("Rust");
let slice: &str = &owned; // 借用 String 的内容

✅ &str 是视图（view），不拥有数据，只“看”数据。

2. `String`：堆分配的拥有型字符串

是 Vec<u8> 的 UTF-8 封装，拥有其数据
可在运行时动态增长、修改
通过 String::from、to_string()、format! 等创建

let mut s = String::from("Hello");
s.push_str(", world!"); // 修改
s.push('!');            // 添加字符
println!("{}", s);      // "Hello, world!!"

✅ String 是所有者（owner），负责管理堆内存。

三、联系与转换

1. `String` → `&str`（免费、安全）

通过借用（Deref 强制转换）：

let s = String::from("hello");
let slice: &str = &s;        // 显式借用
// 或直接传递给接受 &str 的函数：
fn print_str(x: &str) { println!("{}", x); }
print_str(&s);               // 自动 Deref 转换

💡 Rust 会自动将 &String 转换为 &str（因为 String 实现了 Deref<Target = str>）。

2. `&str` → `String`（需要分配内存）

通过克隆数据到堆上：

let slice = "hello";
let owned: String = slice.to_string();     // 方法1
let owned2: String = String::from(slice);  // 方法2
let owned3: String = slice.into();         // 方法3（利用 From<&str> for String）

⚠️ 这个过程涉及堆内存分配和字节拷贝，有运行时开销。

四、使用建议（最佳实践）

场景	推荐类型
函数参数（只读）	用 `&str`（更通用，接受字面量和 `String`）
需要修改或所有权	用 `String`
返回新字符串	返回 `String`
存储字符串	根据是否需要所有权选择：
	- 不需要修改/共享 → `&'static str`（如配置常量）
	- 需要拥有数据 → `String`

示例：函数设计

// ✅ 好：接受 &str，兼容字面量和 String
fn greet(name: &str) {println!("Hello, {}!", name);
}greet("Alice");           // 字面量 OK
greet(&my_string);        // String 借用 OK// ❌ 不推荐：强制调用者必须提供 String
fn greet_bad(name: String) { ... }

五、内存布局图示

&str:┌──────────────┐│ 指针 → "hello"（可能在静态区、栈或堆） ││ 长度 = 5     │└──────────────┘String:┌──────────────┐│ 指针 → 堆 [h, e, l, l, o] ││ 长度 = 5     ││ 容量 = 5     │└──────────────┘

六、总结

对比项	`&str`	`String`
角色	视图（View）	所有者（Owner）
内存	不分配新内存	堆分配
可变	❌	✅
通用性	高（函数参数首选）	低（但功能强）
转换	`String` → `&str`：免费 `&str` → `String`：需分配