Comprobando si un argumento de plantilla es una referencia [C++ 03]

Question

Quiero comprobar si un argumento de plantilla es de tipo de referencia o no en C++ 03. (Ya tenemos is_reference en C++ 11 y Boost).

Hice uso de SFINAE y el hecho de que no podemos tener un puntero a una referencia.

Aquí está mi solución

#include <iostream> 
template<typename T> 
class IsReference { 
    private: 
    typedef char One; 
    typedef struct { char a[2]; } Two; 
    template<typename C> static One test(C*); 
    template<typename C> static Two test(...); 
    public: 
    enum { val = sizeof(IsReference<T>::template test<T>(0)) == 1 }; 
    enum { result = !val }; 

}; 

int main() 
{ 
    std::cout<< IsReference<int&>::result; // outputs 1 
    std::cout<< IsReference<int>::result; // outputs 0 
} 

Cualquier cuestión con ella? ¿Alguien puede proporcionarme una mejor solución? Hace

Answer 1

años, escribí esto:

//! compile-time boolean type 
template< bool b > 
struct bool_ { 
    enum { result = b!=0 }; 
    typedef bool_ result_t; 
}; 

template< typename T > 
struct is_reference : bool_<false> {}; 

template< typename T > 
struct is_reference<T&> : bool_<true> {}; 

A mí me parece más simple que su solución.

Sin embargo, solo se ha usado algunas veces y puede que falte algo.

Answer 2

Usted puede hacer esto mucho más fácil:

template <typename T> struct IsRef { 
    static bool const result = false; 
}; 
template <typename T> struct IsRef<T&> { 
    static bool const result = true; 
};