以下のプログラムのコンパイルを通すジェネリックトレイトを定義したいのですが、どのように記述すればよろしいのでしょうか。
impl Item<Hoge<'a>>
としたときに、fn print(&self, h: &Hoge)
となるようなトレイトが記述できれば解決できると思うのですが、そのような記述方法はあるのでしょうか。
struct Hoge<'a> {
s: &'a String,
}
impl<'a> Hoge<'a> {
fn new(s: &'a String) -> Self {
Self { s }
}
}
/*
ジェネリックスを使わなければ
trait Item {
fn print(&self, _h: &Hoge);
}
*/
trait Item<T> {
fn print(&self, _h: &T) {}
}
struct Item01 {}
impl Item<Hoge<'_>> for Item01 {
fn print(&self, h: &Hoge) {
println!("Item01: {}", h.s);
}
}
struct Test01 {
item: Box<Item01>,
}
impl Test01 {
fn new(item: Box<Item01>) -> Self {
Self { item }
}
fn print(&self, h: &Hoge) {
self.item.print(h);
}
}
struct Test02<'a> {
// Item<Hoge> とするとライフタイム指定子がないと怒られる。
item: Box<dyn Item<Hoge<'a>>>,
}
impl<'a> Test02<'a> {
fn new(item: Box<dyn Item<Hoge<'a>>>) -> Self {
Self { item }
}
// &Hoge としたいが self.item.print(h) が &Hoge<'a> を要求する。
// &Hoge<'a> を要求すると言うより、'a が Test02 より長いライフタイムを要求する。
fn print(&self, h: &Hoge<'a>) {
self.item.print(h);
}
}
fn main() {
let t01 = Test01::new(Box::new(Item01 {}));
// ここより上に let str = ... とすればよいが、
// 諸事情により let t02 = ... より下でないと定義できないとする。
// fn print(&self, h: &Hoge) なら let t02 = ... より下に定義しても問題ないはず。
let t02 = Test02::new(Box::new(Item01 {}));
let str = "hoge hoge".to_string();
let hoge = Hoge::new(&str);
t01.print(&hoge);
t02.print(&hoge); // こいつをコメントアウトするとコンパイルは通る
}