Metaprogramowanie szablonu C ++ statyczne sprawdzanie typu
Nie mogłem znaleźć odpowiedzi na mój problem, więc publikuję go jako pytanie. Robię mały fikcyjny przykład, aby to wyjaśnić:
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;
}
Pamiętaj, że (1) Nie chcę specjalizacji „func”, ponieważ może to rozwiązać, ale chcę mieć tylko jedną ogólną metodę „func” z wewnętrznymi statycznymi warunkami „if” do wykonania kodu.(2) i wolałbym rozwiązanie ze standardowym C ++ (nie C ++ 0x lub boost).