Rust で、スライスをメンバに持つ構造体を作りたい

Question

実現したいこと

Rust で、スライスをメンバに持つ構造体を作る。

前提

Rust で巨大なデータを読み込み、そのデータを使って処理を行うプログラムを書いています。
データのサブセットを持つ構造体を作って処理を行いたいのですが、データは巨大なためコピーを発生させたくありません。

発生している問題・エラーメッセージ

error[E0106]: missing lifetime specifier
 --> src/main.rs:7:14
  |
7 |     records: &[Record],
  |              ^ expected named lifetime parameter
  |
help: consider introducing a named lifetime parameter
  |
6 ~ struct PartOfRecords<'a> {
7 ~     records: &'a [Record],
  |

該当のソースコード

struct Record {
    index: u64,
    value: u64,
}

struct PartOfRecords {
    records: &[Record],
}

fn main() {
    let mut vec: Vec<Record> = Vec::new();
    for i in 1..100 {
        vec.push(Record {
            index: i,
            value: i * 2,
        });
    }
    let part_of_records = PartOfRecords {
        records: &vec[50..70],
    };
}

試したこと

エラーメッセージにあるように <'a> を PartOfRecords のメンバ定義につけようとしたものの、そのようなことをしているサンプルコードが見つかりませんでした。表示されているエラーを解決したところで自分がやりたいことが達成できるのか、そもそも Rust でこのようなことができるのか不安になったため、質問させて頂きました。

補足情報（FW/ツールのバージョンなど）

$ rustc --version
rustc 1.68.0 (2c8cc3432 2023-03-06)

Answer 1

公式の解説の中に構造体にライフタイム注釈をつける事例はあります。 スライスであってもそうでなくても特に違いはないはずです。

少なくとも質問の事例のコードにおいて

struct PartOfRecords<'a> {
    records: &'a [Record],
}

と書くことに問題があるようには思われません。

このとき PartOfRecords のインスタンスの寿命は records (が参照する先のオブジェクト) よりも長くはないことを意味し、いずれも main の終わりが寿命ですから矛盾は生じません。

Comments

[Nakka]

`&[Record],` の部分を `&'a [Record],` にしたりなどは試していたのですが、`PartOfRecords<'a>`こちらにつけるのを認識していませんでした。想定どおり動作しました、ありがとうございました。