modello fallisce la compilazione: 'doppio' non è un tipo valido per un modello costante di parametri

Question

template<typename T, T Min> 
class LowerBoundedType {}; 
template<typename T> class vectorelement {}; 
template<> class vectorelement<Categorical> { typedef LowerBoundedType<double, 0.0> type; }; 

con l'errore:

error: 'double' is not a valid type for a template constant parameter 

Answer 1

Gli unici tipi numerici validi per un parametro di modello non standardizzate sono interi ed enumerazioni. Pertanto, non è possibile avere un parametro modello non tipografico di tipo double.