Шаблон внутренних классов на основе параметров

Question

У меня есть вопрос, связанный с дизайном реализации класса шаблона.

шаблон AT может быть специализированы только параметры шаблона A1 и A2:

AT<A1> a; 

or 

AT<A2> a; 

Шаблон имеет функцию, которая может использовать B1 и B2 классы. В частности, когда шаблон специализирован с классом A1, функция должна использовать B1 и для A2, B2 следует использовать. Например:

template< class T > class AT : public A 
{ 
    int size; 

    public: 
    int f() 
    { 
     if (dynamic_cast<A1*> this != 0) { 
      size = sizeof(B1); 
     } 
     else { 
      size = sizeof(B2); 
     } 
    } 

    ... 
}; 

Как В1 и В2 классы, связанные с внутренней A1 и реализации А2, то предпочтительно, чтобы не сделать конечный пользователь в курсе об их существовании, так специализации шаблона, как

AT<A1, B1> a; 

неприемлемо.

Каков наилучший способ создания такого класса шаблонов и разрешить внутреннее дифференцирование на основе класса, с которым был специализирован шаблон?

Спасибо!

Answer 1

Вы можете создать простой тип признака для карты типов его:

template <typename T> 
struct B_type;   // Generic type mapping declaration (undefined) 
template <> 
struct B_type<A1> {  // Mapping of A1 -> B1 
    typedef B1 type; 
}; 
template <> 
struct B_type<A2> {  // Mappint of A2 -> B2 
    typedef B2 type; 
}; 

И затем использовать его внутри:

template <typename T> 
int AT<T>::f() { 
    return sizeof(typename B_type<T>::type); 
} 

Answer 2

В более простом случае можно использовать черты типа.

Если вам нужно что-то более сложное, вы можете использовать частное/защищенное наследование или просто создать специализированный объект (спасибо Дэвиду, указав, что невозможно использовать класс-член), который имеет явную специализацию для A1 и A2 и который выбирает правильную функцию.

template<> class sizeofFunc<A1> 
{ 
    public: 
     static int getSize(T obj) { 
      return sizeof(B1); 
     } 
}; 

template<> class sizeofFunc<A2> 
{ 
    public: 
     static int getSize(T obj) { 
      return sizeof(B2); 
     } 
}; 

template< class T > class AT : public A, private sizeofFunc<T> 
{ 
    int size; 

    public: 
    int f() 
    { 
     size = getSize(something); 
    } 

    ... 
};