Я получаю привязку признака `T: sns_pub :: _ IMPL_DESERIALIZE_FOR_Message :: _ serde :: Serialize` не выполняется

Я пытаюсь сериализовать объект с помощью общего члена. Я получаю ошибку 'equired из-за требований к имплицитности sns_pub::_IMPL_DESERIALIZE_FOR_Message::_serde::Serialize для sns_pub::Message<T>

#[derive(Debug, PartialEq, Serialize, Deserialize)]
#[serde(bound(
serialize = "T: Serialize",
deserialize = "T: Deserialize<'de>",
))]
struct Message<T> {
    topic: String,
    message_id: String,
    created_date: DateTime<Utc>,
    message: T,
    subject: String
}
let msg = String::from("TEST_MESSAGE"); 
let message = Message {
             topic: self.topic.clone(),
             message_id: id.to_string(),
             created_date: now,
             subject: self.subject.clone(),
             message: msg
         };
let filename = format!("{}/{}_{}", self.folder_path, prefix, id);
let mut file = File::create(filename.clone())?;
 file.write_all(serde_yaml::to_string(&message)?.as_str())?;
error[E0277]: the trait bound `T: sns_pub::_IMPL_DESERIALIZE_FOR_Message::_serde::Serialize` is not satisfied
    --> src/sns_pub.rs:57:46
    | 
43  | impl<T> SnsPub<T> for DiskSnsPub {
    |      - help: consider restricting this bound: `T: sns_pub::_IMPL_DESERIALIZE_FOR_Message::_serde::Serialize` ... 
57  |  file.write_all(serde_yaml::to_string(&message)?.as_str())?;
    |                                       ^^^^^^^^ the trait `sns_pub::_IMPL_DESERIALIZE_FOR_Message::_serde::Serialize` is not implemented for `T`
    |     ::: /home/moharaza/.cargo/registry/src/github.com-1ecc6299db9ec823/serde_yaml-0.8.11/src/ser.rs:421:8
    | 
421 |     T: ser::Serialize,
    |              -------------- required by this bound in `serde_yaml::ser::to_string`
    |
    = note: required because of the requirements on the impl of `sns_pub::_IMPL_DESERIALIZE_FOR_Message::_serde::Serialize` for `sns_pub::Message<T>`

error[E0308]: mismatched types

person ymoharaza    schedule 21.11.2019    source источник


Ответы (1)


В предоставленном коде отсутствует много информации, и ошибка фактически вызвана кодом, который вы не предоставили. Вот почему важно предоставить [репрезент].

Однако я могу предположить, что часть кода на самом деле взята из метода Message, поскольку он использует self. Вы пропустили ограничение на T для блока impl, который определяет метод:

impl<T> Message<T>
where
    T: Serialize + for<'de> Deserialize<'de>,
{
     /// methods go here 
{

Я знаю это, потому что сообщение об ошибке уже говорит вам об этом в значительной степени.

person Peter Hall    schedule 22.11.2019