Почему нельзя в качестве результата match сделать impl Trait?

Question

[AHMED_RAPIRA]

match всегда возвращает что-то конкретное, в данном случае оно будет ругаться что ожидает только A на строчке с 1. Как тогда можно сделать фабричный метод в языке rust, никак (как и все остальное из мира ООП)?

trait C {}

struct A {}

impl C for A {}

struct B {}

impl C for B {}

fn create(value: u8) -> impl C {
    match value {
        0 => A {},
        1 => B {},
        _ => A {},
    }
}

Answer 1

[Андрей Леснико́в]

Потому что impl-trait это статический полиморфизм, работающий через мономорфизацию - т.е. при компиляции из абстратного дженерика через подстановку конкретных типов будет сгенерированно сколько-то конкретных версий функции.

Если зачем-то нужен ржавый фабричный метод, то, как вариант, можно перейти на динамическую диспечеризацию:

fn create(value: u8) -> Box<dyn C> {
    match value {
        0 => Box::new(A {}),
        1 => Box::new(B {}),
        _ => Box::new(A {}),
    }
}

Comments

[AHMED_RAPIRA]

спасибо

это ужасно, в no_std режиме без указания времен жизни где-либо (чтобы эта зараза <'a> ... &'a потом на весь код не распространилась и не уничтожила архитектуру) невозможно написать фабричный метод. то есть я прям код не могу писать дальше физически. просто жесть

[Андрей Леснико́в]

AHMED_RAPIRA, можно же Box из https://doc.rust-lang.org/stable/alloc или что подобное взять. Если надо обойтись вообще без боксов/аналогов и заранее известны все возможные варианты этого `C`, то может стоит на enum переделать.

[AHMED_RAPIRA]

Андрей Леснико́в, спасибо, через enum - это выход!