在 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：需分配 |
✅ 记住：
- “切片看，String 拥有”
- 函数参数用
&str，返回新字符串用String- 字面量是
&'static str
理解 &str 与 String 的区别，是写出高效、安全、惯用 Rust 代码的重要一步。