La Cause de l'Erreur de Vérification de Plage (Delphi)

Voici une version condensée d'un code qui provoque à la fois une erreur de vérification de Plage et une erreur de dépassement de capacité, devrais-je tourner sur ceux compilateur de vérifier les directives. Je comprends pourquoi ce serait provoquer un dépassement de capacité, sur la multiplication de la C1, il semble probable qu'il pourrait dépasser les données de type max valude. Mais pourquoi en serait-il également déclencher une erreur de vérification? Delphi documentation et les autres postes sur un débordement de pile à les faire sonner comme de la gamme, à vérifier les erreurs sont généralement pour des accès à des tableaux qui sont en dehors des limites. Mais je ne suis pas accès à un tableau sur la ligne il est dit, est à l'origine de la gamme-erreur de vérification. Peut-être son sur la cession à param1? Mais pourquoi serait-ce une gamme de vérifier et pas une erreur de dépassement de capacité, le cas échéant?

const
  C1 = 44001;
  C2 = 17999;

function fxnName(..other params...; param1: Word): String;
var
  someByte: byte;
begin
  // some code
  // by now we're in a loop. the following line is where it breaks to in the debugger: 
  param1 := (someByte + param1) * C1 + C2;
  // more code
end;

Si c'est pertinent, lorsqu'elle tombe sur cette ligne dans le débogueur, toutes les valeurs de regarder comme prévu, sauf param1, ce qui montre "identificateur non déclaré: 'param1'" quand je demande à Delphes pour l'évaluer.

J'avais suppose que c'est juste parce que la gamme se produit avant le débordement de la case, et une fois la vérification de plage exception est levée, le débordement de la vérification ne se produit jamais. (Pas sûr de l'ordre, c'est donc juste un soupçon.)

OriginalL'auteur Jessica Brown | 2012-07-25

  1. 18

    Les documents sur la plage de vérification des états:

    $R directive permet d'activer ou de désactiver la génération de la gamme-le code de vérification. Dans le {$I+} état, tous les array et string-indexation expressions sont vérifiées comme étant dans les limites définies, et toutes les affectations de scalaire et du sous-groupe de variables sont contrôlées à l'intérieur de la gamme. Si une vérification échoue, un ERangeError exception est levée (ou le programme est terminé si la gestion des exceptions n'est pas activé).

    Donc, la raison ici est l'affectation d'une valeur scalaire, qui est remis une valeur qui a passé la limite supérieure de la fourchette.

    Voir aussi docwiki Types Simples sur la gamme de vérification des erreurs sur les types simples et les types de sous-intervalle.

    Exemple:

    {$R+} // Range check on
var
  w1,w2 : word;
begin
  w1 := High(word);
  w1 := w1 + 10; // causes range-check error on assignment to w1 (upper range passed)
  w2 := 0;
  w2 := w2 - 10; // causes range-check error on assignment to w2 (lower range passed)
end;

    Un résumé de l'essai de toutes les combinaisons de $R $et Q pour tout indépendant de la plate-types d'entiers:

                R+Q+  R+Q-  R-Q+
 ShortInt    R     R     x
 SmallInt    R     R     x
 Integer     O     x     O
 LongInt     O     x     O
 Int64       O     x     O
 Byte        R     R     x
 Word        R     R     x
 LongWord    O     x     O
 Cardinal    O     x     O
 UInt64      O     x     O

    R=erreur de Plage; O=erreur de Dépassement de capacité; x=Rien

    Et le test a été(pseudo-code) avec XE2 en mode 32 bits: 

    number := High(TNumber);
number := number + 1;
    lire les docs, juste testé le code et il génère de la gamme, à vérifier les erreurs. Vous devez lire après l' , à savoir, où il est dit que toutes les affectations pour les scalaires et les sous-intervalle variables sont contrôlées.
    Il sera sans doute erreur de dépassement de capacité si le type de données entier
    Si le calcul est effectué sur Integer types, bien sûr, mais i := i + Int64(1); doit (non testé) cause une erreur de portée lorsque i est un Integer avec une valeur de MaxInt.
    la gamme d'erreur en effet.
    Belle table! Pour résumer, type < 32 octets -> erreur de plage, type => 32 octets -> erreur de dépassement de capacité. Assez bizarre..

    OriginalL'auteur LU RD