CD
Дорого? У нас уже есть
type_info::name.Одно на класс в коде
Size: a a a
2020 August 09
ГH
Ммм, "в этом месяце делфи еще не хоронили". Есть у меня мысль в следующем проекте кросс-платформенный ГУИ в Лазарусе сделать.
АР
вроде как за type_info ты не платишь пока не начинаешь им пользоваться?
CD
вроде как за type_info ты не платишь пока не начинаешь им пользоваться?
платишь в vtbl
АР
типа type_info::name инстанцируется только для классов от которых инстанцируется type_info, разве нет?
CD
типа type_info::name инстанцируется только для классов от которых инстанцируется type_info, разве нет?
type_info при включенном RTTI будет немедленно при появлении виртуальной функции, нет?
АР
не совсем понял при чем тут виртуальные функции
CD
не совсем понял при чем тут виртуальные функции
https://en.cppreference.com/w/cpp/language/object#Polymorphic_objects
Objects of a class type that declares or inherits at least one virtual function are polymorphic objects. Within each polymorphic object, the implementation stores additional information (in every existing implementation, it is one pointer unless optimized out), which is used by virtual function calls and by the RTTI features (dynamic_cast and typeid) to determine, at run time, the type with which the object was created, regardless of the expression it is used in.
Objects of a class type that declares or inherits at least one virtual function are polymorphic objects. Within each polymorphic object, the implementation stores additional information (in every existing implementation, it is one pointer unless optimized out), which is used by virtual function calls and by the RTTI features (dynamic_cast and typeid) to determine, at run time, the type with which the object was created, regardless of the expression it is used in.
АР
так, еще раз. Вот у меня есть указатель на интерфейс типа ISomeType*
АР
как мне получить имя типа SomeType в рантайме по этому указателю, если SomeType наследует ISomeType?
АР
dynamic_cast он для виртуальных классов
АР
пока не раскомментишь, typeinfo не генерится. Но когда раскомментишь, генерится и для базового, и для наследника
АР
При этом если по аналогии добавить SomeOtherType, всё равно typeinfo генерится только для указанных классов и их базовых:
https://godbolt.org/z/Yvc8aM
https://godbolt.org/z/Yvc8aM
ПК
UB это и есть максимально производительное решение. То что на x86 есть SIMD инструкция которая использует переполнение с насыщением еще не значит что это так на всех платформах. Более того разработчики компилятора могут добавить преобразование неэффективного кода явно реализующего насыщение при переполнении в ту самую ассемблерную инструкцию.
Мне кажется что в большинстве случаев переполнение при конвертации float к int это логическая ошибка и с точки зрения пользователя разницы между UB и насыщением нет.
Мне кажется что в большинстве случаев переполнение при конвертации float к int это логическая ошибка и с точки зрения пользователя разницы между UB и насыщением нет.
А как правильно проверит дабл на конвертируемость в integral?
CD
Вот например: https://godbolt.org/z/eY9Ez4
CD
на самом деле сгенерится вместе с конструктором, я полагаю
CD
вроде бы vtbl инстанцируется конструктором
ПК
В общем, в некоторых рамках эта задача могла бы быть реализована компилятором по явному запросу на генерацию, но с точки зрения С++ если задача может быть решена без компилятора не очень понятно, зачем её решать компилятором
Дак рефлексию без компилятора не получить