预期绑定寿命参数，找到具体寿命

Question

我无法计算出这段代码的生存期参数。我所尝试的一切通常都会导致编译器错误：“预期的绑定生存期参数'a，找到了具体的生存期”或者类似于“考虑使用所示的显式生存期参数”（所示的示例没有帮助）或“与trait不兼容的方法”。

请求、响应和操作都是简化版本，以尽量减少此示例。

struct Request {
    data: String,
}
struct Response<'a> {
    data: &'a str,
}

pub enum Action<'a> {
    Next(Response<'a>),
    Done,
}

pub trait Handler: Send + Sync {
    fn handle<'a>(&self, req: Request, res: Response<'a>) -> Action<'a>;
}

impl<'a, T> Handler for T
where
    T: Send + Sync + Fn(Request, Response<'a>) -> Action<'a>,
{
    fn handle(&self, req: Request, res: Response<'a>) -> Action<'a> {
        (*self)(req, res)
    }
}

fn main() {
    println!("running");
}

铁锈游乐场

Answer 1

你的特质函数定义如下：

fn handle<'a>(&self, req: Request, res: Response<'a>) -> Action<'a>;

请注意，'a由调用方指定，可以是任何内容，并且不一定以任何方式绑定到self。

您的trait实现定义如下：

fn handle(&self, req: Request, res: Response<'a>) -> Action<'a>;

'a在这里不是由调用方指定的，而是绑定到要实现trait的类型。因此trait实现与trait定义不匹配。

以下是您需要的：

trait Handler: Send + Sync {
    fn handle<'a>(&self, req: Request, res: Response<'a>) -> Action<'a>;
}

impl<T> Handler for T
where
    T: Send + Sync + for<'a> Fn(Request, Response<'a>) -> Action<'a>,
{
    fn handle<'a>(&self, req: Request, res: Response<'a>) -> Action<'a> {
        (*self)(req, res)
    }
}

关键点是T绑定的变化：for