You need to enable JavaScript to run this app.
优惠活动
大模型
产品
解决方案
定价
更多

Rust中&str索引切片返回str(DST),为何需取引用转&str?

Rust字符串切片索引的困惑解析

首先直接点破核心:&str的范围索引操作(x[2..4])返回的是**str类型**(动态大小类型DST),而非你预期的&str,所以必须通过&取引用才能得到可直接使用的字符串切片。

关键原因拆解

  1. &str的本质:&str是一个「胖指针」,包含两个部分:指向字符串底层字节数组的指针,以及字符串的长度。它并不是字符串本身,只是指向字符串的引用。
  2. 索引操作的行为:当你对&str执行[start..end]时,Rust会直接操作这个胖指针指向的原始字符串数据,切出对应范围的字符串片段——也就是str类型。但str是动态大小类型,它的大小在编译时无法确定,因此不能直接作为变量存储(这也是你注释里let y: str = x[2..4];虽然类型匹配但依然无法编译的原因)。
  3. &x[2..4]不是双重引用:你误以为这会变成&&str,但实际上x[2..4]是str而非&str,这里的&是对这个str片段取引用,生成一个新的&str胖指针:它指向原字符串的第2到第4字节位置,长度为2,和x是同类型的独立实例,而非对x的二次引用。

验证示例

如果尝试直接赋值str类型:

fn main() {
    let x: &str = "hello";
    let y = x[2..4]; // 编译报错:无法将动态大小类型 `str` 分配到栈上
}

这会直接触发编译错误,清晰说明x[2..4]的类型确实是str,必须用&包裹才能得到可使用的&str。

内容的提问来源于stack exchange,提问作者stucash

相关产品推荐
方舟 Agent Plan

超全模态模型 × Harness 升级,最新支持 Deepseek-V4.1-Flash、GLM-5.3 系列、Doubao-Seedream-5.0-pro、Kimi-K3 (部分), 限时 9.9 元起

最近更新时间:2026.06.30 21:12:45