Идея в том, что где-то хранится статический счетчик, при каждом вызове getTypeInfo<T>() он увеличивается и сохраняется в другую статическую переменную для этого T

Ну, это не аргумент в общем случае

В общем случае - да. Люди на SO пишут что msvc может сломать этот подход - свести статические функции в одну если у них одинаковый асм-код

Если это правда, то это оч круто

Есть необходимость иметь уникальный айдишник для некоторых типов чтобы их можно было сравнивать в рантайме, что-то вроде 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. Какой-нибудь статический счетчик для типов.

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

А какие тут отличия от трюка со статическими методами?

народ, привет
пытаюсь удалить из <vector<vector<Point>> элементы, размер которых не входит в заданные пределы
делаю так:
   auto it = contours.begin();
   while(it != contours.end()) {
       if((it->size() < 30) || (it->size() > 70))
           contours.erase(it);
       else
           ++it;
   }
но все равно выдает vector iterators incompatible

🖐 Скажите мне какой php плохой

народ, привет
пытаюсь удалить из <vector<vector<Point>> элементы, размер которых не входит в заданные пределы
делаю так:
   auto it = contours.begin();
   while(it != contours.end()) {
       if((it->size() < 30) || (it->size() > 70))
           contours.erase(it);
       else
           ++it;
   }
но все равно выдает vector iterators incompatible

тут компилятор явно не имеет права схлопнуть разные переменные в одну

Мне тут коллега подсказал еще один трюк для более новых стандартов:

template<class T> void *type_id = &type_id<T>;

Иногда плюсы очень странные

https://godbolt.org/z/7cjYcx

это же 17-й стандарт, а мы говорим о мамонте 03

Мне тут коллега подсказал еще один трюк для более новых стандартов:

template<class T> void *type_id = &type_id<T>;

Иногда плюсы очень странные

https://godbolt.org/z/7cjYcx