Axum多泛型处理器类型注解问题及灵活性保留方法咨询

我尝试为带有两个泛型参数M: ApiTrait, C: ClientTrait的处理器get_request配置路由，代码如下：

let mut app = Router::new();
app = app.route(
    "/model",
    get(get_request),
);


pub async fn get_request<M: ApiTrait, C: ClientTrait>(
    params: Query<RequestParams>,
    client_opt: Option<Extension<C>>,
    State(api): State<Arc<M>>,
) -> Result<Response, ApiError> { ... }

但出现以下错误：

error[E0283]: type annotations needed
   --> src/api/mod.rs:327:17
    |
327 |             get(get_request),
    |                 ^^^^^^^^^^^ cannot infer type of the type parameter `C` declared on the function `get_request`
    |
    = note: cannot satisfy `_: ClientTrait`
    = help: the following types implement trait `ClientTrait`:
              Client
              MockClient
note: required by a bound in `get_request`
   --> src/api/mod.rs:108:45
    |
108 | pub async fn get_request<M: ApiTrait, C: ClientTrait>(
    |                                          ^^^^^^^^^^^ required by this bound in `get_request`
help: consider specifying the generic arguments
    |
327 |             get(get_request::<S, C>),
    |                            ++++++++

目前我通过指定get(get_request::<_, Client>)解决了问题，但我希望保持灵活性，以便在测试时使用MockClient。我有两个问题：

1. 有没有办法同时保留两个泛型的灵活性？
2. 为什么Axum处理器无法处理多个泛型？

问题解答 #

1. 如何同时保留两个泛型的灵活性？ #

可以通过封装泛型路由构建函数的方式解决，让M和C在创建Router时被明确指定，这样既能在生产和测试环境传入不同类型，又保留了灵活性：

// 封装泛型路由构建函数
pub fn build_router<M: ApiTrait + 'static, C: ClientTrait + 'static>() -> Router {
    Router::new()
        .route("/model", get(get_request::<M, C>))
        // 可添加其他路由或中间件
}

// 生产环境使用
let app = build_router::<RealApi, Client>();

// 测试环境使用
let test_app = build_router::<MockApi, MockClient>();

另外，也可以给C设置默认类型，简化生产环境的调用：

// 给C指定默认类型为Client
pub async fn get_request<M: ApiTrait, C: ClientTrait + Default = Client>(
    params: Query<RequestParams>,
    client_opt: Option<Extension<C>>,
    State(api): State<Arc<M>>,
) -> Result<Response, ApiError> {
    // 可选：通过默认值处理未注入的情况
    let client = client_opt.unwrap_or_else(|| Extension(C::default()));
    ...
}

// 生产环境无需指定C，直接使用默认类型
app.route("/model", get(get_request::<RealApi, _>));

// 测试环境显式指定MockClient
test_app.route("/model", get(get_request::<MockApi, MockClient>));

2. 为什么Axum处理器无法直接处理多个泛型？ #

这不是Axum的限制，而是Rust类型推断机制的特性：

• 对于泛型M，Axum可以通过State<Arc<M>>从Router提前注入的状态中推断出具体类型；但对于C，Option<Extension<C>>是可选参数——如果没有注入Extension<C>，空Option无法提供任何类型信息，Rust无法自动推导C的具体类型。
• Axum的处理器最终会被转换为Handler trait的实现，而Rust在 trait 实现的类型推断中，无法自动推导未被上下文约束的泛型参数，必须显式指定或通过默认类型补充。

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