Debuggen einer Schleife

[MrMooed]

Guten Abend DPler,

langsam glaube ich, dass mich Delphi trollen will.
Innerhalb einer Schleife kommt es regelmäßig zu einer AV. Jedoch ist das komische, dass sie immer an einer anderen Stelle auftritt. Mal nach der 10.000 Iteration, mal "erst" nach der 14.000

Mit einigen try-except-Blöcken konnte ich nun nachvollziehen, dass es *scheinbar* an dem Constructor eines Objekts liegt.

Delphi-Quellcode:

type
FeldArray1D = Array of TFeld;
var
folgeZustand, Zustand: TStack;
aArray: FeldArray1D
Feld: TFeld;
begin
for y:=0 to High( aArray ) do
      try
        folgeZustand.push( TZustand.create( without(aArray, y), Feld, TZustand( Zustand.top ) ) );
      except
        showmessage('Fehler bei Zustand.create'); // Wird ausgelöst
      end;
end;

Nur das (für mich) Komische ist, dass der try-except-Block in dem constructor nicht ausgelöst wird

Delphi-Quellcode:

constructor TZustand.create(const pBrennt: FeldArray1D; const pGeloescht: TFeld;
  const pVorgaenger: TZustand);
begin
  try
  lVerbrannt := pBrennt;
  fGeloescht := pGeloescht;
  zVorgaenger := pVorgaenger;
  except
    showmessage('Fehler in create'); // Keine Reaktion
  end;
end;

Kann es evtl. sein, dass nur eine begrenzte Anzahl an Objekten erstellt werden kann ? Das ganze wird wie gesagt mehrere Tausend Mal aufgerufen.
Oder gibt es einen ganz simplen Trick, mit dem ich per debugger an das Problem herangehen kann ? Denn wenn das ganze mal wieder crashed, kommt nur die AV-Meldung und das CPU-Fenster öffnet sich - nicht die gecrashte Quellcodezeile

[Namenloser]

Der Fehler liegt offensichtlich nicht im Konstruktor, sondern woanders, deshalb hilft dir auch der Try-Except-Block dort nichts. Vermutlich zerschießt dir irgendwas den Speicher oder es wird auf eine Struktur zugegriffen, die schon freigegeben wurde. Mehr kann man dazu nicht sagen, ohne den kompletten Source-Code zu haben.

Wie viele Objekte man anlegen kann ist nur durch den Arbeitsspeicher begrenzt. Aber wenn der voll ist, dann kommt keine AV, sondern eine andere Exception, deren genauen Namen ich vergessen habe.

Im Zweifelsfall debugge ich solche Fehler, indem ich so lange alles auskommentiere, bis der Fehler nicht mehr auftritt.

[jaenicke]

Das ist ein typisches Einsatzgebiet für FastMM. Das sagt dir im FullDebugMode evtl. sofort wo das Problem liegt.

[Uwe Raabe]

Zitat von Namenloser:

Wie viele Objekte man anlegen kann ist nur durch den Arbeitsspeicher begrenzt. Aber wenn der voll ist, dann kommt keine AV, sondern eine andere Exception, deren genauen Namen ich vergessen habe.

EOutOfMemory

[himitsu]

Zitat:

Delphi-Quellcode:

try
  ...
except
  ShowMessage('nichtssagender Text');
end;

Sowas liebe ich immer.

Delphi-Quellcode:

try
  ...
except
  on E: Exception do begin
    E.Message := E.ClassName + ' in Xyz: ' + E.Message;  // hier kann man z.B. auch den Index der Schleife erwähnen
    raise;  // oder notfalls ShowException(E, nil); und Dergleichen
  end;
end;

Es gibt auch noch Dinge wie EurekaLog und Co., welche beim Suchen der Fehler helfen.

Wenn sich der Fehler absolut nicht finden lässt, dann kann man es auch mal so versuchen.

Delphi-Quellcode:

try
  // mach was
except
  on E: Exception do begin
    ShowException(E, nil);  // <<<<<< hier ein Haltepunkt hin
    // mach es nochmal (hoffentlich tritt der Fehler nochmal auf und man kann sich dabei langsam hindurchdebuggen)
  end;
end;

[Furtbichler]

Delphi-Quellcode:

...
 for y:=0 to High(aArray) do
    folgeZustand.push
      ( 
       TZustand.create
         ( 
          without(aArray, y), 
          Feld, 
          TZustand(Zustand.top) /// <<---- ist 'Zustand' instantiiert?
         ) 
      );
  end;

Und wie ich Bandwurmcode hasse (schlecht lesbar, fehlerbehaftet, buäh), also schreib das mal übersichtlicher und formatiere deinen Code nächstes Mal zumindest ansatzweise, danke.

Delphi-Quellcode:

type
  FeldArray1D = Array of TFeld;

var
  folgeZustand, Zustand, zustandTop: TStack;
  aArray, subArray: FeldArray1D
  Feld: TFeld;

begin
  zustandTop := TZustand(Zustand.top); // Einmal vor der Schleife gemerkt, reicht.
  for y:=0 to High(aArray) do begin
    subArray := Without(aArray,y);  
    neuerZustand := TZustand.create(subArray, Feld, zustandTop);
    folgeZustand.push(neuerZustand);
  end;
end;

Vielleicht ist das ja nun besser lesbar. Und wenn Zustand tatsächlich undefiniert ist (vielleicht sollte das ja eigentlich 'folgeZustand.Top' heißen, dann hättest Du auch deinen Fehler.

[himitsu]

Zitat:

Einmal vor der Schleife gemerkt, reicht

Nur wenn sich der Wert innerhalb der Schleife nicht verändert.
Aber hier weiß ja keiner was Zustand, Zustand.Top oder Without eigentlich machen.

Allerdings ist das zum Debuggen grunstäzlich erstmal genau richtig gedacht.
- So kann man eventuell mitbekommen wo, in der Schlange, es nun genu knallt.
- kann auch jeden Teil auch mit eigenen Try-Excepts testweise umgeben
- und vorallem kann man die Rückgabewerte testweise mal prüfen
- - if Assigned
- - über eine Haltepunkt-Bedingung
- - kann sich im Except den wert der zwischengespeicherten Rückgaben ansehn
- - usw.