为什么需要引用索引？ [复制]答案

【问题标题】：Why does indexing need to be referenced? [duplicate]为什么需要引用索引？ [复制]
【发布时间】：2021-03-20 14:29:56
【问题描述】：

我目前正在学习来自 JavaScript 的 Rust。

我的问题如下：

fn main() {
    let name = String::from("Tom");
    let sliced = name[..2];
    println!("{}, {}", name, sliced);
}

这不起作用。说"doesn't have a size known at compile-time"。

要解决这个问题，我需要添加 & 引用运算符。

fn main() {
    let name = String::from("Tom");

    let sliced = &name[..2];

    println!("{}, {}", name, sliced);
}

我知道我需要在名称前添加&，& 是引用运算符。但我就是不知道为什么我真的需要这样做？

通过引用一个变量，该引用引用了变量name，但并不拥有它。如果我的参考超出范围，原始值将不会被删除。这是否意味着如果我执行name[...] 并且变量被删除并且我需要创建对它的引用以防止这种情况发生，那么变量会超出范围？

谁能解释一下？

【问题讨论】：

【解决方案1】：

我知道我需要在名称前添加&，& 是引用运算符。但我只是不知道为什么我真的需要这样做。

我了解混乱的来源，因为当您查看 index() 时，它会返回 &Self::Output。 所以它已经返回了一个引用，这是怎么回事？

这是因为索引运算符是 语法糖 并使用 Index 特征。然而，虽然它使用了确实返回引用的index()，但它并不是这样去糖的。

总之x[i]并没有翻译成x.index(i)，而是实际翻译成*x.index(i)，所以引用被立即解除引用. 这就是你最终得到str 而不是&str 的方式。

let foo = "foo bar"[..3]; // str
// same as
let foo = *"foo bar".index(..3); // str

这就是为什么您需要添加 & 以将其 “返回” 到引用中。

let foo = &"foo bar"[..3]; // &str
// same as
let foo = &*"foo bar".index(..3); // &str

或者，如果您直接调用index()，那么它当然不会被隐式取消引用。

use std::ops::Index;

let foo = "foo bar".index(..3); // &str

container[index] 实际上是*container.index(index) 的语法糖

这同样适用于IndexMut。

【讨论】：