スライスインデックス作成はどのようにしてRustで機能しますか？

Question

私はどのスライスが錆にあるのか疑問に思いました。それが判明したように、それは内部にデータポインタとサイズを持つ構造体です。私は、インデックス作成のためのソースを見ていると私はfound thisをしました：

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

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

私は錆の専門家ではないが、私のためのポインタのように&(*self)ようで、ラストにはポインタのインデックスは、私の知る限りありません。では、このインデックス作成の仕組みはどのように機能しますか？それは単なるコンパイラ組み込みのものですか？

Answer 1

コンパイラの内蔵物ですか？

はい。ソースコードのコメントにも同じことが言われています。 [T]はサイズの小さいタイプであり、とにかくいくつかの特別なルールが必要です。例えば、サイズの指定されていない型はスタック上に存在することはできません（処理するのはかなり難しい）。しかし、サイズの指定されていない型への参照は、ポインタとサイズ（具体的には「が型を完成させるもの」で構成されています）。

ただし、式は&((*self)[index])のように評価されます。これは、self（タイプ&[T]）がタイプ[T]にデリファレンスされ、次に索引付けされることを意味します。これによりTが返されますが、参照先が必要なのは&です。