値とその値への参照を同じ構造体に格納できないのはなぜですか? 質問する

どちらの場合も、引数で提供される有効期間パラメータはありません。つまり、パラメータ化される有効期間は、何によっても制約されず、呼び出し元が望むものになります。呼び出し元が有効期間を指定でき、その条件を満たす方法がないCombinedため、これは無意味です。'static

どうすれば修正できますか?

最も簡単で推奨される解決策は、これらの項目を同じ構造体にまとめないことです。こうすることで、構造体のネストがコードの有効期間を模倣するようになります。データを所有する型を構造体にまとめ、必要に応じて参照または参照を含むオブジェクトを取得できるメソッドを提供します。

ライフタイム トラッキングが過剰になる特殊なケースがあります。それは、ヒープ上に何かを配置する場合です。これは、Box<T>たとえば を使用すると発生します。この場合、移動される構造体にはヒープへのポインターが含まれます。指し示された値は安定したままですが、ポインター自体のアドレスは移動します。実際には、常にポインターを追跡するため、これは問題になりません。

いくつかのクレートは、このケースを表現する方法を提供していますが、ベース アドレスが決して移動しないことを要求します。これにより、ヒープに割り当てられた値の再割り当てと移動を引き起こす可能性のある変更ベクトルが排除されます。

• レンタル(メンテナンスやサポートは終了しています)
• 所有参照（もっている複数の健全性の問題）
• ウロボロス
• 自己セル
• ヨーク

レンタルで解決できる問題の例:

• String::chars の所有バージョンはありますか?
• メソッドから独立して RWLockReadGuard を返す
• Rust でロックされた構造体メンバーの反復子を返すにはどうすればよいでしょうか?
• ミューテックスの下にある値のサブ値への参照を返すにはどうすればよいでしょうか?
• Futures 対応の Hyper Chunk の Serde ゼロコピー逆シリアル化を使用して結果を保存するにはどうすればよいですか?
• ライフタイムを扱わずに参照を保存するにはどうすればよいでしょうか?

他の場合には、参照カウントの何らかのタイプに移行したいかもしれません。例えば、RcまたはArc。

詳しくは

構造体に移動した後parent、コンパイラが構造体への新しい参照を取得しparentて割り当てることができないのはなぜですか?child

理論的には可能ですが、これを行うと、複雑さとオーバーヘッドが大幅に増加します。オブジェクトが移動するたびに、コンパイラは参照を「修正」するためのコードを挿入する必要があります。つまり、構造体のコピーは、単にビットを移動するだけの非常に安価な操作ではなくなります。仮想的な最適化の精度によっては、次のようなコードが高価になる可能性もあります。

let a = Object::new();
let b = a;
let c = b;

#[derive(Debug)]
struct WhatAboutThis<'a> {
    name: String,
    nickname: Option<&'a str>,
}

fn main() {
    let mut tricky = WhatAboutThis {
        name: "Annabelle".to_string(),
        nickname: None,
    };
    tricky.nickname = Some(&tricky.name[..4]);

    println!("{:?}", tricky);
}

fn creator<'a>() -> WhatAboutThis<'a> { /* ... */ }

#[derive(Debug)]
struct WhatAboutThis<'a> {
    name: String,
    nickname: Option<&'a str>,
}

impl<'a> WhatAboutThis<'a> {
    fn tie_the_knot(&'a mut self) {
       self.nickname = Some(&self.name[..4]); 
    }
}

fn main() {
    let mut tricky = WhatAboutThis {
        name: "Annabelle".to_string(),
        nickname: None,
    };
    tricky.tie_the_knot();

    // cannot borrow `tricky` as immutable because it is also borrowed as mutable
    // println!("{:?}", tricky);
}