especialización parcial de un método en una clase de plantilla

Question

Dado:

struct A 
{ 
    virtual bool what() = 0; 
}; 

template<typename T, typename Q> 
struct B : public A 
{ 
    virtual bool what(); 
}; 

quiero especializar parcialmente what como:

template<typename T, typename Q> 
bool B<T, Q>::what() 
{ 
    return true; 
} 

template<typename Q> 
bool B<float, Q>::what() 
{ 
    return false; 
} 

pero parece que esto no es posible (es en C++ 11) así que traté SFINAE:?

template<typename T> 
typename std::enable_if<std::is_same<T, float>::value, bool>::type B<T>::what() 
{ 
    return true; 
} 

template<typename T> 
typename std::enable_if<!std::is_same<T, float>::value, bool>::type B<T>::what() 
{ 
    return false; 
} 

Esto también no funciona, no tengo ni idea de por qué, sin embargo, ¿alguien? Así que encontré this thread y terminó con:

template<typename T, typename Q> 
struct B : public A 
{ 
    virtual bool what() 
    { 
     return whatimpl(std::is_same<T, float>()); 
    } 

    bool whatimpl(std::false_type) 
    { 
     return false; 
    } 

    bool whatimpl(std::true_type) 
    { 
     return true; 
    } 
}; 

Esta solución final funciona, pero por qué no funciona el enable_if técnica? También estoy muy abierto a las sugerencias de una respuesta más clara que todavía no he encontrado.

Simplifiqué mis ejemplos tanto como sea posible - en mi caso de uso real, no se llama what()lo y de hecho lo hace un poco de trabajo, y querré 'especializarse' en un tipo definido por el usuario, no float.

Answer 1

especialización parcial está explícitamente permitido por la norma sólo para plantillas de clase (véase 14.5.5 plantilla de clase especializaciones parciales)

Para los miembros de la plantilla de clase solo se permite la especialización explícita.

14,7 (3) dice:

Una especialización explícita puede ser declarada por una plantilla de función, una plantilla de clase, un miembro de una clase de plantilla o una plantilla miembro. Se introduce una declaración explícita de especialización por plantilla <>.

Así que cualquier definición a partir de

template<typename T> 

no es una sintaxis permitido para el miembro de la especialización de plantilla de clase.

[editar]

En cuanto a SFINAE intento, fallido, porque en realidad no hay ni sobrecargas ni especializaciones aquí (SFINAE funciona mientras se define un conjunto de funciones candidatas para la resolución de sobrecarga o al elegir la especialización adecuada). lo() está declarada como un único método de plantilla de clase y debe tener una definición única, y esta definición debe tener una forma:

template<typename T, typename Q> 
B<T,Q>:: bool what(){...} 

o puede ser también especializado explícitamente para particular, la instanciación de clase B:

template<> 
B<SomeParticularTypeT,SomeParticularTypeTypeQ>:: bool what(){...} 

Cualquier otro formulario no es sintácticamente válido, por lo que SFINAE no puede ayudarlo.

Answer 2

¿Por qué no cambiar a ..

template<typename T, typename Q> 
struct B : public A 
{ 
    bool what() 
    { 
     return false; //Or whatever the default is... 
    } 
}; 

template<typename Q> 
struct B<float, Q> : public A 
{ 
    bool what() 
    { 
     return true; 
    } 
};