Grenzunterschreitung bei Array[1...9] ohne Exception

[cs.rumpelstilzchen]

Hallo Leute

Habe grad bemerkt, dass folgender Code zur Laufzeit KEINE Exception auslöst...

Delphi-Quellcode:

procedure TForm1.Button1Click(Sender: TObject);
var
  aTest : Array[1..9] of Integer;
  iIdx : Integer;
begin
  iIdx := 0;
  aTest[iIdx] := 123;
end;

Wo landet denn der zugewiesene Wert???

Erst wenn ich danach lesend auf das Element zugreife, knallts:

  Label1.Caption := IntToStr(aTest[iIdx]);

[Klaus01]

.. ist bei Dir range Checking - bzw. Bereichsüberprüfung in den Compliler Optionen gesetzt?

Grüße
Klaus

[Uwe Raabe]

Zitat von cs.rumpelstilzchen:

Habe grad bemerkt, dass folgender Code zur Laufzeit KEINE Exception auslöst...

Vermutlich, weil du das Range-Checking nicht eingeschaltet hast.

Zitat von cs.rumpelstilzchen:

Wo landet denn der zugewiesene Wert???

Damit überschreibst du den Speicherbereich vor dem Array.

Zitat von cs.rumpelstilzchen:

Erst wenn ich danach lesend auf das Element zugreife, knallts:

Verwundert nach der vorigen Antwort aber auch nicht wirklich.

[Papaschlumpf73]

Mir ist das erst neulich aufgefallen. Auf ein String-Array 1..9 konnte ich plötzlich mit Index 0 lesend zugreifen. Es kam ein großes "A" als Ergebnis. Keine Ahnung. Der try except - Block außenrum, der in diesem Falle früher "unbekannt" ausgegeben hatte, ist nicht angesprungen.

[jaenicke]

Hintergrund ist, dass die Prüfung, ob die Arraygrenzen eingehalten werden, logischerweise Zeit kostet. Deshalb muss man die bereits genannte Bereichsprüfung explizit aktivieren.

[QuickAndDirty]

Delphi-Quellcode:

{$R+}
procedure TForm1.Button1Click(Sender: TObject);
var
  aTest : Array[1..9] of Integer;
  iIdx : Integer;
begin
  iIdx := 0;
  aTest[iIdx] := 123;
  Label1.Caption := IntToStr(aTest[iIdx]);
end;

und jetzt?

[Papaschlumpf73]

Zitat von QuickAndDirty:

Delphi-Quellcode:

{$R+}
procedure TForm1.Button1Click(Sender: TObject);
var
  aTest : Array[1..9] of Integer;
  iIdx : Integer;
begin
  iIdx := 0;
  aTest[iIdx] := 123;
  Label1.Caption := IntToStr(aTest[iIdx]);
end;

und jetzt?

Drück mal auf Projekt > ...neu erzeugen. Dann sollte es klappen. Einfach F9 hat bei mir nicht gereicht. ????

[Papaschlumpf73]

Wenn ich in den Projektoptionen unter Erzeugen > Delphi-Compiler > Compilieren > Laufzeitfehler die "Bereichsüberprüfung" aktiviere, dann wird auch wieder eine Exception zur Laufzeit geworfen (nachdem ich das Projekt neu erzeugt habe; F9 reicht nicht). Die Option ist jetzt fett, d.h. es ist nicht der Standardwert. Ich frage mich jetzt, wer das wann verändert hat. Ich habe hier niemals an den Einstellungen rumgespielt und früher wurde die Exception definitiv geworfen.

Andersherum muss ebenfalls das Projekt neu erzeugt werden, wenn man die Option wieder deaktiviert; auch hier reicht F9 nicht aus.

[jaenicke]

Zitat von Papaschlumpf73:

Andersherum muss ebenfalls das Projekt neu erzeugt werden, wenn man die Option wieder deaktiviert; auch hier reicht F9 nicht aus.

Das ist klar. Denn Units werden nur neu kompiliert, wenn sie sich geändert haben. Das ist hier ja nicht der Fall.

Schöner wäre natürlich, wenn der Compiler auch die Änderung von Projekteinstellungen berücksichtigen würde, aber ob entsprechende Einstellungen geändert wurden, kann er schlicht nicht erkennen, da es dafür keine Markierung gibt.

[QuickAndDirty]

Zitat von Papaschlumpf73:

Zitat von QuickAndDirty:

Delphi-Quellcode:

{$R+}
procedure TForm1.Button1Click(Sender: TObject);
var
  aTest : Array[1..9] of Integer;
  iIdx : Integer;
begin
  iIdx := 0;
  aTest[iIdx] := 123;
  Label1.Caption := IntToStr(aTest[iIdx]);
end;

und jetzt?

Drück mal auf Projekt > ...neu erzeugen. Dann sollte es klappen. Einfach F9 hat bei mir nicht gereicht. ????

Du musst das Project "erzeugen". Leider ist F9 mehr so eine Zeitsparvariante von "Erzeugen".

Auf jedenfall kann ich nur davon abraten {$R+} oder RANGECHECK ON als Compiler option zu verwenden wenn das Produkt ausgeliefert wird. Es hilft aber manchmal komische Fehler im Testbetrieb zu finden.

[OT]
Wenn du ein recht aktuelles Delphi verwendest(Genereics, Classhelpers) dann kann ich dir noch folgende Unit von Github für Offene Arrays empfehlen.
https://github.com/WilliCommer/ArrayHelper

Die unit heist ArrayHelper.pas aber statt des helpers der inder Unit ist solltest du den TArrayRecord nutzen. Spart einem viel Arbeit und die Syntax sieht dann mehr Objekt orientiert aus...

Delphi-Quellcode:

var
  A: TArrayRecord<string>;
begin
  A.SetValues(['a','b','c']);
  A.Add('d');
  assert(  A.Count = 4 );    // same as length(A.Items);
  assert(  A[1] = 'b' );
  assert(  A.IndexOf('a') = 0 );
  for S in A do
    ..

[/OT]