Возвращает тип объекта;

Question

Возможно ли вернуть тип объекта? Например, я хотел бы иметь построить так:

//pseudocode 
    template<class T> 
    void f(int value) 
    { 
    //depends on type T different action can be taken 
    } 

template<class T> 
type getType(T obj) 
{ 
return (type of obj); 
} 

, а затем в основной:

f<getType(Object)>(value); 

Answer 1

Да в какой-то смысл, но вам нужно переместить T в параметр. Это условный трюк, изученный Eric Niebler и объясненный here.

template<typename T> 
struct id { typedef T type; }; 

template<typename T> 
id<T> make_id(T) { return id<T>(); } 

struct get_type { 
    template<typename T> 
    operator id<T>() { return id<T>(); } 
}; 

#define pass_type(E) (true ? get_type() : make_id((E))) 

pass_type(expression) дает id<T> объекта таким образом, что T является CV-неквалифицированного типом этого выражения. Итак, вы можете сделать

template<class T> 
void f(int value, id<T>) 
{ 
    // Now go on as usual on T 
} 

f(value, pass_type(Object)); 

Answer 2

В C++ 0x есть decltype и авто, которые могут быть использованы

Answer 3

В шаблоне метапрограммирование это обычно делается с помощью шаблонов классов.

template <typename T> 
struct GetType 
{ 
    typedef T type; // usually it's something more complex 
}; 

// example: partial specialization is used to compute element type of some container template 
template <typename T> 
struct GetType< MyContainerType<T> > 
{ 
    typedef T type; 
}; 


......................... 

// and now you use it: 
f<GetType<Object>::type>(value); 

Здесь struct GetType<T> можно рассматривать как (мета) функция принимает один аргумент типа и возвращает одно значение типа.

Answer 4

Я думаю, что вам просто нужно использовать шаблон функции специализации:

template<> 
void f(int value) 
{ 
    .. operations when an int 
} 


template<> 
void f(char value) 
{ 
    .. operations when a char 
} 


template<> 
void f(double value) 
{ 
    .. operations when a double 
} 


template<class T> 
void f(T value) 
{ 
    .. operations when a T (not int, char or double) 
}