Ogranicz typ szablonu C++ do określonego rozmiaru zmiennej

Question

Zastanawiam się, czy możliwe jest ograniczenie typu szablonu do typu zmiennej o określonym rozmiarze? Zakładając, że chce przyjąć 4 bajtów zmienną i odrzuca wszystkie inne, jeśli ten kod działa na jakiś kompilator gdzie sizeof (int) == 4 i sizeof (bool) == 1:

template <class T> FourOnly {...}; 
FourOnly<int> myInt; // this should compile 
FourOnly<bool> myBool; // this should fail at compilation time 

Każdy pomysł? Dzięki!

Answer 1

Można użyć statycznego twierdzenie:

template <class T> FourOnly 
{ 
    static_assert(sizeof(T)==4, "T is not 4 bytes"); 
}; 

Jeśli nie ma odpowiedniego wsparcia C++ 11, można rzucić okiem na boost.StaticAssert.

Answer 2

Można użyć std::enable_if zabronić kompilację gdy sizeof(T) nie jest 4.

template<typename T, 
     typename _ = typename std::enable_if<sizeof(T)==4>::type 
     > 
struct Four 
{}; 

Jednak wolałbym rozwiązanie w other answerstatic_assert.