SFINAE función miembro problema prueba de la existencia

Question

que tiene esta función de miembro de ensayo:

template <typename T> 
struct has_member { 
    template <typename U> static true_type f(decltype(declval<U>().member()) *); 
    template <typename> static false_type f(...); 
    static const bool value = decltype(f<T>(0))::value; 
}; 

Evalúa a cierto cuando existe una función miembro con un nombre dado, en el caso de que la función tiene una sobrecarga que no toma argumentos. Para tales funciones y en el caso de los contenedores STL, funciona correctamente excepto para las funciones de acceso a elementos (frontal, posterior, etc.), donde invariablemente se evalúa como falso.

¿Por qué es eso? Tengo mingw g ++ 4.7.

Answer 1

Esto se debe a que estas funciones devuelven referencias, y está declarando un puntero al valor de retorno, que es un puntero a una referencia, y eso es imposible.

La solución rápida sería:

template <typename U> static true_type 
     f(typename remove_reference< decltype(declval<U>().member()) >::type *); 

PS: Este tipo de errores puede ser (relativamente) fácil de resolver si se fuerza el compilador para dar un error cuando el SFINAE falla y creo que no debería.

Es decir, en su código, solo comente el false_type y vea los errores del compilador cuando true_type es la única opción. Entre un grupo de líneas sin sentido, se encuentra lo siguiente:

test.cpp:9:50: error: forming pointer to reference type 
    ‘__gnu_cxx::__alloc_traits<std::allocator<int> >::value_type& {aka int&}’