如何在 Rust 中将类型参数指定为函数参数？

Question

我正在尝试制作一个包含Box<dyn Fn(&E)> ，其中E被指定为类型的一部分。 这一直有效，直到E包含一个引用，此时它开始询问不相关的生命周期。

一个更简单的例子：

pub struct CallbackTest<E> {
    pub cb: Box<dyn Fn(&E)>,
}

impl<E> CallbackTest<E> {
    pub fn new<F>(cb: F) -> Self
    where
        F: Fn(&E)
    {
        Self { cb: Box::new(cb) }
    }
}

pub struct GameData { /* ... */ }

pub type TestRef = CallbackTest<(u32, &GameData)>;

这给了我一个missing lifetime specifier错误。 我可以在TestRef上放置一个生命周期参数以使其工作，但这不是正确的生命周期。 我不希望&GameData在CallbackTest的整个生命周期中都存在，只是在函数调用期间。

编辑： &GameData 是故意的。 这不是一个错误。 我希望我的改变使这背后的目标更加明显。

有什么建议吗？

Answer 1

我们在这里rust.playground

use std::marker::PhantomData;

pub struct CallbackTest<'a, E, Fa: 'a + Fn(&E)> {
    pub cb: Box<Fa>,
    _e: &'a PhantomData<E>,
}

impl<'a, E, Fa: 'a + Fn(&E)> CallbackTest<'a, E, Fa> {
    pub fn new(cb: Fa) -> Self
    {
        Self { 
            cb: Box::new(cb), 
            _e: &PhantomData
        }
    }
}

pub struct GameData { 
    pub field: i32,
}

pub type TestRef<'a, 'b, Fb> = CallbackTest<'b, (u32, &'a GameData, ), Fb>;

fn main() {
    let game_data = GameData{ field: 42};
    let test_ref: TestRef<_> = CallbackTest::new(|(val, gd): &(u32, &GameData)| { println!("val:{}, field:{}", val, (*gd).field)});
    (test_ref.cb)(&(24, &game_data));
}