Но как бэ struct { typeid, void* } чем лучше

Question

pro.cxx

Dmitry Sokolov

Но как бэ struct { typeid, void* } чем лучше

чем просто Base*? И таблицы виртуальных функций нахера придумали...

#c++ #embedded #programming #russian

0

22.11.2023

9 ответов

35 просмотров

Dmitry Sokolov Автор вопроса

Обычно стирание типов делается как раз для того чтобы не разбираться с конечными типами. for(auto& shape: vec) shape.draw(...); А приведенный код это явный антипаттерн

0

22.11.2023

Dmitry Sokolov Автор вопроса

Dmitry Sokolov
Обычно стирание типов делается как раз для того чт...

Ещё можно switch(shape.type) или std::visit(shape, ... При прочих равных я бы предпочел первый вариант.

0

22.11.2023

vitrevance

Богдан
тем что нельзя объявить метод "virtual auto draw(a...

только "лупхолы" работают в пределах одного TU то есть создание объекта и visit должны быть вместе что редкость

0

22.11.2023

Гражданин Котейко

vitrevance
только "лупхолы" работают в пределах одного TU то ...

а мы все 300+ миллионов строк кода в один TU склеим

0

22.11.2023

Dmitriy [Отпуск]

Гражданин Котейко
а мы все 300+ миллионов строк кода в один TU склеи...

И научим при запуске мержить инфу о типах/vtable из других исполняемых модулей (DLL, SO)... ...так стоп, JIT уже изобрели

0

22.11.2023

Гражданин Котейко

Dmitriy [Отпуск]
И научим при запуске мержить инфу о типах/vtable и...

ну в приииииинципе я бы не отказался от JIT в C++ для особо упоротых случаев оптимизации, когда вроде надо в часть кода вшить какие-то вещи статически, но комбинаторика не позволяет сделать это на этапе сборки чтобы синтаксис был что-то на уровне "передать рантайм значение в параметр шаблона" по UX, а не как сейчас с какими-то там libjit и AST возиться но это прям дико нишевый юзкейс

0

22.11.2023

Dmitry Sokolov Автор вопроса

Богдан
тем что нельзя объявить метод "virtual auto draw(a...

Вообще я не то чтоб сильно спорю, такой подход имеет место быть. Просто обычно проще явно расписать свой visit для такого типа чем заморачиваться со всякими автоматическими typeid. https://godbolt.org/z/Y1aenbKh5

0

23.11.2023

Dmitry Sokolov Автор вопроса

Dmitry Sokolov
Вообще я не то чтоб сильно спорю, такой подход име...

Хотя... можно ж упороться немношк, ассоциировать selector с typelist и сделать обобщённый visit. https://godbolt.org/z/P45sz8oMW

0

23.11.2023

Богдан · Accepted Answer

тем что нельзя объявить метод "virtual auto draw(auto fn)" в базовом классе потому что виртуальные методы не могут быть шаблонными, более того они даже не могут иметь auto-возвращаемый тип. А вот в случае ручного матчинга c оберткой struct Shape { void* ptr; int typeId } мы можем проверить айдишник, дальше закастить в конкретный тип и дальше вызвать шаблонный метод draw с auto-возвратом for(auto shape: vec){ if(shape.typeId == GetTypeId<Rect*>){ auto obj = static_cast<Rect*>(shape.ptr); //теперь у нас статический тип и мы можем вызывать шаблонный метод draw() auto res = obj->draw([](...){...}); } if(shape.typeId == GetTypeId<Circle*>){ auto obj = static_cast<Circle*>(shape.ptr); //теперь у нас статический тип и мы можем вызывать шаблонный метод draw() auto res = obj->draw([](...){...}) } }

170 похожих чатов

Но как бэ struct { typeid, void* } чем лучше

9 ответов

Похожие вопросы