автоматический уникальный ID типа времени компиляции

[_Bers]

Вопрос: можно ли добиться след. эффекта:

template<class T>
class Test
{
    //автоматическая генерация уникального для типа айдишника
    enum { eID =....}; //что можно подсунуть в правую часть выражения?
}

Требование: поддержка старого стандарта. Гцц/студия 2008.

[pproger]

имхо даже с constexpr это не сделать (именно с enum)
а вот в D без проблем

template Wrapper(T) {
public:
	enum { ID = cast(int)typeid(T) };
}

class A {}
class B {}
class C {}

writeln(Wrapper!A.ID);
writeln(Wrapper!B.ID);
writeln(Wrapper!C.ID);

можно хоть md5 или crc для имени класса в compile-time посчитать

[netrino]

Сообщение от pproger

имхо даже с constexpr это не сделать (именно с enum)
а вот в D без проблем

template Wrapper(T) {
public:
	enum { ID = cast(int)typeid(T) };
}

class A {}
class B {}
class C {}

writeln(Wrapper!A.ID);
writeln(Wrapper!B.ID);
writeln(Wrapper!C.ID);

можно хоть md5 или crc для имени класса в compile-time посчитать

Так не должно скомпилировать, нельзя приводить ссылку на объект к int, нужно сначала привести к void*. и public - лишнее, в D всё public по умолчанию. И если перечисление содержит единственный элемент, то фигурные скобки можно опустить. Но вообще, сомнительный способ, имхо.

[pproger]

2netrino
http://ideone.com/Uv6wh
получается, что можно. может в d1 нельзя было? я вообще с языком не очень хорошо знаком, изучаю только.

[netrino]

Сообщение от pproger

2netrino
http://ideone.com/Uv6wh
получается, что можно. может в d1 нельзя было? я вообще с языком не очень хорошо знаком, изучаю только.

Ах, действительно можно, но с оговоркой: тип должен быть не менее размера указателя на действующей платформе. У меня на 64-х битной системе нельзя было приводить к int, потому и сделал такие выводы, но сейчас проверил с long и действительно работает.

[Krok27]

Говорят, что можно.

[pproger]

2Krok27
страна чудес молочных, блин))) но моя студия на работе (2003) больше 1400 значений не осиливает, ругается на глубину рекурсии.

хехе. а вот в gcc не работает
http://ideone.com/WFmFQ
первый вариант (с бустом) не проверял

хех. все куда проще
http://ideone.com/U8s8Z
только в каждом классе вручную нужно его определять, ибо при инстансах шаблона он ID не меняет, ибо тупо препроцессор

[Krok27]

С бустом вроде пахает VS10:

#include <boost/preprocessor/repetition/enum_params.hpp>
#include <iostream>

int engine(...);

template<bool f> struct ts
{
    typedef int type;
};

template<> struct ts<false>
{
    typedef char type;
};
 
#ifndef COUNTER_MAX_COUNT
#define COUNTER_MAX_COUNT 100
#endif

#define COUNTER_HELPER(z, n, text) , typename ts<(v>n)>::type

template<typename type>
struct cnt_unique {};

// генераторы
template<int id> struct lin_gen 
{
    static const int val = id;
};

template<int id> struct even_gen 
{
    static const int val = id * 2;
};

template<int id> struct lin_gen_down
{
    static const int val = -id;
};

template<int id> struct pow2_gen
{
    static const int val = 2 << id;
};

template<typename, template <int> class, int> struct cnt;
typedef cnt<cnt_unique<cnt_unique<void> >, lin_gen, 0> cntt;

template
<
    typename tag_t = void, 
    template <int> class gen_t = lin_gen,
    int id = sizeof(engine(*(cntt*)0, *(cnt_unique<tag_t>*)0, 
        BOOST_PP_ENUM_PARAMS(COUNTER_MAX_COUNT, (int))))
>
struct cnt
{
    static const int v = id / 4 - 1;
    friend int(&engine(cntt&, cnt_unique<tag_t>& BOOST_PP_REPEAT(COUNTER_MAX_COUNT, COUNTER_HELPER, _)))[v+2];
    static const int val = gen_t<v>::val;
};



int _tmain(int argc, _TCHAR* argv[])
{
	
	std::cout << cnt<>::val << std::endl; 
	std::cout << cnt<>::val << std::endl;
	std::cout << cnt<>::val << std::endl;
	std::cout << cnt<>::val << std::endl;
	std::cout << cnt<>::val << std::endl;
	std::cout << cnt<>::val << std::endl;
	std::cout << cnt<>::val << std::endl;
	std::cout << cnt<>::val << std::endl;
	std::cout << cnt<>::val << std::endl;
	std::cout << cnt<>::val << std::endl;
	std::cout << cnt<>::val << std::endl;
	std::cout << cnt<>::val << std::endl;

	system("PAUSE");
	return 0;
}

gcc-4.3.4, правда, опять же не проглотил.

[pproger]

2Krok27
в g++ нет

[Krok27]

2pproger
Ога.