我将如何使用特征对象进行函数回调?

How would I use trait objects for function callbacks?

我正在努力思考特征对象以及如何使用它们。一种情况是我可能想传递一个回调函数,当满足某些条件时调用回调。

fn bind_callback( key: u64, /* pass function */) {
    // when key is matched with the event, call the function
}

我该怎么做呢?我听说我可以使用 trait 对象来做这样的事情,但我将如何实现呢?有人可以给我举个例子吗?这就是我的意思:

trait Callback {
    fn callback(self);
}

fn pass_callback(f: &Callback) {
    f.callback();
}

fn run_me() {
    println!("Hello World!");
}

fn main() {
    pass_callback(&run_me); // run simple no arg void ret function
    pass_callback(|| println!("Hello World!")); // same thing
}

我知道这是非常错误的,我正在尝试了解如何完成这样的事情。我的错误输出是:

<anon>:14:19: 14:26 error: the trait `Callback` is not implemented for the type `fn() {run_me}` [E0277]
<anon>:14     pass_callback(&run_me);
                            ^~~~~~~
<anon>:14:19: 14:26 help: see the detailed explanation for E0277
<anon>:14:19: 14:26 note: required for the cast to the object type `Callback`
<anon>:15:19: 15:46 error: mismatched types:
 expected `&Callback`,
    found `[closure@<anon>:15:19: 15:46]`
(expected &-ptr,
    found closure) [E0308]
<anon>:15     pass_callback(|| println!("Hello World!"));
                            ^~~~~~~~~~~~~~~~~~~~~~~~~~~
<anon>:15:19: 15:46 help: see the detailed explanation for E0308
error: aborting due to 2 previous errors
playpen: application terminated with error code 101

如果你想使用闭包和函数作为参数,你不能使用你自己的特征。相反,您使用 Fn* 系列之一:

fn pass_callback<F>(f: F)
    where F: Fn()
{
    f();
}

fn run_me() {
    println!("Hello World!");
}

fn main() {
    pass_callback(run_me);
    pass_callback(|| println!("Hello World!"));
}

如果你真的想使用你自己的特征,你可以,但是你需要在某些东西上实现特征并将那个项目传递给你的函数:

trait Callback {
    fn callback(&self, value: u8) -> bool;
}

struct IsEven;
impl Callback for IsEven {
    fn callback(&self, value: u8) -> bool {
        value % 2 == 0
    }
}

fn pass_callback<C>(f: C)
    where C: Callback
{
    if f.callback(42) {
        println!("Callback passed");
    }
}

fn main() {
    pass_callback(IsEven);
}

顺便说一句,你的评论

no arg void ret function

不完全正确。 Rust 没有 void "type",它有空元组,通常称为 单元类型

您的代码不起作用的原因是函数 run_me 和闭包 || println!("Hello World!") 没有实现您的回调特征。您可以通过为实现 Fn() 特征的所有类型添加 Callback 实现来解决此问题:

trait Callback {
    fn callback(&self);
}

fn pass_callback(f: &Callback) {
    f.callback();
}

fn run_me() {
    println!("Hello World!");
}

// For every type T that implements Fn(),
// this is the Callback implementation.
impl<T: Fn()> Callback for T {
    fn callback(&self) {
        self()
    }
}

fn main() {
    pass_callback(&run_me); // a simple function
    pass_callback(&|| println!("Hello World!")); // a closure
}