Wildcards в TypeID

Question

Существует раздел кода в библиотеке я использую, который выглядит следующим образом:

... 
    if (ptype == typeid(Vector< T, 4 >)) 
     { 
     This->SetNumberOfComponents(4); 
     } 
    else if (ptype == typeid(Vector< T, 5 >)) 
     { 
     This->SetNumberOfComponents(5); 
     } 
... 

Если какой-либо способ сделать это более общий характер, делая что-то вроде

if (ptype == typeid(Vector< T, ANYTHING >)) 
     { 
     This->SetNumberOfComponents(THE_SECOND_TEMPLATE_PARAM); 
     } 

?

Спасибо,

Дэвид

Answer 1

Мы приняли предложение Роджера Pâte по удалению использования TypeID пути реструктуризации немного (Это был первый комментарий, так что я не мог пометить его как ответ). Спасибо за все замечательные идеи и обсуждения!

Answer 2

У вас есть доступ к векторным классом?

Если да, то вы можете добавить статическое поле внутри векторного класса, который просто повторяет обратно второй параметр шаблона:

template<class T, int SIZE> 
class Vector 
{ 
    // ... 
    public: 
     static const int NUM_COMPONENTS = SIZE; 
    // ... 
}; 

Answer 3

оптимизирующий компилятор будет INLINE рекурсивного определения в эквивалент ваших, если лестницы:

template<typename T, size_t N> 
struct TestType { 
    static void Test (const std::type_info& ptype) { 
     if (ptype == typeid (Vector< T, N >)) 
      This->SetNumberOfComponents (N); 
     else 
      TestType < T, N - 1 >::Test (ptype); 
    } 
}; 

// need to have a base case which doesn't recurse 
template<typename T> 
struct TestType<T, 0> { 
    static void Test (const std::type_info& ptype) {} 
}; 

const size_t MAX_DIMENSIONS (12); 

template<typename T> 
void SetNumberOfComponents (VectorBase<T>* p) 
{ 
    const std::type_info& ptype (typeid (*p)); 

    TestType<T, MAX_DIMENSIONS>::Test (ptype); 
} 

Answer 4

Возможно, вы можете совершить какой-то макрос взлома, поэтому вам не придется писать слишком много повторяющегося кода.

#include <boost/preprocessor/repetition/repeat.hpp> 
#include <typeinfo> 
#include <iostream> 

struct X 
{ 
    void SetNumberOfComponents(int n) { std::cout << n << '\n'; } 
}; 

template <class T, int N> 
struct Vector{}; 

typedef int T; 

void foobar(const std::type_info& ptype) 
{ 
    #define SUPPORTED_VECTOR_TYPES 20 
    #define BRANCH(z, n, text) else if (ptype == typeid(Vector<T, n>)) {This->SetNumberOfComponents(n);} 
    X x; 
    X* This = &x; 
    if (0); BOOST_PP_REPEAT(SUPPORTED_VECTOR_TYPES, BRANCH, UNUSED) 
    #undef SUPPORTED_VECTOR_TYPES 
    #undef BRANCH 
} 

int main() 
{ 
    foobar(typeid(Vector<int, 10>)); 
}