¿Por qué "i: = i + 1" no da un error de verificación de rango para enteros y tipos más grandes?

Question

considerar:

{$R+} 
i:= 1; 
While i > 0 do 
    i:= i + 1; 
ShowMessage(IntToStr(i)); 

Si Declaro i como byte, palabra o Shortint TinyInt me sale un error de rango-cheque, como se esperaba. Si declaro i como LongWord, Cardinal, Integer, LongInt o Int64 solo pasa por el ciclo while y muestra el valor negativo o 0, que i obtiene al pasar el límite superior.

¿Delphi 7 no es compatible con la comprobación de rango para números de 32 y 64 bits?

Answer 1

La operación i + 1 en realidad no produce un error de comprobación de rango. La operación de asignación lo hace.

Delphi evalúa la constante '1' como un Entero y por lo tanto el lado derecho producirá un resultado que es un Int64 o un Entero (el mayor de i es tipo y entero).

Si ampliamos la línea de salida se obtiene la siguiente

temp := i + 1 
i := temp 

temperatura será ya sea 32 o 64 bits, y se desbordará si llega al límite superior. En el momento en que hacemos la tarea, tenemos un valor de 32 o 64 bits perfectamente válido, por lo que no hay posibilidad de una falla de verificación de rango si tengo 32 bits o más.

Si tengo menos de 32 bits, se aumentará la comprobación del rango si la temperatura es demasiado grande para caber.

Para i> = 32 bits, se puede coger el error de desbordamiento de este modo:

{$R+,Q+} 
...