Verificação de tipo estático de metaprogramação de modelo C ++
Eu não consegui encontrar uma resposta para o meu problema, então eu postei isso como uma pergunta. Eu faço um pequeno exemplo para explicar:
enum STORAGE_TYPE
{
CONTIGUOUS,
NON_CONTIGUOUS
};
template <typename T, STORAGE_TYPE type=CONTIGUOUS>
class Data
{
public:
void a() { return 1; }
};
// partial type specialization
template <typename T>
class Data<T, NON_CONTIGUOUS>
{
public:
void b() { return 0; }
};
// this method should accept any Data including specializations…
template <typename T, STORAGE_TYPE type>
void func(Data<T, type> &d)
{
/* How could I determine statically the STORAGE_TYPE? */
#if .. ??
d.a();
#else
d.b();
#endif
}
int main()
{
Data<int> d1;
Data<int, NON_CONTIGUOUS> d2;
func(d1);
func(d2);
return 0;
}
Por favor note que (1) Eu não quero uma especialização de "func", como isso poderia resolvê-lo, mas eu só quero ter um método genérico "func" com condições estáticas internas "se" para executar o código.(2) e eu preferiria solução com C ++ padrão (não C ++ 0x ou boost).