Разница в том, что точный тип возвращаемый impl Animal
должен быть выведен на этапе компиляции т.е. fn get_sheep_one() -> impl Animal
для данной реализации эквивалентна простому возврату Sheep
.
Если добавить ещё один тип:
struct Cow;
impl Animal for Cow {
fn noise(&self) -> &'static str {
"moooooo!"
}
}
То такая функция уже не будет работать:
fn get_animal_by_str_bad(s: &str) -> Result<impl Animal, String> {
if s == "Cow" {
Ok(Cow{})
} else if s == "Sheep" {
Ok(Sheep{})
} else {
Err("Unknown animal".to_string())
}
}
И выдаст ошибку [playground]:
error[E0308]: mismatched types
--> src/main.rs:25:10
|
25 | Ok(Sheep{})
| ^^^^^^^ expected struct `Cow`, found struct `Sheep`
|
= note: expected type `Cow`
found type `Sheep`
Текст ошибки несколько запутан, но логика его такая: исходя из того, что первым возвращаемым значением по ходу текста было Cow
, rust
вывел, что impl Animal
должно быть типа Cow
и возмущается, когда после того, как он решил, что будет корова, ему подсовывают овцу.
Для того чтобы это преодолеть это ограничение, как раз и нужно использовать Box
и dyn
[playground]:
fn get_animal_by_str(s: &str) -> Result<Box <dyn Animal>, String> {
if s == "Cow" {
Ok(Box::new(Cow{}))
} else if s == "Sheep" {
Ok(Box::new(Sheep{}))
} else {
Err("Unknown animal".to_string())
}
}
По сути вся эта структура означает, что мы возвращать ссылку на динамический объект (Box
), который реализует (об этом говорит dyn
) поведение Animal
.
В исходном варианте практической разницы в общем то нет, разве что вариант с Box
будет иметь оверхед на выделение/освобождение памяти и разыменование ссылки. Но по сути это два разных действия.