Force static_assert стрелять во время типа инстанцирования

Question

как я мог заставить static_assert в этом данном классе:

template < int I > 
struct foo 
{ 
    static_assert(I < 5 ,"I must be smaller than 5!"); 
}; 

огнь, когда я создаю экземпляр шаблона нет, когда я инстанцирование результирующего типа:

int main() 
{ 
    typedef foo<5> t; // compiles 
    t tt; // will not compile 
} 

Answer 1

Одно предложение

template <int I> 
struct foo_guard { 
    static_assert(I < 5, "I must be smaller than 5!"); 
    typedef void type; 
}; 
template < int I, typename = typename foo_guard<I>::type> 
struct foo 
{ 
}; 

Answer 2

Может быть, более элегантный способ, но вы можете сделать foo metafunction, который относится к себе:

template < int I > 
struct foo 
{ 
    static_assert(I < 5 ,"I must be smaller than 5!"); 
    typedef foo<I> type; 
}; 

int main() 
{ 
    typedef typename foo<5>::type t; // won't compile 
} 

Answer 3

Чтобы сохранить влияние на существующий код как можно ниже, вы можете использовать шаблон псевдоним:

template <int I> 
struct foo_impl 
{ 
    static_assert(I < 5 ,"I must be smaller than 5!"); 
}; 

template <int I, int = sizeof(foo_impl<I>)> 
using foo = foo_impl<I>; 

int main() 
{ 
    typedef foo<5> t; 
} 

Это позволяет статическое утверждение будет храниться с остальная часть реализации, но не требует кода, использующего foo<N>, для использования другого синтаксиса для обращения к шаблону.

Answer 4

template < int I, class=std::enable_if_t< (I<5) > > 
struct foo {}; 

live example.

Здесь мы делаем тест SFINAE, который ограничивает I.