plantilla falla al compilar: 'doble' no es un tipo válido para una plantilla de parámetro constante

Question

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

con el error:

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

Answer 1

Los únicos tipos numéricos válidos para un parámetro de plantilla no tipológicas son números enteros y enumeraciones. Por lo tanto, no puede tener un parámetro de plantilla sin tipo de tipo double.