Metaprogrammierung mit Std :: Is_Same

Question

Ist es möglich, etwas wie das Folgende zu tun, die ohne Template-Spezialisierung kompiliert?

template <class T> 
class A { 
public: 
    #if std::is_same<T,int> 
    void has_int() {} 
    #elif std::is_same<T,char> 
    void has_char() {} 
    #endif 
}; 
A<int> a; a.has_int(); 
A<char> b; b.has_char(); 

Answer 1

Ja. Nehmen Sie die Funktionsschablonen und dann conditionaly ermöglichen sie std::enable_if mit:

#include <type_traits> 

template <class T> 
class A { 
public: 

    template<typename U = T> 
    typename std::enable_if<std::is_same<U,int>::value>::type 
    has_int() {} 

    template<typename U = T> 
    typename std::enable_if<std::is_same<U,char>::value>::type 
    has_char() {} 
}; 

int main() 
{ 
    A<int> a; 
    a.has_int(); // OK 
    // a.has_char(); // error 
} 

Die Lösung von the other answer nicht möglich sein könnte, wenn die Klasse groß und hat viele Funktionen bekommen, die unabhängig von T benötigen. Sie können dies jedoch lösen, indem Sie von einer anderen Klasse erben, die nur für diese speziellen Methoden verwendet wird. Dann können Sie nur diese Basisklasse spezialisieren.

In C++ 14 gibt es bequeme Art Aliase so die Syntax werden kann:

std::enable_if_t<std::is_same<U, int>::value> 

und C++ 17, noch kürzer:

std::enable_if_t<std::is_same_v<U, int>> 

Answer 2

Ja, mit Template-Spezialisierung:

template <class T> 
class A; 

template <> 
class A<int> 
{ 
    void had_int(){} 
}; 

template <> 
class A<char> 
{ 
    void had_char(){} 
};