CD
можно вообще не использовать рантаймовые описания интерфейсов
Size: a a a
2020 August 14
AZ
ранатайм тут не при чем вообще
CD
как раз при чем
CD
у вас нет необходимости пополнять интерфейс методом perimeter, если вы можете сказать "мне нужен ShapeWithSquareAndPerimeter"
CD
если тебе нужно чтобы фигура реально имела площадь, а не некоторый AreableShape, то других вариантов нет
есть
CD
это не третий путь, это первый путь
dyn Trait возникает, когда вам нужно прочитать данные из внешнего источника и стереть информацию о типе, связавшись с этими данными
AZ
dyn Trait возникает, когда вам нужно прочитать данные из внешнего источника и стереть информацию о типе, связавшись с этими данными
dyn Trait всгде можно заменить на <T: Trait>
AZ
вопрос только хочешь ли ты тащить T через весь коллстек или нет
CD
dyn Trait всгде можно заменить на <T: Trait>
возможно, я не знаю, что такое dyn Trait в расте?
CD
вопрос только хочешь ли ты тащить T через весь коллстек или нет
хм... нет
CD
если я читаю имя класса из потока ввода
CD
нужно будет немного другой уровень теории типов
AZ
то чтобы смаппить его на тип тебе нужна функция String -> T
CD
String -> dyn T
AZ
никакого эвала который автоматически создаст тебе инстанс по имени не существует
AZ
String -> dyn T
не обязательно
CD
не обязательно
я не могу указать точный тип после этого, если у меня не завтиповый язык
AZ
я не могу указать точный тип после этого, если у меня не завтиповый язык
fn get_type(s: &str) -> Either<i32, i64> {
match s { ... }
}CD
fn get_type(s: &str) -> Either<i32, i64> {
match s { ... }
}у меня фабрика и регистрация
CD
открытая реализация