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

Question

我收到以下错误，

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, impl warp::Filter+std::marker::Copy>, 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<warp::filter::and::And<warp::filter::and::And<impl warp::Filter+std::marker::Copy, impl warp::Filter+std::marker::Copy>, impl warp::Filter+std::marker::Copy>

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

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

我怎样才能理解 Warp 要求的荒谬复杂的类型注释？这真的是必需的，还是我弄错了？

Answer 1

这里的问题是 and_then() 闭包中异步块的类型推断失败。没有 Err() 路径可以告诉编译器 Error 变体是什么，因此推理失败。您可以通过在 return 分支之一上注释完整的 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

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

Warp asks for absurdly long and complex explicit type annotations, is there another way?

types

rust

type-annotation

rust-warp