enumeration cannot be a template
Ese es el error mostrado cuando intento compilar con BCC64 (basado en Clang) el siguiente código:
template <typename T> enum class enumerado : T
{
a,b,c,d,e
};
Primero, pensé que esta prohibición explícita se debía a las limitaciones del tipo subyacente de los enumerados ya que si el tipo del enumerado puede ser un tipo plantilla, podría resultar en enumerados incorrectos, sin embargo cuando intentamos esto:
template <typename A> struct estructura
{
enum class enumerado : A
{
a,b,c,d,e
};
};
Compila sin problemas siempre que el tipo A
cumpla con las limitaciones requeridas por el tipo subyacente de enumerados; de no ser así (tanto en un enumerado anidado en un objeto como en un enumerado contexto global) podemos ver otro error específico, como era de esperar:
enum class enumerado : mi_clase_fabulosa
{
a,b,c,d,e
};
non-integral type 'mi_clase_fabulosa' is an invalid underlying type
Así pues, este es el motivo por el que me pregunto ¿por qué está explícitamente prohibido crear un enumerado plantilla cuando ya hay control sobre su tipo subyacente? ¿Dónde en el estándar de C++ está definida esta limitación?
Esta es una traducción de la misma pregunta en la versión Inglesa.
-pedantic-errors
esto compila. Lo cuál dice mucho del error.!!! haha