#rust
#Ржавчина
Вопрос:
У меня есть система обмена сообщениями, и я хочу решить все в общем виде. Сообщения могут быть отправлены сущностям, и сущности могут обрабатывать эти сообщения.
// There are many messages that implement this trait
trait Message {
type Response;
}
// Messages can be sent to 'entities'
trait Entity {
type Error;
}
// Entities can implement handlers for specific messages
trait MessageHandler<M: Message>: Entity {
fn handle(
amp;mut self,
message: M,
) -> Result<M::Response, Self::Error>;
}
Это было бы реализовано следующим образом:
struct SimpleEntity;
impl Entity for SimpleEntity {
type Error = ();
}
struct SimpleMessage;
impl Message for SimpleMessage {
type Response = ();
}
impl MessageHandler<SimpleMessage> for SimpleEntity {
fn handle(
amp;mut self,
message: SimpleMessage,
) -> Result<(), ()> {
Ok(())
}
}
Все объекты хранятся в системе. Система может хранить объекты только 1 типа. Для каждого обработчика сообщений, который есть у данного типа, должна существовать send_message
функция, которая принимает сообщение в общем виде.
Я представляю, как это могло бы выглядеть примерно так:
// A message system for one type of entity. This is an example. Normally there's all kinds of async multithreaded stuff here
struct MessageSystem<E: Entity> {
handlers: Vec<E>,
}
// For every message handler, we want to implement the send_message function
impl<M: Message, MH: MessageHandler<M>> MessageSystem<MH> {
pub fn send_message(amp;mut self, entity_id: (), message: M) -> Result<M::Response, MH::Error> {
unimplemented!();
}
}
Затем это можно было бы использовать следующим образом:
// Example usage
fn main() {
let mut system = MessageSystem { handlers: vec![SimpleEntity] };
system.send_message((), SimpleMessage).unwrap();
}
Однако это приводит к ошибке компиляции в блоке impl для send_message
функции:
error[E0207]: the type parameter `M` is not constrained by the impl trait, self type, or predicates
--> src/lib.rs:25:6
|
25 | impl<M: Message, MH: MessageHandler<M>> MessageSystem<MH> {
| ^ unconstrained type parameter
error: aborting due to previous error
For more information about this error, try `rustc --explain E0207`.
Как я мог бы заставить это работать?
Цель состоит в том, чтобы иметь эти разные структуры сообщений, обрабатывать их обработчиком, который может реализовать объект, и отправлять сообщения объектам через системную структуру.
Очевидной вещью было бы сделать сообщение связанным типом в MessageHandler
черте, но тогда вы не сможете реализовать несколько его версий для объекта.
Ответ №1:
Поскольку M
является общим для send_message
, но не MessageSystem
для самого признака, переместите его в send_message
функцию и переместите признак, привязанный к методу.
impl<MH: Entity> MessageSystem<MH> {
pub fn send_message<M>(amp;mut self, entity_id: (), message: M) -> Result<M::Response, MH::Error>
where
M: Message,
MH: MessageHandler<M>,
{
unimplemented!();
}
}
Ваша первоначальная ошибка возникает из-за того, что у вас есть общий параметр, который признак не использует, что означает, что он расплывчатый и правильный impl не может быть выбран.
Комментарии:
1.
MH: MessageHandler<M>
в случае, если generics не знает оM
insend_message
, не должно ли это вызвать ошибку?2. @Mihir Я этого не заметил, но я отредактировал сообщение, так что теперь оно работает.
3. Да, это отлично работает! По какой-то причине я думал, что это не будет работать с границами самой функции. Большое спасибо!