Как определить аннотацию типа при вызове MyActor :: from_registry () из обработчика другого актера, который не определяет T? - PullRequest
1 голос
/ 21 мая 2019

У меня есть два актера Actix. MyActor1 определяет общую черту, которую реализует одно из его полей. MyActor2 не нужно определять T, и я не могу понять, как вызвать MyActor1::from_registry() из MyActor2 обработчиков сообщений, не зная, какой тип T отображается на.

Я пробовал варианты этого:

let addr: Addr<MyActor1<T>> = MyActor1::from_registry();

Это не работает, потому что я не знаю, где / как определить T, если только он не определен в struct MyActor2<T: Thing>, а затем добавлен в impl<T> Handler<Msg> for MyActor2<T> where T:....

Я тоже пробовал это, но это не работает, потому что Thing не реализует Default (потому что это черта):

let addr: Addr<MyActor1<Thing>> = MyActor1::from_registry();

Вот пример, который я использую:

Cargo.toml

[package]
name = "actix-example"
version = "0.1.0"
authors = ["me"]
edition = "2018"

[dependencies]
actix = "0.8.1"

main.rs

#![allow(dead_code)]

use actix::prelude::*;

trait Thing {
    fn name(&self) {}
}

#[derive(Default)]
struct One;
impl Thing for One {}

#[derive(Default)]
struct Two;
impl Thing for Two {}

// MyActor1
#[derive(Default)]
struct MyActor1<T: Thing> {
    thing: T,
}

impl<T> Actor for MyActor1<T>
where
    T: Thing + 'static + Default,
{
    type Context = Context<Self>;
}
impl<T> Supervised for MyActor1<T> where T: Thing + 'static + Default {}
impl<T> SystemService for MyActor1<T> where T: Thing + 'static + Default {}
impl<T> Handler<Msg> for MyActor1<T>
where
    T: Thing + 'static + Default,
{
    type Result = ();
    fn handle(&mut self, _msg: Msg, _ctx: &mut Context<Self>) {}
}

// MyActor2
#[derive(Default)]
struct MyActor2;

#[derive(Message)]
struct Msg;
impl Actor for MyActor2 {
    type Context = Context<Self>;
}
impl Supervised for MyActor2 {}
impl SystemService for MyActor2 {}

impl Handler<Msg> for MyActor2 {
    type Result = ();
    fn handle(&mut self, _msg: Msg, _ctx: &mut Context<Self>) {
        let addr = MyActor1::from_registry();
    }
}

fn main() {
    let sys = System::new("test");
    let act1 = MyActor1 {
        thing: One::default(),
    };
    let act2 = MyActor2::default();
    actix::SystemRegistry::set(act1.start());
    actix::SystemRegistry::set(act2.start());
    let _ = sys.run();
}

При запуске кода я получаю эту ошибку:

error[E0283]: type annotations required: cannot resolve `_: Thing`
  --> src/main.rs:50:20
   |
50 |         let addr = MyActor1::from_registry();
   |                    ^^^^^^^^^^^^^^^^^^^^^^^
   |
note: required by `MyActor1`
  --> src/main.rs:15:1
   |
15 | struct MyActor1<T: Thing> {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^

Я знаю, что это решает этот пример:

let addr: Addr<MyActor1<One>> = MyActor1::from_registry();

Что бы я сделал, если бы не знал, что было MyActor1<T> во время выполнения? Например, возможно, у меня был какой-то код для инициализации MyActor1 как MyActor1<Two> во время выполнения на основе некоторого аргумента командной строки.

1 Ответ

1 голос
/ 21 мая 2019

TL; DR: MyActor1 не является типом, это чертеж.


Когда вы объявляете struct Foo<T>, Foo не является типом, этопроект компилятора для создания типов, или, как это предусмотрено в компьютерной науке, конструктор типов .

Если у вас есть чертежи для дома, вы не можете открыть дверьсоставьте план и вздремните в спальне: там нет спальни, есть представление о том, как будет выглядеть спальня, когда дом будет построен.

То же самое применимо и здесь.Вы не можете использовать конструктор типа , где необходим тип .


У вас есть 3 решения:

  • MakeMyActor1 тип, удаляющий параметр T;например, он может хранить T как Box<Thing>.
  • Сделать MyActor2 универсальным, добавив параметр T.
  • Например, реализовать некоторое обнаружение во время выполнения.использование карты типов.

Какое наилучшее решение в вашем случае будет в значительной степени зависеть от вашего варианта использования, и я не хочу давать какие-либо советы, основанные на сокращенном примере.

...