Ograniczenie klasy szablonów

Question

Zastanawiam się, czy istnieje jakikolwiek sposób ograniczenia kodu generującego szablon przy użyciu niestandardowych warunków w moim przypadku chcę, aby funkcja foo była wywoływana tylko wtedy, gdy klasa klasy T ma dziedziczone przez pasek klasy (coś takiego)

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

Answer 1

można ograniczyć T chociaż używając "Failure Zmiana Czy nie jest to błąd" (SFINAE):

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

} 

Jeśli T nie pochodzi od bar, specjalizację szablonu funkcji zawiedzie i nie będzie brane pod uwagę podczas rozwiązywania przeciążenia. std::enable_if i std::is_base_of to nowe składniki standardowej biblioteki C++ dodane w nadchodzącej wersji, C++ 0x. Jeśli implementacja kompilatora/biblioteki standardowej jeszcze ich nie obsługuje, możesz je również znaleźć w C++ TR1 lub Boost.TypeTraits.

Answer 2

Tak, można zastosować następującą technikę (w przypadku dziedziczenia publicznego). Spowoduje to narzut tylko jednej inicjalizacji wskaźnika.

Edit: Re pisania

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; 
// ... 
}