Crius库提供
Rust的类似断路器的功能。 Crius定义了一个名为Command
的结构,如下所示:
pub struct Command<P, T, CMD>
where
T: Send,
CMD: Fn(P) -> Result<T, Box<CommandError>> + Sync + Send,
{
pub config: Option<Config>,
pub cmd: CMD,
phantom_data: PhantomData<P>,
}
是否可以将Command
的实例作为字段存储在不同的结构中?
我开始尝试从a返回此类型的值 功能。简单地实例化类型是没有问题的:
/// This function constructs a simple instance of `Command<P, T, CMD>` with the
/// types set to:
///
/// P ~ u8
/// T ~ u8
/// CMD: Fn(u8) -> Result<u8, Box<CommandError>> + Send + Sync
///
/// This function compiles fine. However, there is no *concrete* type
/// for `CMD`. In compiler output it will be referred to as an
/// "anonymous" type looking like this:
///
/// Command<u8, u8, [closure@src/lib.rs:19:21: 19:38]>
fn simple_command_instance() {
let _ = Command::define(|n: u8| Ok(n * 2));
}
写入返回类型时变得更加困难 功能:
fn return_command_instance() -> Command<u8, u8, ???> {
^
|
What goes here? -------
Command::define(|n: u8| Ok(n * 2))
}
编译器推断的类型是匿名的 - 它不能被放入
那里。很多时候关闭时,人们会诉诸
使用Box<F: Fn<...>>
,但没有实现
impl Fn<T> for Box<Fn<T>>
- 所以拳击类型打破了
由crius::command::Command
给出的约束。
在具有新impl Trait
功能的Rust版本中(例如
即将推出的稳定版本),这是可能的:
/// Use new `impl Trait` syntax as a type parameter in the return
/// type:
fn impl_trait_type_param() -> Command<u8, u8, impl Fn(u8) -> Result<u8, Box<CommandError>>> {
Command::define(|n: u8| Ok(n * 2))
}
这在稳定的Rust中不起作用,impl Trait
只能
用于返回类型,而不是结构成员。
尝试传播泛型类型最终看起来像 这样:
fn return_cmd_struct<F>() -> Command<u8, u8, F>
where
F: Fn(u8) -> Result<u8, Box<CommandError>> + Send + Sync,
{
Command::define(|n: u8| Ok(n * 2))
}
但是这不能编译:
error[E0308]: mismatched types
--> src/lib.rs:33:21
|
33 | Command::define(|n: u8| Ok(n * 2))
| ^^^^^^^^^^^^^^^^^ expected type parameter, found closure
|
= note: expected type `F`
found type `[closure@src/lib.rs:33:21: 33:38]`
同样,我不知道如何指定具体类型 结果签名。
即使将类型传播为通用参数,也会如此
仍然是我们特定用例的问题。我们想要存储一个
Command
作为actix演员的一部分,注册为
SystemService
,需要Default
实施,其中
再次最终迫使我们提供具体的类型。
如果有人对可能的方法有任何想法,请分享 他们。绝对知道不是可能也不错。
答案 0 :(得分:5)
我目前知道闭包不能用作返回类型的一部分而不是使用impl
或Box
,这两个都是你提到的,在这种情况下不能使用。< / p>
另一种方法是使用函数指针而不是闭包,如下所示:
fn return_command_instance() -> Command<u8, u8, fn(u8) -> Result<u8, Box<CommandError>>> {
Command::define(|n: u8| Ok(n * 2))
}
注意小写fn
表示函数指针而不是特征Fn
。这在Advanced Functions & Closures一章中有更详细的解释。
这只有在你没有捕获函数中的任何变量时才会起作用,如果这样做,它将被编译成一个闭包。