Warp 要求冗长而复杂的显式类型注释，还有其他方法吗？

问题描述

我收到以下错误，

error[E0283]: type annotations needed for `warp::filter::and_then::AndThen<warp::filter::and::And<warp::filter::and::And<impl warp::Filter+std::marker::Copy,impl warp::Filte
r+std::marker::Copy>,impl warp::Filter+std::marker::Copy>,[closure@src/http.rs:12:13: 24:4]>`
  --> src/http.rs:12:4
   |
9  |     let create_user = warp::post()
   |         ----------- consider giving `create_user` the explicit type `warp::filter::and_then::AndThen<warp::filter::and::And<warp::filter::and::And<impl warp::Filter+std:
:marker::Copy,[closure@src/http.rs:12:13: 24:4]>`,with the type parameters specified
...
12 |         .and_then(|user: super::user::User| async move {
   |          ^^^^^^^^ cannot infer type
   |
   = note: cannot satisfy `_: reject::sealed::CombineRejection<Rejection>`

这是我写的。我对这应该是什么样子感到困惑，

pub async fn users() -> impl Filter<Extract = impl warp::Reply,Error = warp::Rejection> + Clone {
  let create_user = warp::post()
    .and(warp::path::end())
    .and(warp::body::json())
    .and_then(|user: super::user::User| async move {
      match &user.id_user {
        None => {
          if let Ok(u) = user.insert().await {
            Ok(warp::reply::json(&u))
          }
          else {
            Ok(warp::reply::json(&"FOO".to_owned()))
          }
        }
        Some(_) => Ok(warp::reply::json(&"FOO".to_owned())),}
    });

  let routes = warp::path("users");
  routes.and(create_user)
}

这应该是什么样子，我真的应该使用像这样的显式类型

warp::filter::and_then::AndThen<:filter::and::and warp::filter impl>,impl warp::Filter+std::marker::Copy>

为了清楚我在这里想要什么，是创建用户端点。

• 我希望从 JSON 反序列化用户对象
• 如果反序列化后的用户对象具有 id，我希望能够拒绝请求（HTTP 错误）。我不希望用户能够选择 ID。
• &user.insert() 将在数据库中插入用户对象，并返回一个带有 ID 的新用户对象。
• 我希望将错误或用户对象返回给用户。

我如何理解 Warp 请求的异常复杂的类型注释？这真的是必需的，还是我弄错了？

解决方法

这里的问题是 and_then() 闭包中异步块的类型推断失败。没有 Err() 路径可以告诉编译器 Error 变体是什么，因此推理失败。您可以通过在返回分支之一上注释完整的 Result 类型来解决此问题：

Ok::<_,warp::Rejection>(warp::reply::json(&u))

其他参考：

https://users.rust-lang.org/t/async-function-parameter-results-in-type-annotation-error/45379

以及有关在异步块中使用 ? 的类似问题的解决方法：

https://rust-lang.github.io/async-book/07_workarounds/02_err_in_async_blocks.html