Вот есть такой шаблон, который отображает каждый тип в уникальное число (адрес статической переменной)

template <class T> 
struct TypeToX
{
  static char c;
};

А как сделать обратное отображение? Что-то типа вроде

template <char *pc>
struct XToType
{
  typedef <???> Type;
};