C++ template: Come mettere non standardizzate vincoli nel tempo

Question

compilazione Supponiamo che io sono modello seguente

template<unsigned char I, unsigned char F> 
class FOO 
{ 
    .... 
} 

In realtà, ho bisogno di (I> = F). Se qualcuno abusa

FOO<1, 2> a; 

spero di alzare un errore di compilazione. Come farlo?

Grazie

Answer 1

Un modo può essere C++ 11 di static_assert, che è simile a un assert, ma controllato in fase di compilazione:

template<unsigned char I, unsigned char F> 
class FOO 
{ 
    static_assert(I >= F, "I needs to be larger or equal to F"); 
    ... 
}; 

Answer 2

Se non si dispone di C++ 11, anche qui il buon vecchio trucco per i limiti dell'array funziona. Basta mettere quanto segue nella sezione privata della classe:

static int const error_size = I >= F ? 1 : -1; 
typedef char ERROR_I_must_not_be_less_than_F[error_size]; 

questo innescherà un errore di "dimensione della matrice negativo" ogni volta I è inferiore a F.