Уникальный идентификатор номера для шаблона с использованием функционального адреса

Question

Итак, этот вопрос задан раньше, но я хотел задать вопрос с некоторыми из этих ключевых слов в названии.

Проблема проста: как я могу иметь шаблонный класс, такой, что для каждого экземпляра шаблона, но не для каждого экземпляра класса, существует уникальный, числовой идентификатор?

То есть, способ дифференцировать:

foo<int> f1; 
foo<char> f2; 
classID(f1) != classID(f2); 

но,

foo<int> f3; 
foo<int> f4; 
classID(f3) == classID(f4); 

по теме:

in C++, how to use a singleton to ensure that each class has a unique integral ID?

Assigning Unique Numerical Identifiers to Instances of a Templated Class

Answer 1

template<class T> 
class Base 
{ 
public: 
    static void classID(){} 
private: 
    T* t; 
}; 

int main() 
{ 
    Base<int> foo; 
    Base<int> foo2; 
    Base<char> foo3; 

    /* 
    unsigned int i = reinterpret_cast<unsigned int>(Base<int>::classID); 
    unsigned int ii = reinterpret_cast<unsigned int>(Base<char>::classID); 
    unsigned int iii = reinterpret_cast<unsigned int>(Base<int>::classID); 
    /*/ 
    unsigned int i = reinterpret_cast<unsigned int>(foo.classID); 
    unsigned int ii = reinterpret_cast<unsigned int>(foo2.classID); 
    unsigned int iii = reinterpret_cast<unsigned int>(foo3.classID); 
    //*/ 

    return ((i != ii) + (i <= ii) + (i >= ii)) == 2; 
} 

Вот так! Он легкий, супер легкий и не использует RTTI, хотя использует смехотворно небезопасный reinterpret_cast.

Хотя, может быть, я чего-то не хватает?

Answer 2

Я думаю, вы можете просто использовать статическую функцию для этого, и наследовать класс:

struct IdCounter { static int counter; }; 
int IdCounter::counter; 

template<typename Derived> 
struct Id : IdCounter { 
    static int classId() { 
    static int id = counter++; 
    return id; 
    } 
}; 

struct One : Id<One> { }; 
struct Two : Id<Two> { }; 

int main() { assert(One::classId() != Two::classId()); } 

Конечно, это не будет статическая константа времени компиляции - я не думаю, что это возможно автоматически (вам придется добавить эти типы вручную в список типов, например mpl::vector). Обратите внимание, что для простого сравнения типов для равенства вам не нужно все это. Вам просто нужно использовать is_same (найдено в импульсе и других библиотеках и тривиальном писать), которое дает время компиляции постоянная

template<typename A, typename B> 
struct is_same { static bool const value = false; }; 
template<typename A> 
struct is_same<A, A> { static bool const value = true; }; 

int main() { char not_true[!is_same<One, Two>::value ? 1 : -1]; }