Rust中的切片索引是如何工作的？

Question

Rust中的切片索引是如何工作的？

3

我想知道 Rust 中的“slices”是什么。结果发现，它只是一个带有数据指针和大小的结构体。我查看了索引源代码，并且找到了这个：

impl<T> ops::Index<usize> for [T] {
    type Output = T;

    fn index(&self, index: usize) -> &T {
        // NB built-in indexing
        &(*self)[index]
    }
}

我不是Rust专家，但&(*self)对我来说似乎是一个指针，并且据我所知，在Rust中没有指针索引。那么这个索引是如何工作的呢？它只是编译器内置的东西吗？

- Peter Lenkefi

1

@LukasKalbertodt 抱歉，已经编辑！ - Peter Lenkefi

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Lukas Kalbertodt · Accepted Answer

这只是编译器内置的东西吗？

是的。源代码注释也是这样说的。[T]是一种无大小类型，需要一些额外的规则。例如，无大小类型不能存储在栈上（很难处理）。但是对于无大小类型的引用，它们由指针和大小组成（具体来说，“完成”类型的“某些东西”）。

但是请注意，表达式的计算方式如下：&((*self)[index])。这意味着self（类型为&[T]）被解除引用为类型[T]，然后进行索引。这将返回一个T，但我们只想要一个对它的引用，因此有了&符号。