rust - 为 dyn Fns 实现特征
问题描述
今天我在玩功能特征。尽管我在下面展示的示例实际上可能不是很有用,但我确实想知道为什么它不能编译。
pub fn do_something(o: &(dyn Other + 'static)) {
}
trait Other {
fn do_something_other(&self);
}
impl<A> Other for dyn Fn(A) {
fn do_something_other(&self) {
do_something(self);
}
}
在这里,我为函数类型实现了一个特征。此函数类型对其参数是通用的。这意味着如果您要这样做:
pub fn do_something(o: &(dyn Other + 'static)) {
}
trait Other {
fn do_something_other(&self);
}
impl<F, A> Other for F where F: (Fn(A)) + 'static {
fn do_something_other(&self) {
do_something(self);
}
}
我明白了,不相信用泛型可以做到这一点。但是动态方法,为什么不起作用?它给出了以下错误:
我不明白这个错误。它说我通过了 a Fn(A) -> ()
,它没有实现Other
。但是,这个错误实际上发生在Other
. 怎么不能在这里实现呢?
我的第一个想法是因为每个闭包都是它自己的类型。如果它与此有关,我发现错误非常奇怪。
解决方案
第一个构造失败,因为您无法将 a 转换&dyn A
为 a &dyn B
,即使在实现B
for时也是如此dyn A
。
trait A {}
trait B {
fn do_thing(&self);
}
impl B for dyn A {
fn do_thing(&self) {
let b: &dyn B = self;
}
}
error[E0308]: mismatched types
--> src/lib.rs:9:25
|
9 | let b: &dyn B = self;
| ------ ^^^^ expected trait `B`, found trait `A`
| |
| expected due to this
|
= note: expected reference `&dyn B`
found reference `&(dyn A + 'static)`
好吧,您可以转换特征,但只能在源特征的帮助下。但由于在这种情况下源是Fn
,这不是一条路线。
第二个构造失败是因为 Rust 不允许你实现可能发生冲突的特征。尝试为实现B
的类型实现A<_>
将自动被拒绝,因为类型可以有多个实现A<_>
。
trait A<T> {}
trait B {
fn do_thing(&self);
}
impl<T, U> B for T where T: A<U> {
fn do_thing(&self) {}
}
error[E0207]: the type parameter `U` is not constrained by the impl trait, self type, or predicates
--> src/lib.rs:7:9
|
7 | impl<T, U> B for T where T: A<U> {
| ^ unconstrained type parameter
特别是关于Fn
s ,它有点难以分辨,因为通常函数对象只实现一个Fn
特征。但是,关键字通常是因为您可以在每晚启用一项功能来做到这一点。而且特质系统通常不会受到青睐。
所以,你可以做什么?那么第一种方法仍然是函数式的,只是你必须将实现保持在特征内。如果您对函数参数使用具体类型,则可以使用第二种方法。
您可以想象实现Other
for &dyn Fn(_)
(在引用而不是对象本身上实现它)。Fn
但这对于通常使用对象的方式并不是特别方便。
pub fn do_something(o: &dyn Other) {}
trait Other {
fn do_something_other(&self);
}
impl<A> Other for &dyn Fn(A) {
fn do_something_other(&self) {
do_something(self);
}
}
fn main() {
// THIS WORKS
let closure: &dyn Fn(_) = &|x: i32| println!("x: {}", x);
closure.do_something_other();
// THIS DOESN'T WORK
// let closure = |x: i32| println!("x: {}", x);
// closure.do_something_other();
}
另一种选择是使Other
特征通用以约束A
,但这当然取决于它的设计方式。