从函数返回闭包与就地定义不一致

Question

在尝试使用activx web实现一个简单的web服务器应用程序时，我遇到了明显不一致的Rust闭包行为，不知道如何解释。

我有以下代码：

use actix_web::{web, App, HttpServer};
#[derive(Clone)]
struct Config {
val1: String,
val2: String,
val3: String,
}
fn main() {
let conf = Config {
val1: "just".to_string(),
val2: "some".to_string(),
val3: "data".to_string(),
};
HttpServer::new(move ||
App::new().configure(create_config(&conf))
)
.bind("127.0.0.1:8088")
.unwrap()
.run()
.unwrap();
}
fn create_config<'a>(conf: &'a Config) -> impl FnOnce(&mut web::ServiceConfig) + 'a {
move |app: &mut web::ServiceConfig| {
// Have to clone config because web::get().to by definition requires
// its argument to have static lifetime, which is longer than 'a
let my_own_conf_clone = conf.clone();
app.service(
web::scope("/user")
.route("", web::get().to(move || get_user(&my_own_conf_clone)))
);
}
}
fn get_user(conf: &Config) -> String {
println!("Config {} is {} here!", conf.val3, conf.val1);
"User McUser".to_string()
}

此代码有效。注意我传递给web::get().to的闭包。我使用它将Config对象向下传递给get_user，并且仍然根据需要为web::get().to提供一个没有参数的函数。在这一点上，我决定将闭包生成转移到一个单独的函数：

fn create_config<'a>(conf: &'a Config) -> impl FnOnce(&mut web::ServiceConfig) + 'a {
move |app: &mut web::ServiceConfig| {
app.service(
web::scope("/user")
.route("", web::get().to(gen_get_user(conf)))
);
}
}
fn gen_get_user(conf: &Config) -> impl Fn() -> String {
let my_own_conf_clone = conf.clone();
move || get_user(&my_own_conf_clone)
}
fn get_user(conf: &Config) -> String {
println!("Config {} is {} here!", conf.val3, conf.val1);
"User McUser".to_string()
}

此代码编译失败，出现以下错误：

error[E0277]: the trait bound `impl std::ops::Fn<()>: actix_web::handler::Factory<_, _>` is not satisfied
--> src/main.rs:30:39
|
30 |       .route("", web::get().to(gen_get_user(conf)))
|                             ^^ the trait `actix_web::handler::Factory<_, _>` is not implemented for `impl std::ops::Fn<()>`

为什么它在第二种情况下失败了，而在第一种情况下却没有？为什么特质Factory在第一种情况下得到满足，而在第二种情况下没有？可能是工厂的错(来源在这里(？在这种情况下，是否有不同的方法来返回关闭？你还能建议其他方法吗？(注意Factory不是公共的，所以我不能自己直接实现它(

如果你想篡改代码，我把它放在这里：https://github.com/yanivmo/rust-closure-experiments请注意，您可以在提交之间移动，以查看处于工作状态或失败状态的代码。

Answer 1

然后使用impl Trait作为返回类型，除该值之外的所有其他类型信息都将实现Trait擦除。

在这种特殊的情况下，闭包move || get_user(&my_own_conf_clone)实现Fn() -> String和Clone，但在返回Clone之后被擦除。

但由于Factory实现为Fn() -> String + Clone，而不是为Fn() -> String返回值，因此不再实现出厂。

这可以通过将gen_get_user更改为来解决

fn gen_get_user(conf: &Config) -> impl Fn() -> String + Clone{
let my_own_conf_clone = conf.clone();
move || get_user(&my_own_conf_clone)
}