¿Es seguro arrojar valores arbitrarios del tipo subyacente a un tipo de enumeración fuertemente tipado?

Question

Si tengo una enumeración fuertemente tipada, por ejemplo, tipo subyacente int, ¿está bien arrojar un valor int que no concuerde con ningún enumerador con el tipo enumeración?

enum e1 : int { x = 0, y = 1 }; 
enum class e2 : int { x = 0, y = 1 }; 

int main() { 
     e1 foo = static_cast<e1>(42); // is this UB? 
     e2 bar = static_cast<e2>(42); 
} 

Answer 1

De n3290, 5.2.9 estático fundido [expr.static.cast]:

10 Valor de tipo integral o de enumeración se puede convertir explícitamente a un tipo de enumeración. El valor no se modifica si el valor original está dentro del rango de los valores de enumeración (7.2). De lo contrario, el valor resultante no está especificado (y podría no estar en ese rango). [...]

Enumeración tipo comprende tanto los tipos que se declaran con enum y aquellos que se declaran con enum class o enum struct, que llama la Norma respectivamente sin ámbito enumeraciones y de ámbito enumeraciones. Descrito con más detalles en 7.2 Declaraciones de enumeración [dcl.enum].

Los valores de un tipo de enumeración no se debe confundir con sus enumeradores. En su caso, dado que las enumeraciones que declaró todas tienen int como sus tipos subyacentes, su rango de valores es el mismo que el de int: de INT_MIN a INT_MAX (inclusive).

Dado que 42 tiene el tipo int y es obviamente un valor de int el comportamiento está definido.