Rust中如何向dyn trait对象传递闭包?问题与解决方案
动态Trait对象接收闭包参数的实现问题与方案
想要创建一个可变的动态Trait对象&mut dyn DynTrait,其中Trait包含一个接收闭包的方法,且闭包可能需要被长期存储(比如用Box/Rc持有),最初的实现代码如下:
trait DynTrait { fn dyn_method(&mut self, closure: impl FnMut(&str) + 'static); } // ... let dyn_object: &mut dyn DynTrait = ...;
这段代码无法编译,报错:
error[E0038]: the trait `DynTrait` cannot be made into an object
错误原因
impl Trait是泛型函数的语法糖,而包含泛型函数的Trait无法被对象化——动态Trait对象要求方法的签名在编译期是确定的,泛型会为每个具体类型生成不同的方法版本,无法满足对象化的要求。
现有解决方案分析
方案1:改用&mut dyn FnMut引用
将方法参数改为可变的动态函数对象引用:
trait DynTrait { fn dyn_method(&mut self, closure: &mut (dyn FnMut(&str) + 'static)); }
这种方式可以编译,但无法获取闭包的所有权,也就无法将其转换为Box/Rc等形式长期存储。如果强制将引用设为'static,那和直接使用函数指针没有区别,失去了闭包捕获环境的意义。
方案2:直接传入Box包裹的闭包
将参数定义为Box<dyn FnMut>:
trait DynTrait { fn dyn_method(&mut self, closure: Box<dyn FnMut(&str) + 'static>); }
这个方案可以正常工作,但会把内部实现细节暴露给用户——调用时必须手动用Box::new()包裹闭包,增加了代码冗余;而且Rust有时无法自动推断闭包的参数类型,进一步提升了使用复杂度。
内容的提问来源于stack exchange,提问作者puaaaal
相关产品推荐
相关产品推荐

