如何使用特征对象来引用具有泛型方法的结构

Question

关于这个问题，，我了解到正确地将闭包传递给函数需要函数是通用的并且采用实现 Fn、FnMut 或 FnOnce 特性的任何类型。

在作为学习练习从 C++ 实现库的一部分时，我需要一些类似这样的类型抽象。

use std::collections::HashMap;

struct Event;

trait IObject {
    fn makeFunc<F : FnMut(&Event)>(&mut self, s : &str, f : F);
}

struct Object1<'a> {
    m_funcs : HashMap<String, Box<FnMut(&Event) + 'a>>
}

impl <'a> Object1<'a> {
    fn new() -> Object1<'a> {
        Object1 {m_funcs : HashMap::new()}
    }
}

impl <'a> IObject for Object1<'a> {
    fn makeFunc<F : FnMut(&Event) + 'a>(&mut self, s: &str, f: F) {
        self.m_funcs.insert(String::from_str(s), Box::new(f));
    }
}

fn main() {
    let obj : &IObject = &Object1::new();
    println!("Hello, world!");
}

但是，返回的错误说 IObject 不能是特征对象，因为它包含一个带有泛型参数的方法。但是，要完全将闭包传递给函数，我需要泛型。有人可以告诉我如何实现我正在寻找的抽象，同时仍然能够将闭包传递给函数吗？

Answer 1

你无法绕过这个；静态和动态调度不要混用。静态分派（泛型）所做的单态化根本无法与动态分派（特征对象）中使用的 vtable 一起工作。

两者之一必须去：要么使用 IObject 作为特征对象，要么使用通用函数参数，以支持接受 Box<FnMut(&Event) + 'a>.

顺便说一下，请注意您的 IObject 实现如何与特征不匹配 - 该特征没有在 F 上提供生命周期限制，而您的实现却如此。无论如何，您都需要在特征定义上添加 'a 作为泛型（泛型 lifetimes 对于特征对象是可以的）。

如何使用特征对象来引用具有泛型方法的结构

How to use a trait object to refer to struct that has generic methods

rust