时间戳

首页 > 解决方案 > 通过特征和泛型类型来规范化可序列化数据的关联类型

compiler-errors - 通过特征和泛型类型来规范化可序列化数据的关联类型

问题描述

我试图实现一种类型，该类型将“强制”某些模式对我在Tide中的响应，但不断收到“只能使用来自特征的项目......”编译器错误。

#![feature(async_await, futures_api, await_macro, arbitrary_self_types)]
#![allow(proc_macro_derive_resolution_fallback)]

use serde_derive::Serialize;
use tide::{body::Json, IntoResponse, Response};

#[derive(Serialize)]
struct Document<Attrs, Rels> {
    data: PrimaryData<Attrs, Rels>,
}

#[derive(Serialize)]
struct PrimaryData<Attrs, Rels> {
    id: i32,
    kind: String,
    attributes: Attrs,
    relationships: Rels,
}

trait IntoPrimaryData: Send {
    type Attrs: serde::Serialize;
    type Rels: serde::Serialize;

    fn into_primary_data(self) -> PrimaryData<Self::Attrs, Self::Rels>;
}

struct ServiceResponse<T: IntoPrimaryData>(T);

impl<T: IntoPrimaryData> IntoResponse for ServiceResponse<T> {
    fn into_response(self) -> Response {
        Json(Document {
            data: self.0.into_primary_data(),
        })
        .with_status(http::status::StatusCode::OK)
        .into_response()
    }
}

#[derive(Serialize)]
struct User {
    id: i32,
    primary_email: String,
}

#[derive(Serialize)]
struct UserAttrs {
    primary_email: String,
}

impl IntoPrimaryData for User {
    type Attrs = UserAttrs;
    type Rels = ();

    fn into_primary_data(self) -> PrimaryData<Self::Attrs, Self::Rels> {
        PrimaryData {
            id: self.id,
            kind: "user".into(),
            attributes: UserAttrs {
                primary_email: self.primary_email,
            },
            relationships: (),
        }
    }
}

fn main() {}

[dependencies]
tide = "0.0.5"
http = "0.1.16"
serde = "1.0.89"
serde_derive = "1.0.89"

编译器返回错误

error[E0599]: no method named `with_status` found for type `tide::body::Json<Document<<T as IntoPrimaryData>::Attrs, <T as IntoPrimaryData>::Rels>>` in the current scope
  --> src/main.rs:34:10
   |
34 |         .with_status(http::status::StatusCode::OK)
   |          ^^^^^^^^^^^
   |
   = note: the method `with_status` exists but the following trait bounds were not satisfied:
           `tide::body::Json<Document<<T as IntoPrimaryData>::Attrs, <T as IntoPrimaryData>::Rels>> : tide::response::IntoResponse`
   = help: items from traits can only be used if the trait is implemented and in scope
   = note: the following trait defines an item `with_status`, perhaps you need to implement it:
           candidate #1: `tide::response::IntoResponse`

我不确定为什么会收到此错误，但我觉得这与该行data: self.0.into_primary_data()不够“具体”有关，并且不知道类型Self::Attrs和类型是什么Self::Rels。但是，我知道如果其中一个嵌套类型没有实现，我也会得到同样的错误（减去关于“来自特征的项目只能是......”的帮助提示），serde::Serialize但据我所知，我已经添加了那些他们需要的地方。

我现在已经尝试过以一百万种方式进行此操作，但似乎无法想出一种方法来为我的回复提供一些标准化的结构。

我在用着rustc 1.34.0-nightly (02c4c2892 2019-02-26)

标签： compiler-errorsscoperusttraits

解决方案

您没有正确指定关联类型的完整界限。

Json仅IntoResponse当它包含的类型同时实现Sendand时才实现Serialize：

impl<T: Send + Serialize> IntoResponse for Json<T>

您需要Send在关联类型的范围内包括：

trait IntoPrimaryData: Send {
    type Attrs: serde::Serialize + Send;
    //                           ^^^^^^
    type Rels: serde::Serialize + Send;
    //                          ^^^^^^

    fn into_primary_data(self) -> PrimaryData<Self::Attrs, Self::Rels>;
}

调试步骤

这行错误消息似乎很有希望：

the method `with_status` exists but the following trait bounds were not satisfied:
`tide::body::Json<Document<<T as IntoPrimaryData>::Attrs, <T as IntoPrimaryData>::Rels>> : tide::response::IntoResponse`

这表明我们可以调用with_status，除非编译器不知道该类型实现了特征。从那里，我去Json查看它是否实现的文档，IntoRespose如果是这样，在什么条件下：

impl<T: Send + Serialize> IntoResponse for Json<T>

基于此，我们知道这T必须是PrimaryData<T::Attrs, T::Rels>并且必须实施Send + Serialize。

我们看到PrimaryData推导Serialize：

#[derive(Serialize)]
struct PrimaryData<Attrs, Rels> {

根据现有知识，我知道大多数derived 特征要求所有泛型类型也实现该特征。这不太明显，但对于Send.

从那里开始，证明Attrs和Rels实现的特定类型Serialize和Send. 关联的类型边界处理一个但不处理另一个。

决定在哪里放置边界是一个意图和风格的问题——它们可以放在函数、impl块或特征中。由于 trait 已经提到了Serialize，因此添加额外的约束似乎是一个自然的地方。

我还犯了一个大错误——我假设您已经正确指定了边界并且遇到了编译器限制（也）。只有当我尝试应用建议的副本时，我才意识到边界不正确。

也可以看看：

推荐阅读