Ограничить параметр целочисленный шаблон

Question

У меня есть код л, как это:

template<int N, typename T> 
class XYZ { 
public: 
    enum { value = N }; 
    //... 
} 

Есть ли способ ограничить N каким-то образом? В частности, я хочу разрешить компиляцию только в том случае, если N делится на некоторое число, скажем 6. Так получилось, что это не просто ограничение типа. Предпочтительный способ - сделать это без Boost.

Answer 1

Один C++ 03 Подход:

template<int X, int Y> 
struct is_evenly_divisible 
{ 
    static bool const value = !(X % Y); 
}; 

template<int N, typename T, bool EnableB = is_evenly_divisible<N, 6>::value> 
struct XYZ 
{ 
    enum { value = N }; 
}; 

template<int N, typename T> 
struct XYZ<N, T, false>; // undefined, causes linker error 

Для C++ 11, вы можете избежать некоторых шаблонного и дать более хорошее сообщение об ошибке:

template<int N, typename T> 
struct XYZ 
{ 
    static_assert(!(N % 6), "N must be evenly divisible by 6"); 
    enum { value = N }; 
};