なぜコンパイラは特性とその実装の寿命が異なるのでしょうか？

Question

私は現在、異なる分類モデルを評価するためにrustlearnを使用しています。私は基本的に走った問題はこれに沸く：

trait Foo<T> { 
    fn bar(&self, x: T); 
} 

struct Baz; 

struct Smth; 

impl<'a> Foo<&'a Smth> for Baz { 
    fn bar(&self, x: &Smth) {} 
} 

fn main() { 
    let some_foo: Box<Baz> = Box::new(Baz {}); // ok 
    // let some_foo: Box<Foo<&Smth>> = Box::new(Baz {}); // not ok 
    let x = Smth {}; 
    some_foo.bar(&x); 
} 

Box<Baz>としてsome_fooを入力することは可能ですが、それはコンパイラがおよそ&xドロップされて文句を言うことになりますから、代わりにBox<Foo<&Smth>>を使用することはできません（ mainの末尾に）まだ借りている間に（bar）。これは、xが故にxがsome_foo前を落とします、some_foo後を作成しているという事実のために（と思う）です。 some_fooの作成が解決される前に発生するように、xの作成を移動します。それが不可能であると仮定しましょう。

コードがsome_foo: Box<Baz>の場合はまだ有効ではありませんが、some_foo: Box<Foo<&Smth>>の場合はまだ有効ではありません。コンパイラが知ることができないのは何ですか（それ以外の場合は不平を言う必要はありません）？あなたがcrossvalidateしたいモデルのコレクションを持っているので、

---

は、x, yは(X, Y)大きなのサブセットである、すなわちmodel.fit(x, y)を¹しました。

Answer 1

箱入り形質オブジェクトは、Smthへの参照のためのすべてのライフタイムで作業する必要があります。

let some_foo: Box<for<'a> Foo<&'a Smth>> = Box::new(Baz {}); 

コンパイラが作業寿命:)