Rust warp处理器返回不同实现Reply trait的Ok值报类型不匹配错误

错误原因 #

你对impl Trait语法的语义理解存在偏差：

• impl Trait作为函数返回值时，属于静态分发的不透明类型，编译器会根据第一个返回的具体值自动推断出唯一的具体类型，函数内所有返回分支都必须返回完全相同的这个类型，而非允许返回任意实现了该Trait的类型。
• 你的代码中第一个匹配分支返回的是warp::reply::Json类型，编译器就直接将返回的impl warp::reply::Reply推断为Json结构体类型，第二个分支返回的WithStatus结构体和它类型不匹配，因此触发类型错误。
• 你之前在其他语言接触的同类写法大概率是动态分发的语义，和Rust的impl Trait默认的静态分发逻辑不同。

解决方案 #

有三种常用的修复方式：

方案1：统一两个分支的返回类型 #

你可以把成功返回的Json也套一层with_status，指定200状态码，这样两个分支的返回值都是WithStatus类型，类型直接对齐：

use super::data;
use std::convert::Infallible;

pub async fn get_product(id: u32, repo: data::Repository) -> Result<impl warp::reply::Reply, Infallible> {
    let result = repo.get_product(id.to_string()).await;

    match result {
        // 成功返回套200状态码，统一为WithStatus类型
        Ok(product) => Ok(warp::reply::with_status(warp::reply::json(&product), warp::http::StatusCode::OK)),
        Err(e) => {
            println!("Error on get {}", e);
            Ok(warp::reply::with_status(warp::reply(), warp::http::StatusCode::BAD_REQUEST))
        },
    }
}

方案2：转换为统一的Response类型 #

所有实现了Reply trait的类型都可以调用into_response()方法转换为warp::reply::Response类型，你只需要在两个分支的返回值后都调用该方法即可统一类型：

use super::data;
use std::convert::Infallible;

pub async fn get_product(id: u32, repo: data::Repository) -> Result<impl warp::reply::Reply, Infallible> {
    let result = repo.get_product(id.to_string()).await;

    match result {
        Ok(product) => Ok(warp::reply::json(&product).into_response()),
        Err(e) => {
            println!("Error on get {}", e);
            Ok(warp::reply::with_status(warp::reply(), warp::http::StatusCode::BAD_REQUEST).into_response())
        },
    }
}

方案3：使用动态分发的Trait对象 #

如果你需要更灵活的返回逻辑，可以将返回值改为Box<dyn warp::reply::Reply>，通过堆分配的Trait对象实现动态分发，允许返回不同的实现了Reply trait的类型：

use super::data;
use std::convert::Infallible;

pub async fn get_product(id: u32, repo: data::Repository) -> Result<Box<dyn warp::reply::Reply>, Infallible> {
    let result = repo.get_product(id.to_string()).await;

    match result {
        Ok(product) => Ok(Box::new(warp::reply::json(&product))),
        Err(e) => {
            println!("Error on get {}", e);
            Ok(Box::new(warp::reply::with_status(warp::reply(), warp::http::StatusCode::BAD_REQUEST)))
        },
    }
}

该方案会带来极小的运行时性能开销，但灵活性最高，适合返回类型逻辑复杂的场景。

内容的提问来源于stack exchange，提问作者kingledion