Assertion

[w3seek]

also um es mal klar zu stellen:
Assertions sollte man nur dann benutzen, wenn eine Bedingung im Programmablauf nie falsch sein darf. Zudem sollte man bedenken, dass ein Aufruf auf Assert lediglich eine Ueberpruefung sein sollte und kein Funktionsaufruf, kompiliert man das Projekt naemlich ohne Assertions, wuerde diese funktion niemals ausgefuehrt werden. Also bedingungen in Assertions duerfen niemals den Programmablauf beeinflussen, das Programm muss genauso funktionieren, wenn man den Assert() aufruf einfach weglassen wuerde.

Delphi-Quellcode:

var
  a, b: Integer;
begin
  a := 2 + Random(198);
  b := a div 2; // b ist demnach niemals 0, da a mindestens 2 ist
  Assert(b <> 0, 'Dieser Fehler darf niemals auftreten!');
end;

Das waere zum Beispiel eine Anwendung, wenn auch etwas schwachsinnig in diesem Fall aber normalerweise sollte b in diesem Fall immer ungleich 0 sein (ist es auch), falls nicht stimmt etwas mit dem algo nicht.

Ein anderes Beispiel:
RICHTIG:

Delphi-Quellcode:

var
  hash: String;
begin
  ...
  hash := RegisterAndGenerateFileHash(hFile); // die Funktion sollte immer einen 8-stelligen String zurueckliefern, auch im Falle eines Fehlers
  Assert(hash <> '', 'RegisterAndGenerateFileHash() hat irgendwie einen leeren String zurueckgegeben!');
end;

FALSCH:

Delphi-Quellcode:

var
  hash: String;
begin
  ...
  // die Funktion sollte immer einen 8-stelligen String zurueckliefern, auch im Falle eines Fehlers
  Assert(RegisterAndGenerateFileHash(hFile) <> '', 'RegisterAndGenerateFileHash() hat irgendwie einen leeren String zurueckgegeben!');
end;

Dieses Beispiel zeigt die falsche Anwendung von Assertions, da die Funktion RegisterAndGenerateFileHash niemals aufgerufen wuerde, wenn man das Projekt ohne Assertions kompiliert.