1

私はipc-channelクレートをいじって、以下を保持する汎用構造体を構築しようとしていますIpcOneShotServer:

extern crate ipc_channel;
extern crate serde;

use ipc_channel::{ipc, Error};
use serde::{Deserialize, Serialize};

struct Supervisor<T> {
    server: ipc::IpcOneShotServer<T>,
}

impl<T> Supervisor<T>
where
    T: for<'de> Deserialize<'de> + Serialize,
{
    fn new() -> Result<Supervisor<T>, Error> {
        let (server, _) = ipc::IpcOneShotServer::new()?;
        Ok(Supervisor { server: server })
    }
}

fn main() {}

このコードをコンパイルしようとすると、次のエラーが発生します

error[E0277]: the trait bound `for<'de> T: serde::de::Deserialize<'de>` is not satisfied
  --> src/main.rs:67:27
   |
67 |         let (server, _) = ipc::IpcOneShotServer::new()?;
   |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `for<'de> serde::de::Deserialize<'de>` is not implemented for `T`
   |
   = help: consider adding a `where for<'de> T: serde::de::Deserialize<'de>` bound
   = note: required by `<ipc_channel::ipc::IpcOneShotServer<T>>::new`

error[E0277]: the trait bound `T: serde::ser::Serialize` is not satisfied
  --> src/main.rs:67:27
   |
67 |         let (server, _) = ipc::IpcOneShotServer::new()?;
   |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `serde::ser::Serialize` is not implemented for `T`
   |
   = help: consider adding a `where T: serde::ser::Serialize` bound
   = note: required by `<ipc_channel::ipc::IpcOneShotServer<T>>::new`

ここで何が欠けているのかわかりません。Tと の両方Deserializeで特性を制限しましたSerializeSupervisorこれら 2 つの他の特性によって impl 内の特性をバインドすることで、 aの型がT実装され、を呼び出しても安全である限り、型チェッカーに通知されるDeserializeと考えました。Serializeipc::IpcOneShotServer::new()

4

0 に答える 0