Различных типов на основе шаблона типа

Question

У меня есть ::Class1 и ::Class2, я хотел бы создать шаблонную функцию, которая получает либо первый или второй, а затем на основе выбранных использования класса других классов, определенных в различных именах т.е. NameSpace::Class1, NameSpace::Class2. Есть ли способ сделать это на C++?

Например:

namespace NameSpace 
{ 
    class Class1 {}; class Class2 {}; 
} 

template <class T> // example Class1 or Class2 
void f(T object) { 
    NameSpace::T obj; // Something like this, but it doesn't work 
} 

Answer 1

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

template <typename T> 
struct FromType {}; 

template <> 
struct FromType<Class1> 
{ 
    typedef ns::Class1 type; 
} 

template <> 
struct FromType<Class2> 
{ 
    typedef ns::Class2 type; 
} 

Это может быть использовано в функция шаблона, обращаясь к полученному типу,

typename FromType<T>::type 

Обратите внимание, что это также будет давать ошибку компиляции, если вы пытаетесь использовать тип, отличный от Class1 или Class2.

Answer 2

NameSpace::T не работает, как T не имяClass1 или Class2, он представляет тип. Шаблоны не работают на текстовую подстановку, подобную этой.

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

struct Class1{}; struct Class2 {}; 

namespace NameSpace 
{ 
    class Class1 {}; class Class2 {}; 

    template <typename T> struct translate; 
    template<> struct translate<::Class1> { 
     using type = Class1; 
    }; 
    template<> struct translate<::Class2> { 
     using type = Class2; 
    }; 

    template <typename T> 
    using translate_t = typename translate<T>::type; 
} 

Вы могли бы использовать это так:

template <class T> 
void f(T object) { 
    using Translated = NameSpace::translate_t<T>; 
    Translated obj; 
} 

Answer 3

Просто омните NameSpace в NameSpace::T. Пространство имен должно быть определено в вызове функции f. Следующий пример компилируется.

namespace NameSpace 
{ 
    class Class1 {}; class Class2 {}; 
} 

template <class T> // example Class1 or Class2 
void f(T object) { 
    T obj; 
} 

int main() 
{ 
    NameSpace::Class1 x; 
    f(x); 
    return 0; 
}