Есть необходимость иметь уникальный айдишник для некоторых типов чтобы их

Question

Есть необходимость иметь уникальный айдишник для некоторых типов чтобы их

можно было сравнивать в рантайме, что-то вроде std::type_index.
Требования:
- переносимость не нужна (т.е. достаточно чтобы решение работало на одном компиляторе)
- поддержка полиморфных типов не нужна
- стандарт C++03 (т.е. std::type_index нельзя, он AFAIK только в 11ом появился)
- RTTI отключен (вроде как без него typeid() тоже не работает)
- читабельные имена типов и прочие плюшки не обязательны, достаточно чтобы тайп-айди был уникальным и его можно было сравнивать с другими тайп-айди

Пока смотрю на следующие трюки:
1. Адрес статического метода шаблонного класса, типа template<typename T> struct TypeInfo { static void get() {} };.
2. Шаблонная функция + макрос типа __PRETTY_FUNCTION__ который сгенерит строку для нее + адрес на эту строку. AFAIK именно этот трюк используется в boost:typeindex для ctti.
3. Какой-нибудь статический счетчик для типов.

Какие подводные камни у трюков выше? Что чатик может посоветовать?

#c++ #embedded #programming #russian

0

19.08.2020

3 ответов

15 просмотров

Aleksei Kuznetsov Kuznetsov

Через динамические либы работает только способ номер 2, если есть dll boundary то выбор очевиден.

0

19.08.2020

Alexander Karaev

template <class T> struct A { static void* id() { static int a; return &a; } };

0

19.08.2020

Kirill Bolshakov · Accepted Answer

Kirill Bolshakov

Если кол-во типов ограничено и небольшое, то думаю достаточно просто нафигачить специализацию шаблона на каждый тип. Если нужно больше универсальности, то вариант использовать boost::typeindex самый адекватный

0

19.08.2020

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

Есть необходимость иметь уникальный айдишник для некоторых типов чтобы их

3 ответов

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