ΑZ
хотя с дерайвом в целом это решается
Size: a a a
2021 January 12
p
тебе все ещё его надо руками прописывать
Да
p
И норм
CD
В C++ классы наследуются и для этого не нужно vtable (если нет виртуальных методов)
А в сишке вообще агрегация первым элементом неотличима от плюсового наследования в этом случае, кроме запары с постоянной точкой s.base.base
CD
Вот когда это перестанет требоваться, это будет другое
p
Вот когда это перестанет требоваться, это будет другое
Да, было бы неплохо если бы был транслятор мыслей в код
CD
Да, было бы неплохо если бы был транслятор мыслей в код
Да нет, это concept называется, который requires наличие поля id которое явно конвертируемо в uintmax_t
CD
На подобных структурах, скажем, отлично развязываются дебажные проверки
NK
тебя-то нам не хватало:)
;
😂
EG
И боксингом
Зачем?
EG
У меня, кстати, даже в самом суровом найтли не выходит поместить dyn Trait на стек, не положив его сначала в кучу
p
Кстати можно
p
let foo = Foo::new();
let d: &dyn Trait = &foo;
let d: &dyn Trait = &foo;
EG
let foo = Foo::new();
let d: &dyn Trait = &foo;
let d: &dyn Trait = &foo;
Не, это-то понятно
EG
Ты мне покажи, как
let d: dyn Trait = ... сделать без боксаEG
Я надеялся на
CoerceUnsized, но нетp
Ты мне покажи, как
let d: dyn Trait = ... сделать без боксаЭто физически невозможно
EG
Это физически невозможно
Почему?
p
Почему?
Как ты положишь на стек значение чьего размера ты не знаешь