G
Но в релиз почему-то только очень мелкие изменения по синтаксису попадают))))
Size: a a a
2020 May 20
V
Ниче ниче, там конст дженерики пилятся потихоньку
G
Потихооооооньку0)))
V
К 2022 году точно допилят
p
по крайней мере если в это вкладывать наследование и динамические вызовы
кстати в расте можно сделать и наследование и динамические вызовы. с болью но можно.
G
кстати в расте можно сделать и наследование и динамические вызовы. с болью но можно.
И в Си можно
V
И в Си можно
void*?
G
Кладёшь суперкласс первым полем
G
Готово
V
AZ
кстати в расте можно сделать и наследование и динамические вызовы. с болью но можно.
динамические вызовы можно, а вот наследование уже никак (если не брать за наследование таскание vtable* руками)
G
Можно конвертировать zero-cost наследник к суперклассу
AZ
И в Си можно
ну не извращайся ну
AZ
на си можно написатьинтерпретатор джавы, только зачем
p
динамические вызовы можно, а вот наследование уже никак (если не брать за наследование таскание vtable* руками)
use core::ops::Deref;
struct Parent { field: i32 }
struct Child {
par: Parent,
field2: i32,
}
impl Deref for Child {
type Target = Parent;
fn deref(&self) -> &Self::Target {
&self.par
}
}
fn foo(data: Box<dyn Deref<Target = Parent>>) {
let _ = data.field + 1;
}
struct Parent { field: i32 }
struct Child {
par: Parent,
field2: i32,
}
impl Deref for Child {
type Target = Parent;
fn deref(&self) -> &Self::Target {
&self.par
}
}
fn foo(data: Box<dyn Deref<Target = Parent>>) {
let _ = data.field + 1;
}
p
придется обмазаться только боксами с dyn Deref
p
а так самое обычное наследование и дин вызовы
AZ
use core::ops::Deref;
struct Parent { field: i32 }
struct Child {
par: Parent,
field2: i32,
}
impl Deref for Child {
type Target = Parent;
fn deref(&self) -> &Self::Target {
&self.par
}
}
fn foo(data: Box<dyn Deref<Target = Parent>>) {
let _ = data.field + 1;
}
struct Parent { field: i32 }
struct Child {
par: Parent,
field2: i32,
}
impl Deref for Child {
type Target = Parent;
fn deref(&self) -> &Self::Target {
&self.par
}
}
fn foo(data: Box<dyn Deref<Target = Parent>>) {
let _ = data.field + 1;
}
AZ
а так самое обычное наследование и дин вызовы
This pattern does not introduce subtyping between Foo and Bar like inheritance in Java or C++ does. Furthermore, traits implemented by Foo are not automatically implemented for Bar, so this pattern interacts badly with bounds checking and thus generic programming.
Using this pattern gives subtly different semantics from most OO languages with regards to self. Usually it remains a reference to the sub-class, with this pattern it will be the 'class' where the method is defined.
Using this pattern gives subtly different semantics from most OO languages with regards to self. Usually it remains a reference to the sub-class, with this pattern it will be the 'class' where the method is defined.