restricción de clase de plantilla

Question

Me pregunto si hay alguna manera de restringir la generación de código para una plantilla usando condiciones personalizadas. En mi caso, quiero funcionar foo para llamar solo si la clase de plantilla T se ha heredado por clase (algo así)

template <class T:public bar> void foo() 
{ 
    // do something 
} 

Answer 1

puede restringir T aunque el uso de "fracaso sustitución no es un error" (SFINAE):

template <typename T> 
typename std::enable_if<std::is_base_of<bar, T>::value>::type foo() 
{ 

} 

Si T no se deriva de bar, la especialización de la plantilla de función fallará y no será considerado durante la resolución de sobrecarga. std::enable_if y std::is_base_of son nuevos componentes de la biblioteca estándar de C++ agregados en la próxima revisión, C++ 0x. Si su compilación/implementación de la Biblioteca estándar aún no los admite, también puede encontrarlos en C++ TR1 o Boost.TypeTraits.

Answer 2

Sí, se puede utilizar la siguiente técnica (para herencia pública). Causará una sobrecarga de solo una inicialización de puntero.

Editar: Reescribiendo

template<typename Parent, typename Child> 
struct IsParentChild 
{ 
    static Parent* Check (Child *p) { return p; } 
    Parent* (*t_)(Child*); 
    IsParentChild() : t_(&Check) {} // function instantiation only 
}; 

template<typename T> 
void foo() 
{ 
    IsParentChild<Bar, T> check; 
// ... 
}