データ構造の生存期間
code:rs
pub struct ReferenceHolder<'a> {
pub index: usize,
pub item: &'a Item,
}
データ構造に複数の 参照 が含まれている場合、適切なライフタイム注釈の組み合わせを選択する必要がある e.g. 2 つの異なる文字列の部分文字列を参照するケース
code:rs
// 2 つの文字列の両方に存在する部分文字列の位置
pub struct LargestCommonSubstring<'a, 'b> {
pub left: &'a str,
pub right: &'b str,
}
// left と right の両方に存在する最長の部分文字列を見つける
pub fn find_common<'a, 'b>(
left: &'a str,
right: &'b str,
) -> Option<LargestCommonSubstring<'a, 'b>> {
// ...
}
e.g. 1 つの文字列で繰り返される文字列を参照するケース
code:rs
pub struct RepeatedSubstring<'a> {
pub first: &'a str,
pub second: &'a str,
}
pub fn find_repeat<'a>(
s: &'a str,
) -> Option<LargestCommonSubstring<'a> {
// ...
}
データ構造のライフタイム注釈は 伝播 する ため、ライフタイム注釈を持つ型を内部に持つデータ構造もまたライフタイム注釈が必要である code:rs
pub struct RefHolderHolder<'a> {
pub inner: ReferenceHolder<'a>,
}
参照フィールドの生存期間が切れるとデータ構造全体が無効となるため、参照の 生存期間 とデータ構造の生存期間とを一致させるライフタイム注釈の伝播は必要である しかし、所有者 は全ての生存期間が一致するようにしなければならないため、このようなデータ構造は扱いづらい そのため、可能な限り「（参照ではなく）内容を所有するデータ構造を用いるようにしよう」