¿Qué dice el estándar de lenguaje C++ sobre cómo maneja static_cast al reducir el tamaño de un entero?

Question

Me gustaría saber las reglas especificadas por el estándar del lenguaje C++ para situaciones como:

long x = 200; 
short y = static_cast<short>(x); 

Está y garantiza que sea 200 o sale el estándar de este hasta la puesta en práctica de decidir? ¿Qué tan bien cumplen los diversos compiladores el estándar?

Answer 1

En este caso, el static_cast<> es una 'conversión de tipo explícita. la norma tiene esto que decir acerca de las conversiones integrales en 4.7/3 "conversiones integral":

Si se firma el tipo de destino, el valor no se modifica si se puede representar en el tipo de destino (y el ancho campo de bits); de lo contrario, el valor está definido por la implementación.

Desde short se garantiza que sea capaz de mantener el valor 200 (short debe ser de al menos 16 bits), a continuación, para su ejemplo específico la respuesta es sí. Varios compiladores se adhieren bastante bien a este comportamiento: ha sido así desde los días anteriores a ANSI de C, y tanto código depende del comportamiento que los proveedores de compiladores parecen reacios incluso a emitir advertencias sobre la posibilidad de truncamiento.

Answer 2

Si el valor está dentro del rango de short, entonces el valor está garantizado que es correcto, que en su caso es verdadero, entonces y == 200.

Si cae fuera (por ejemplo, static_cast<short>(1000000000)), el comportamiento no está definido. La mayoría de los compiladores truncarán los dígitos binarios hasta el tamaño correcto.