OA
а просто x.downcast_ref() не компилится потому что он видит Box<dyn MyTrait> и что там внутри Any он уже не видит
Size: a a a
2020 September 10
AK
а просто x.downcast_ref() не компилится потому что он видит Box<dyn MyTrait> и что там внутри Any он уже не видит
fn as_any(&self) -> &dyn Any { self } попробуй в свой трейт добавить и его заюзать.OA
конфликт на Sized
OA
|
8 | fn as_any(&self) -> &dyn Any { self }
| ^^^^ doesn't have a size known at compile-time
8 | fn as_any(&self) -> &dyn Any { self }
| ^^^^ doesn't have a size known at compile-time
OA
а если добавить +Sized, то нельзя trait object сделать
OA
какая-то мутная ебанина вместо нормального изкоробочного решения
OA
ну да ладно. Спасибо!
OA
я так понимаю, что когда нам нужно вернуть &dyn Any, там создается какой-то смарт-референс, где есть ссылка на табличку про тип объекта?
AK
я так понимаю, что когда нам нужно вернуть &dyn Any, там создается какой-то смарт-референс, где есть ссылка на табличку про тип объекта?
Ну
&dyn Trait у тебя всегда "смарт-референс", даOA
и для каждого типа который решил impl fn to_any() компилятором будет создана табличка с имплами для даункаста и type_id
Э
trait MyTrait: Any + Debug {
fn foo(&self) -> String {
"MyTrait::foo()".to_string()
}
}
impl MyTrait for String {}
fn main() {
let x: Box<dyn MyTrait> = Box::new("Hi".to_string());
println!("&x: {:?}", &x);
println!("&x.foo(): {:?}", &x.foo());
println!("&x as Any->String: {:?}", (&x as &dyn Any).downcast_ref::<String>());
}вот тут все равно None в конце
let x: Box<dyn (Mytrait + Any)> пробовал?AK
let x: Box<dyn (Mytrait + Any)> пробовал?Плюсик только на Send и Sync работает
Э
Ай, да. И на лайфтайм.
Cʕ
