C++ modèle vérification de type validation

Question

par exemple,

enum tr {z, u}; 

template<tr T> 
class test 
{ 
     assert(T is z or u);//how can I add assertions in this field? 
}; 

dans le commentaire comment puis-je ajouter du code à affirmer le T modèle ne devrait être z ou u?

Answer 1

Cela peut être fait en utilisant static_assert comme @ πάντα-ῥεῖ déjà signalé:

enum tr {z, u, bar}; 

template<tr T> 
class test 
{ 
     static_assert(T==z||T==u, "T must be z or u"); 
}; 

int main() 
{ 
    test<z> t_valid; 
    test<bar> t_fails; // compilation fails 
    return 0; 
} 

live on ideone