私は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
で特性を制限しましたSerialize
。Supervisor
これら 2 つの他の特性によって impl 内の特性をバインドすることで、 aの型がT
実装され、を呼び出しても安全である限り、型チェッカーに通知されるDeserialize
と考えました。Serialize
ipc::IpcOneShotServer::new()